Электронный каталог

Книга
51 К60

Колмогоров, А.Н.
Математическая логика: Дополнительные главы : учеб. пособие для студентов вузов / А.Н. Колмогоров, А.Г. Драгалин; кол.авт. Моск. гос. ун-т им. М.В. Ломоносова. – 4-е изд., обновл. – М.: URSS, 2013. – 237 с. – (Классический университетский учебник) . - 243899. – Библиогр.: с. 227-228. – Имен. указ.: с. 229-230. – Предм. указ.: с. 231-237.

Теория множеств. Логико-математический язык теории множеств в системе Цермело-Френкеля. Аксиоматический метод и формальный аксиоматический метод в математике. Элементы теории алгорифмов. Тезис Чёрча. Рекурсивные и рекурсивно-перечислимые множества. Теория доказательств. Теорема Гёделя о полноте исчисления предикатов. Теорема об устранении сечения. Программа Гильберта обоснования математики.

51(075) : Общие учебники по математике
16:51(075) :

Ключевые слова = ЛОГИКА
Ключевые слова = МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Ключевые слова = МАТЕМАТИЧЕСКИЙ МЕТОД
Ключевые слова = НАУКА
Ключевые слова = ТЕОРИЯ МНОЖЕСТВ
Ключевые слова = ЕСТЕСТВЕННЫЕ НАУКИ - 5, 51, 52, 53, 54, 55, 56, 57, 58, 59

206422 ФБУ НТБ Минпромторга России Центральный Общий 51 К60