Автор: 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 Рейтинг: Цена: 61770.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.
Название: 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.
Автор: Floridi, Luciano, Название: The logic of information : ISBN: 0192847589 ISBN-13(EAN): 9780192847584 Издательство: Oxford Academ Рейтинг: Цена: 23220.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.
Автор: 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);
Название: 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.
Автор: Cheng Eugenia Название: Art of Logic ISBN: 1788160398 ISBN-13(EAN): 9781788160391 Издательство: Profile Рейтинг: Цена: 12130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A practical, illuminating and timeless guide to thinking better, from a Royal Society Prize shortlisted mathematician - now in paperback.
Автор: Anthony Weston Название: A Rulebook for Arguments ISBN: 162466654X ISBN-13(EAN): 9781624666544 Издательство: Gazelle Book Services Рейтинг: Цена: 21430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: From academic writing to personal and public discourse, the need for good arguments and better ways of arguing is greater than ever before. This timely fifth edition of A Rulebook for Arguments sharpens an already-classic text, adding updated examples and a new chapter on public debates that provides rules for the etiquette and ethics of sound public dialogue as well as clear and sound thinking in general.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
