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

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Andrews Peter B.



Варианты приобретения
Цена: 17813р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 890 шт.  Склад Америка: 98 шт.  
При оформлении заказа до: 21 май 2022
Ориентировочная дата поставки: Июнь

Заказ пока невозможен
в Мои желания

Автор: Andrews Peter B.
Название:  An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
ISBN: 9781402007637
Издательство: Springer
Классификация:
ISBN-10: 1402007639
Обложка/Формат: Hardback
Страницы: 408
Вес: 0.772 кг.
Дата издания: 01.07.2002
Серия: Applied Logic Series
Язык: English
Издание: 2nd ed. 2002
Иллюстрации: Illustrations
Размер: 242 x 160 x 28
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: To truth through proof
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 240x160
Круг читателей: Mathematicians, computer scientists, and philosophers in universities, computer scientists in industry
Ключевые слова:
Язык: eng
Издание: 2nd ed.





Introduction to Mathematical Logic

Автор: Mendelson Elliott
Название: Introduction to Mathematical Logic
ISBN: 1482237725 ISBN-13(EAN): 9781482237726
Издательство: Taylor&Francis
Рейтинг:
Цена: 6351 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Introduction to Mathematical Structures and Proofs

Автор: Gerstein Larry J.
Название: Introduction to Mathematical Structures and Proofs
ISBN: 0387979972 ISBN-13(EAN): 9780387979977
Издательство: Springer
Рейтинг:
Цена: 7418 р.
Наличие на складе: Поставка под заказ.

Описание: Teaching students to think, this work shows them how to wrestle with a problem.

A Mathematical Introduction to Logic,

Автор: Herbert Enderton
Название: A Mathematical Introduction to Logic,
ISBN: 0122384520 ISBN-13(EAN): 9780122384523
Издательство: Elsevier Science
Рейтинг:
Цена: 13358 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.

Introduction to mathematical logic

Автор: Church, Alonzo
Название: Introduction to mathematical logic
ISBN: 0691029067 ISBN-13(EAN): 9780691029061
Издательство: Wiley
Рейтинг:
Цена: 12705 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.

Introduction to mathematical logic

Автор: Mendelson, Elliott
Название: Introduction to mathematical logic
ISBN: 0412808307 ISBN-13(EAN): 9780412808302
Издательство: Taylor&Francis
Рейтинг:
Цена: 10558 р.
Наличие на складе: Поставка под заказ.

Описание: Covering the basic topics of a solid first course in mathematical logic, this book includes an appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. It is useful for lecturers and researchers in mathematics, philosophy, and related fields.

Introduction to Mathematical Logic, Fifth Edition

Название: Introduction to Mathematical Logic, Fifth Edition
ISBN: 1584888768 ISBN-13(EAN): 9781584888765
Издательство: Taylor&Francis
Рейтинг:
Цена: 7984 р.
Наличие на складе: Поставка под заказ.

Описание: Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.

Introduction to Mathematical Structures and Proofs

Автор: Gerstein
Название: Introduction to Mathematical Structures and Proofs
ISBN: 1461442648 ISBN-13(EAN): 9781461442646
Издательство: Springer
Рейтинг:
Цена: 6675 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Reviews of the first edition: ...Gerstein wants-very gently-to teach his students to think. He wants to show them how to wrestle with a problem (one that is more sophisticated than plug and chug ), how to build a solution, and ultimately he wants to teach the students to take a statement and develop a way to prove it...Gerstein writes with a certain flair that I think students will find appealing. For instance, after his discussion of cardinals he has a section entitled Languages and Finite Automata. This allows him to illustrate some of the ideas he has been discussing with problems that almost anyone can understand, but most importantly he shows how these rather transparent problems can be subjected to a mathematical analysis. His discussion of how a machine might determine whether the sequence of words Celui fromage de la parce que maintenant is a legitimate French sentence is just delightful (and even more so if one knows a little French.)...I am confident that a student who works through Gerstein's book will really come away with (i) some mathematical technique, and (ii) some mathematical knowledge. —Steven Krantz, American Mathematical Monthly This very elementary book is intended to be a textbook for a one-term course which introduces students into the basic notions of any higher mathematics courses...The explanations of the basic notions are combined with some main theorems, illustrated by examples (with solutions if necessary) and complemented by exercises. The book is well written and should be easily understandable to any beginning student. —S. Gottwald, Zentralblatt This textbook is intended for a one-term course whose goal is to ease the transition from lower-division calculus courses to upper-division courses in linear and abstract algebra, real and complex analysis, number theory, topology, combinatorics, etc. It contains a wide-ranging assortment of examples and imagery to motivate and to enhance the underlying intuitions, as well as numerous exercises and a solutions manual for professors. The new material in this second edition includes four more topics in number theory, a brief introduction to complex numbers, and a section on graph theory and combinatorial topics related to graphs. Introducing these additional topics gives the reader an even broader view of the mathematical experience.

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Автор: Solow Daniel
Название: How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
ISBN: 0470392169 ISBN-13(EAN): 9780470392164
Издательство: Wiley
Рейтинг:
Цена: 35892 р.
Наличие на складе: Поставка под заказ.

Описание: "How to Read and Do Proofs: An Introduction to Mathematical Thought Processes".

An Introduction to Mathematical Reasoning

Автор: Eccles
Название: An Introduction to Mathematical Reasoning
ISBN: 0521597188 ISBN-13(EAN): 9780521597180
Издательство: Cambridge Academ
Рейтинг:
Цена: 5421 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory, topics which include many fundamental ideas which are part of the tool kit of any mathematician. This material illustrates how familiar ideas can be formulated rigorously, provides examples demonstrating a wide range of basic methods of proof, and includes some of the classic proofs. The book presents mathematics as a continually developing subject. Material meeting the needs of readers from a wide range of backgrounds is included. Over 250 problems include questions to interest and challenge the most able student as well as plenty of routine exercises to help familiarize the reader with the basic ideas.

A Tour through Mathematical Logic

Автор: Robert S. Wolf
Название: A Tour through Mathematical Logic
ISBN: 0883850362 ISBN-13(EAN): 9780883850367
Издательство: Cambridge Academ
Рейтинг:
Цена: 5604 р.
Наличие на складе: Поставка под заказ.

Описание: The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Godel’s incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.

Mathematical Logic and Model Theory

Автор: Prestel
Название: Mathematical Logic and Model Theory
ISBN: 1447121759 ISBN-13(EAN): 9781447121756
Издательство: Springer
Рейтинг:
Цена: 8166 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.

A First Course in Mathematical Logic and Set Theory

Автор: Michael L. O?€?Leary
Название: A First Course in Mathematical Logic and Set Theory
ISBN: 0470905883 ISBN-13(EAN): 9780470905883
Издательство: Wiley
Рейтинг:
Цена: 16507 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Cou


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