Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Awodey, Steve Название: Introduction to Category Theory (Paperback) ISBN: 0199237182 ISBN-13(EAN): 9780199237180 Издательство: Oxford Academ Рейтинг: Цена: 9198.00 р. 11497.00-20% Наличие на складе: Есть (1 шт.) Описание: A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.
Автор: Mendelson Elliott Название: Introduction to Mathematical Logic ISBN: 1482237725 ISBN-13(EAN): 9781482237726 Издательство: Taylor&Francis Рейтинг: Цена: 8184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of G del, Church, Kleene, Rosser, and Turing.
The sixth edition incorporates recent work on G del's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in the new edition for historical considerations. The text also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an in-depth, practical understanding of the material.
Автор: Floridi, Luciano, Название: The logic of information : ISBN: 0192847589 ISBN-13(EAN): 9780192847584 Издательство: Oxford Academ Рейтинг: Цена: 3890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. His starting-point is that reality provides the data which we transform into information. He explores how we make, transform, refine, and improve the objects of our knowledge, and defends the radical idea that knowledge is design.
Автор: Barendregt Название: Lambda Calculus with Types ISBN: 0521766141 ISBN-13(EAN): 9780521766142 Издательство: Cambridge Academ Рейтинг: Цена: 12830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
Автор: Benthem Johan Van Название: Logic in Games ISBN: 0262019906 ISBN-13(EAN): 9780262019903 Издательство: Random House (USA) Рейтинг: Цена: 5518.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.
In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.
Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
Автор: George Boole, Boole Название: Mathematical analysis of logic ISBN: 9354039723 ISBN-13(EAN): 9789354039720 Издательство: Неизвестно Рейтинг: Цена: 2941.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base for future generations. So that the book is never forgotten we have represented this book in a print format as the same form as it was originally first published. Hence any marks or annotations seen are left intentionally to preserve its true nature.
Описание: The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Описание: This book shows how to create arguments, deploy them effectively to justify beliefs and influence others, test them, and attack and defend them. It not only offers a set of techniques but also investigates the underlying assumptions and commitments we make when we argue.
Автор: Potter, Michael Название: Wittgenstein`s Notes on Logic ISBN: 0199215839 ISBN-13(EAN): 9780199215836 Издательство: Oxford Academ Рейтинг: Цена: 16804.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Michael Potter shows, for the first time, that Wittgenstein`s early Notes on Logic are a work of philosophical and historical importance. Using a challenging blend of biography and philosophy, he draws new conclusions about the nature of the Notes, the genesis of the Tractatus, and Wittgenstein`s working methods.
Автор: Melvin Fitting; Brian Rayman Название: Raymond Smullyan on Self Reference ISBN: 331968731X ISBN-13(EAN): 9783319687315 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction; Melvin Fitting.- Formal Systems, Logics, and Programs; Robert L. Constable.- Adaptive Fault Diagnosis using Self-Referential Reasoning; Robert Cowen.- Russell's Paradox, Godel's Theorem; Melvin Fitting.- Dance of the Starlings; Henk Barendregt; Jorg Endrullis; Jan Willem Klop; Johannes Waldmann.- Some Tweets About Mockingbirds; Rick Statman.- What I Tell You Three Times Is True; Martin Davis.- Gцdel, Lucas, and the Soul-Searching Selfie; Vann Mc Gee.- An Island Tale for Young Anthropologists; Andrew G. Buchanan & John H. Conway.- Making the hardest logic puzzle ever' a bit harder; Walter Carnielli.- Bibliography; Raymond Smullyan.
Автор: Burgess John P Название: Philosophical Logic ISBN: 0691156336 ISBN-13(EAN): 9780691156330 Издательство: Wiley Рейтинг: Цена: 3485.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world`s leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionisti
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
