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

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

Колмогоров, Андрей Николаевич.
Математическая логика: введение в математическую логику : учебное пособие для студ. мат. спец. вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. – 4-е изд., обнов. – M. : URSS, 2013. – 234 с. – (Классический университетский учебник). – URL: http://edurss.ru/cgi-bin/db.pl?cp=&page=Book&id=24697&lang=Ru&blang=ru&list=Found. – Библиогр.: с.224. – В надзаг.: Московский гос. ун-т им. М.В.Ломоносова. – ISBN 978-5-354-01447-7.

С14(07)
07


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