Formalism and Beyond: On the Nature of Mathematical Discourse, Godehard Link
Автор: Annette Trefzer, Ann J. Abadie Название: Faulkner and Formalism: Returns of the Text ISBN: 1628460652 ISBN-13(EAN): 9781628460650 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 31410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Collects eleven essays in which contributors query the status of Faulkner`s literary text in contemporary criticism and scholarship. By retaining a bond with new historicist analysis and cultural studies, these essays are illustrative of a kind of analysis that carefully preserves attention to Faulkner`s sociopolitical environment.
Автор: Zangwill Nick Название: Music and Aesthetic Reality: Formalism and the Limits of Description ISBN: 1138302198 ISBN-13(EAN): 9781138302198 Издательство: Taylor&Francis Рейтинг: Цена: 51030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Nick Zangwill argues for the nature of music and our experience of music that foregrounds its aesthetic properties. He focuses on metaphysical issues about aesthetic properties of music, psychological issues about the nature of musical experience, and philosophy of language issues about the metaphorical nature of aesthetic descriptions of music.
Автор: Godehard Link Название: Formalism and Beyond: On the Nature of Mathematical Discourse ISBN: 1614518297 ISBN-13(EAN): 9781614518297 Издательство: Walter de Gruyter Цена: 153660.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.
Автор: Mitchell B. Frank, Daniel Adler Название: German Art History and Scientific Thought: Beyond Formalism ISBN: 1409440230 ISBN-13(EAN): 9781409440239 Издательство: Taylor&Francis Рейтинг: Цена: 163330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A fresh contribution to the debate between Kunstwissenschaft (scientific study of art) and Kunstgeschichte (art history), this essay collection explores how German-speaking art historians of the late nineteenth and early twentieth century self-consciously generated a field of study.
Автор: Sasaki Misao, Naruko Atsushi, Abolhasani Ali Akbar Название: Delta N Formalism in Cosmological Perturbation Theory ISBN: 9813238755 ISBN-13(EAN): 9789813238756 Издательство: World Scientific Publishing Рейтинг: Цена: 68640.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Early Universe cosmology is an active area of research and cosmic inflation is a pillar of modern cosmology. Among predictions of inflation, observationally the most important one is the generation of cosmological perturbations from quantum vacuum fluctuations that source all inhomogeneous structures in the Universe, not to mention the large-scale structures such as clusters of galaxies.
Cosmological perturbation theory is the basic tool to study the perturbations generated from inflation. There are a few different approaches to primordial cosmological perturbations. In the conventional approach one perturbs the field equations and after quantizing the perturbations by the use of the corresponding action, one calculates the power spectrum of cosmological observables. This approach extends to higher order perturbations such as bispectrum etc., but the analysis becomes increasingly difficult.
The delta N formalism, the topic of this book, is an alternative approach. The novelty of this approach is that, under the condition that the scale of interest is very large so that the spatial derivatives may be ignored in the dynamics, it can be applied to all orders in perturbation theory and has a rigorous foundation in general relativity. Thanks to the fact that one can evaluate perturbations with only the knowledge of background solutions, it is proved to be much easier than the conventional approach in evaluating higher order effects in many cases.
Автор: Franck Lihoreau; Manuel Rebuschi Название: Epistemology, Context, and Formalism ISBN: 3319379011 ISBN-13(EAN): 9783319379012 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Introduction; Franck Lihoreau and Manuel Rebuschi.- Chapter 1. Context as Assumptions; Erich Rast.- Chapter 2. Knowledge and Disagreement; Martin Montminy.- Chapter 3. A Contradiction for Contextualism?; Peter Baumann.- Chapter 4. Epistemic Contexts and Indexicality; Yves Bouchard.- Chapter 5. Knowing Who: How Perspectives and Context Interact; Maria Aloni and Bruno Jacinto.- Chapter 6. Knowledge Attributions in Context of Decision Problems; Robert van Rooij.- Chapter 7. How Context Dependent is Scientific Knowledge?; Sven Ove Hansson.- Chapter 8. Action, Failure and Free Will Choice in Epistemic stit Logic; Jan Broersen and John-Jules Charles Meyer.- Chapter 9. Belief, Intention, and Practicality: Loosening Up Agents and Their Propositional Attitudes; Richmond H. Thomason.- Chapter 10. Character Matching and the Locke Pocket of Belief; Gregory Wheeler.- Chapter 10. A modal logic of perceptual belief; Andreas Herzig and Emiliano Lorini.- Chapter 11. Hyperintensionality and De Re Beliefs A Counterpart-Theoretic Account; Paul Йgrй.- Chapter 12. Knowledge Is Justifiable True Information; Jaakko Hintikka.
Автор: Bertrand Meyer; J.R. Nawrocki; Bartosz Walter Название: Balancing Agility and Formalism in Software Engineering ISBN: 3540852786 ISBN-13(EAN): 9783540852780 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007. In this book, the papers are organized in topical sections on measurement, processes, UML, experiments, tools, and change.
Most contemporary digital studies are interested in distant-reading paradigms for large-scale literary history. This book asks what happens when such telescopic techniques function as a microscope instead. The first monograph to bring a range of computational methods to bear on a single novel in a sustained fashion, it focuses on the award-winning and genre-bending Cloud Atlas (2004). Published in two very different versions worldwide without anyone taking much notice, David Mitchell's novel is ideal fodder for a textual-genetic publishing history, reflections on micro-tectonic shifts in language by authors who move between genres, and explorations of how we imagine people wrote in bygone eras. Though Close Reading with Computers focuses on but one novel, it has a crucial exemplary function: author Martin Paul Eve demonstrates a set of methods and provides open-source software tools that others can use in their own literary-critical practices. In this way, the project serves as a bridge between users of digital methods and those engaged in more traditional literary-critical endeavors.
Most contemporary digital studies are interested in distant-reading paradigms for large-scale literary history. This book asks what happens when such telescopic techniques function as a microscope instead. The first monograph to bring a range of computational methods to bear on a single novel in a sustained fashion, it focuses on the award-winning and genre-bending Cloud Atlas (2004). Published in two very different versions worldwide without anyone taking much notice, David Mitchell's novel is ideal fodder for a textual-genetic publishing history, reflections on micro-tectonic shifts in language by authors who move between genres, and explorations of how we imagine people wrote in bygone eras. Though Close Reading with Computers focuses on but one novel, it has a crucial exemplary function: author Martin Paul Eve demonstrates a set of methods and provides open-source software tools that others can use in their own literary-critical practices. In this way, the project serves as a bridge between users of digital methods and those engaged in more traditional literary-critical endeavors.
Автор: Franck Lihoreau; Manuel Rebuschi Название: Epistemology, Context, and Formalism ISBN: 3319029428 ISBN-13(EAN): 9783319029429 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Epistemology, Context, and Formalism
Автор: Gribaudo & Lacono Название: Theory And Application Of Multi-Formalism Modeling ISBN: 1466646594 ISBN-13(EAN): 9781466646599 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 189420.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges.Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
