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

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

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

Описание

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

  • Предложения интернет-магазинов
    Бумажный вариант

    А. Н. Колмогоров, А. Г. Драгалин
    Математическая логика. Дополнительные главы. Учебное пособие
    2018 Едиториал УРСС В наличии 444 руб.

    А. Н. Колмогоров, А. Г. Драгалин
    Математическая логика. Дополнительные главы
    2018 Едиториал УРСС В наличии 759 руб.

    А. Н. Колмогоров, А. Г. Драгалин
    Математическая логика. Введение в математическую логику
    2017 Ленанд В наличии 569 руб.