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

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

Колмогоров, Андрей Николаевич.
Математическая логика : Учеб. пособие для студентов мат. спец. вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. – 3-е изд., стер. – M. : URSS, 2006. – 238 с. – (Классический университетский учебник). – URL: http://edurss.ru/cgi-bin/db.pl?cp=&page=Book&id=24697&lang=Ru&blang=ru&list=Found. – Библиогр.:с.228. – ISBN 5-484-00520-5.

С14(07)
07


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