книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп

Код 3655540

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.05.2024; планируемая отправка: 10.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.05.2024; планируемая отправка: 07.05.2024

Аннотация к книге "Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп"

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории элементарная арифметика и теория множеств Цермело-Френкеля. Теория...

Оставить комментарий

Оцените книгу:

Издательство: Лань
Серия: Учебники для ВУЗов. Специальная литература
Дата выхода: июнь 2014
ISBN: 978-5-8114-1666-0
Тираж: 1 000 экземпляров
Объём: 416 страниц
Обложка: твёрдая

Книга находится в категориях

распродажа

Вместе с этой книгой покупают