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

Книга
С14(07) К-608

Колмогоров, Андрей Николаевич.
Математическая логика: дополнительные главы : учебное пособие для студ. мат. спец. вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. – 4-е изд., обнов. – M. : URSS, 2013. – 237 с. – (Классический университетский учебник). – URL: http://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=165874. – Библиогр.:с.227-228. – В надзаг.: Моск. гос. ун-т им. М.В.Ломоносова. – ISBN 978-5-354-01446-0.

С14(07)
07


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = Колмогоров А.Н. (1903-1987)
Ключевых слов = Драгалин А.Г. (1941-1998)
Ключевых слов = математическая логика
Ключевых слов = теория алгоритмов
Ключевых слов = теория множеств
Ключевых слов = теория доказательств
Ключевых слов = машина Тьюринга
Ключевых слов = предикаты