Зарегистрироваться
Восстановить пароль
FAQ по входу

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы

  • Файл формата pdf
  • размером 4,57 МБ
Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы
Учебное пособие. М.: Издательство Московского университета, 1984. — 120 с.
Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

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

  • pdf
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает...
  • 3,77 МБ
  • добавлен
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • pdf
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 4,46 МБ
  • добавлен
  • описание отредактировано
Наверх