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

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

Колмогоров, Андрей Николаевич.
Математическая логика : Учеб. пособие для студентов мат. спец. вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. – М. : Эдиториал УРСС, 2004. – 238 с. – (Классический университетский учебник / Московский гос. ун-т им. М.В.Ломоносова). – Библиогр.:с.228. – ISBN 5-354-00389-X.

С14(07)
07


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