Ваша оценкаКнига представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского университета, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Жанры
Издательство:
Год издания:
1984
Язык:
Русский
Мягкая обложка, 120 стр.
Тираж: 13150 экз.
Формат: 60x90/16 (145х215 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
5,0
1 оценка
- 5100%
- 40%
- 30%
- 20%
- 10%
Ваша оценкаПрочитали 1Хотят прочитать 7
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
