Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 39070.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 57970.00 T Наличие на складе: Есть Описание: 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.
Автор: Barendregt Название: Lambda Calculus with Types ISBN: 0521766141 ISBN-13(EAN): 9780521766142 Издательство: Cambridge Academ Рейтинг: Цена: 85530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Lakatos Название: Proofs and Refutations ISBN: 1107534054 ISBN-13(EAN): 9781107534056 Издательство: Cambridge Academ Рейтинг: Цена: 22170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Imre Lakatos`s influential and enduring work on the nature of mathematic discovery and development continues to be relevant to philosophers of mathematics. Including a specially commissioned preface written by Paolo Mancosu, and presented in a fresh twenty-first-century series livery, it is now available for a new generation of readers.
Автор: Mendelson Elliott Название: Introduction to Mathematical Logic ISBN: 1482237725 ISBN-13(EAN): 9781482237726 Издательство: Taylor&Francis Рейтинг: Цена: 54560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: Melvin Fitting; Brian Rayman Название: Raymond Smullyan on Self Reference ISBN: 331968731X ISBN-13(EAN): 9783319687315 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Floridi, Luciano, Название: The logic of information : ISBN: 0192847589 ISBN-13(EAN): 9780192847584 Издательство: Oxford Academ Рейтинг: Цена: 22170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Название: Logical writings of karl popper ISBN: 3030949257 ISBN-13(EAN): 9783030949259 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book is the first ever collection of Karl Popper`s writings on deductive logic. Karl R.
Автор: Eric Pacuit Название: Neighborhood Semantics for Modal Logic ISBN: 3319671480 ISBN-13(EAN): 9783319671482 Издательство: Springer Рейтинг: Цена: 30740.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level);
Автор: Benthem Johan Van Название: Logic in Games ISBN: 0262019906 ISBN-13(EAN): 9780262019903 Издательство: MIT Press Рейтинг: Цена: 67710.00 T Наличие на складе: Нет в наличии. Описание:
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.
Автор: Brendan Fong, David I. Spivak Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality ISBN: 1108711820 ISBN-13(EAN): 9781108711821 Издательство: Cambridge Academ Рейтинг: Цена: 48570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.
Название: Cambridge companion to plato ISBN: 1108457266 ISBN-13(EAN): 9781108457262 Издательство: Cambridge Academ Рейтинг: Цена: 28500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The chapters in this volume cover the full range of Plato`s interests, including ethics, political philosophy, epistemology, metaphysics, aesthetics, religion, mathematics, and psychology. The introduction provides general guidance to approaching Plato`s corpus and the chapters introduce key ideas and scholarly debates.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
