Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки
Каталог товаров:
 |
Математическая логика. Дополнительные главы822 руб
Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского Университета, 1982 год), но может изучаться самостоятельно. Воспроизведено в оригинальной авторской орфографии издания 1984 года (издательство "Московский Университет"). Обсуждается программа Гильберта обоснования математики. 2012 |