Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Making it Formally Explicit, G?bor Hofer-Szab?; Leszek Wro?ski


Варианты приобретения
Цена: 23757.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: G?bor Hofer-Szab?; Leszek Wro?ski
Название:  Making it Formally Explicit
ISBN: 9783319554853
Издательство: Springer
Классификация:




ISBN-10: 3319554859
Обложка/Формат: Hardcover
Страницы: 242
Вес: 0.54 кг.
Дата издания: 20.04.2017
Серия: European Studies in Philosophy of Science
Язык: English
Размер: 234 x 156 x 16
Основная тема: Philosophy
Подзаголовок: Probability, Causality and Indeterminism
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book collects research papers on the philosophical foundations of probability, causality, spacetime and quantum theory.


Peacocks and Associated Martingales, with Explicit Constructions

Автор: Hirsch
Название: Peacocks and Associated Martingales, with Explicit Constructions
ISBN: 8847019079 ISBN-13(EAN): 9788847019072
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: We call peacock an integrable process which is increasing in the convex order; such a notion plays an important role in Mathematical Finance. A deep theorem due to Kellerer states that a process is a peacock if and only if it has the same one-dimensional marginals as a martingale. Such a martingale is then said to be associated to this peacock. In this monograph, we exhibit numerous examples of peacocks and associated martingales with the help of different methods: construction of sheets, time reversal, time inversion, self-decomposability, SDE, Skorokhod embeddings. They are developed in eight chapters, with about a hundred of exercises.

Tacit and explicit knowledge

Автор: Collins, Harry
Название: Tacit and explicit knowledge
ISBN: 022600421X ISBN-13(EAN): 9780226004211
Издательство: Wiley
Рейтинг:
Цена: 3643.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Much of what we know we cannot say. And much of what we do we cannot describe. For example, how do we know how to ride a bike when we can`t explain how we do it? These abilities, which we are unable to articulate, were labeled "tacit knowledge" by chemist and philosopher Michael Polanyi. This book analyzes the term, and the behavior, in detail.

Epistemology, Context, and Formalism

Автор: Franck Lihoreau; Manuel Rebuschi
Название: Epistemology, Context, and Formalism
ISBN: 3319379011 ISBN-13(EAN): 9783319379012
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.​

The Formalisms of Quantum Mechanics

Автор: Francois David
Название: The Formalisms of Quantum Mechanics
ISBN: 3319105388 ISBN-13(EAN): 9783319105383
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Introduction.- The Standard Formulations of Classical and Quantum Mechanics.- The Algebraic Quantum Formalism.- The Quantum Logic Formalism.- Information, Correlations, and more.

Noncovariant Gauges in Canonical Formalism

Автор: Andr? Burnel
Название: Noncovariant Gauges in Canonical Formalism
ISBN: 3540699201 ISBN-13(EAN): 9783540699200
Издательство: Springer
Рейтинг:
Цена: 8378.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: By definition, gauge theories - among the cornerstones of fundamental theoretical physics - involve more degrees of freedom than required by the underlying physics. This work presents a consistent formulation for the handling of noncovariant gauges in the quantization and renormalization of gauge theories.

Readings in Formal Epistemology

Автор: Arl?-Costa
Название: Readings in Formal Epistemology
ISBN: 3319204505 ISBN-13(EAN): 9783319204505
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.

Formalized Probability Theory And Applications Using Theorem Proving

Автор: Hasan & Tahar
Название: Formalized Probability Theory And Applications Using Theorem Proving
ISBN: 1466683155 ISBN-13(EAN): 9781466683150
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 28413.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve.Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.

Dynamic Formal Epistemology

Автор: Patrick Girard; Olivier Roy; Mathieu Marion
Название: Dynamic Formal Epistemology
ISBN: 9400734913 ISBN-13(EAN): 9789400734913
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Highlighting the coherence of, and connections between, current themes in the subject, this volume collates original contributions from key researchers into a new trend in the contemporary theory of knowledge and belief known as `dynamic epistemology`.

Formal Causes: Definition, Explanation, and Unity in Socratic and Aristotelian Thought

Автор: Ferejohn Michael T.
Название: Formal Causes: Definition, Explanation, and Unity in Socratic and Aristotelian Thought
ISBN: 019969530X ISBN-13(EAN): 9780199695300
Издательство: Oxford Academ
Рейтинг:
Цена: 12355.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Michael T. Ferejohn presents a new analysis of Aristotle`s theory of explanation and scientific knowledge, in the context of its Socratic roots. Ferejohn shows how Aristotle resolves the tension between his commitment to the formal-case model of explanation and his recognition of the role of efficient causes in explaining natural phenomena.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия