Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

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



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Авторы: Колмогоров А.Н., Драгалин А.Г.

Аннотация:

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


Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

Серия: Посвящена 110-летию со дня рождения Колмогорова Андрея Николаевича

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 120

Добавлена в каталог: 22.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте