Mathematical Logic through Python, Noam Nisan, Yannai A. Gonczarowski
Автор: 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.
Автор: 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.
Автор: 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.
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 110761077X ISBN-13(EAN): 9781107610774 Издательство: Cambridge Academ Рейтинг: Цена: 25350.00 T Наличие на складе: Заказано в издательстве. Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Downey Rod Et Al Название: Proceedings Of The 12Th Asian Logic Conference ISBN: 9814449261 ISBN-13(EAN): 9789814449267 Издательство: World Scientific Publishing Рейтинг: Цена: 121440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
Название: Forcing for Mathematicians ISBN: 9814566004 ISBN-13(EAN): 9789814566001 Издательство: World Scientific Publishing Рейтинг: Цена: 57030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have generated new interest in this subject. This is the first book aimed at explaining forcing to general mathematicians. It simultaneously makes the subject broadly accessible by explaining it in a clear, simple manner, and surveys advanced applications of set theory to mainstream topics.
Автор: Feferman Название: Kurt G?del ISBN: 1107683467 ISBN-13(EAN): 9781107683464 Издательство: Cambridge Academ Рейтинг: Цена: 46470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Papers examining aspects of Godel`s work gathered from a symposium celebrating Goedel`s centennial and papers from a 2004 ASL symposium.
Автор: Sheppard Название: The Logic of Infinity ISBN: 1107678668 ISBN-13(EAN): 9781107678668 Издательство: Cambridge Academ Рейтинг: Цена: 51750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Few mathematical results capture the imagination like Georg Cantor`s theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular accounts of logic, this book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.
Автор: Paris Название: Pure Inductive Logic ISBN: 1107042305 ISBN-13(EAN): 9781107042308 Издательство: Cambridge Academ Рейтинг: Цена: 141510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.
Автор: Sahrling, Mikael, Название: Fast techniques for integrated circuit design / ISBN: 1108498450 ISBN-13(EAN): 9781108498456 Издательство: Cambridge Academ Рейтинг: Цена: 102430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Learn how to use estimation techniques to solve integrated circuit (IC) design problems, accelerate the design process, and enhance understanding of complex systems with this step-by-step guide. Using numerous real-world application examples, it is ideal for both early-career and established professionals and researchers, and graduate students, working in IC design.
Автор: Diller, Justus (univ Of Munster, Germany) Название: Functional interpretations: from the dialectica interpretation to interpretations of classical and constructive set theory ISBN: 9814551392 ISBN-13(EAN): 9789814551397 Издательство: World Scientific Publishing Рейтинг: Цена: 95040.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to G del's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
