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

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

  • Формат: Книга
  • Автор:Колмогоров А.Н., Драгалин А.Г.
  • Автор(ы):Колмогоров А.Н., Драгалин А.Г.
  • Жанр:Компьютеры
  • ISBN: -
  • Издательство: Московский университет
  • Серия: не указана
  • Год:1984

Описание

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