Gilles Dowek Proofs and Algorithms: Introduction to Logic and Computability Theory 9780857291202

Варианты приобретения

Цена: 4884.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Gilles Dowek
Название: Proofs and Algorithms: Introduction to Logic and Computability Theory
Перевод названия: Доуэк: Доказательства и алгоритмы. Введение в логику и теорию вычислений
ISBN: 9780857291202
Издательство: Springer
Классификация:

Математическая теория вычислений

ISBN-10: 0857291203
Обложка/Формат: Paperback
Страницы: 290
Вес: 0.25 кг.
Дата издания: 2011
Серия: Undergraduate topics in computer science
Язык: English
Издание: 1st Ed.
Иллюстрации: Black & white illustrations
Размер: 234.00 x 156.00 x 9.00
Читательская аудитория: Professional & vocational
Подзаголовок: An introduction to logic and computability
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Churchs undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.

Proofs and Algorithms: Introduction to Logic and Computability Theory, Gilles Dowek