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

Epistemology, Context, and Formalism, Franck Lihoreau; Manuel Rebuschi


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

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

Автор: Franck Lihoreau; Manuel Rebuschi
Название:  Epistemology, Context, and Formalism
ISBN: 9783319029429
Издательство: Springer
Классификация:

ISBN-10: 3319029428
Обложка/Формат: Hardcover
Страницы: 250
Вес: 0.54 кг.
Дата издания: 29.01.2014
Серия: Synthese Library
Язык: English
Издание: 2014 ed.
Иллюстрации: 16 illustrations, black and white; x, 250 p. 16 illus.
Размер: 242 x 158 x 19
Читательская аудитория: Professional & vocational
Основная тема: Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Epistemology, Context, and Formalism


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.​

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.

Applied logic for computer scientists. Computational Deduction and formal Proofs

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Formal Aspects of Context

Автор: Pierre Bonzon; Marcos Cavalcanti; Rolf Nossum
Название: Formal Aspects of Context
ISBN: 0792363507 ISBN-13(EAN): 9780792363507
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability.

FM 2014 :

Автор: Cliff Jones, Pekka Pihlajasaari
Название: FM 2014 :
ISBN: 3319064096 ISBN-13(EAN): 9783319064093
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Structured Object-Oriented Formal Language and Method

Автор: Shaoying Liu; Zhenhua Duan
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319049143 ISBN-13(EAN): 9783319049144
Издательство: Springer
Рейтинг:
Цена: 8803.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

Formal Methods: Foundations and Applications

Автор: Simone Cavalheiro; Jos? Fiadeiro
Название: Formal Methods: Foundations and Applications
ISBN: 3319708473 ISBN-13(EAN): 9783319708478
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.


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