Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (М.: МГУ, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
ОГЛАВЛЕНИЕ
Предисловие
Введение
I. Теория множеств
II. Элементы теории алгорифмов
III. Элементы теории доказательств
Литература
Ключевые слова: теория множеств Цермело-Френкеля, континуум-гипотеза, машины Тьюринга, тезис Черча, теорема Геделя
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]