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

Математическая логика. Дополнительные главы

Код 3573734

  • ISBN: 978-5-458-30705-5

Нет в продаже

Аннотация к книге "Математическая логика. Дополнительные главы"

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского Университета, 1982 год), но может изучаться самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики. Воспроизведено в оригинальной авторской орфографии издания 1984 года (издательство "Московский Университет").

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

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

ISBN: 978-5-458-30705-5

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