Математическая логика

Автор(ы)

А.Г. Драгалин А.Н. Колмогоров

Год

1984

Издательство

Изд-во Моск. ун-та

Библиографическая ссылка

М.: Изд-во Моск. ун-та, 1984. — 120 с.

Теги

Математика Программирование

Аннотация

Математическая логика Год выпуска : 1984 Автор : А.Г. Драгалин А.Н. Колмогоров Жанр : Уч. пособие Издательство : Моск универ Формат : DjVu Качество : Отсканированные страницы Количество страниц : 61 Описание : Фундаментальные факты математической логики: начало аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.