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

Многотомник
С14

Верещагин, Николай Константинович.
Лекции по математической логике и теории алгоритмов / Николай Константинович Верещагин, Александр Шень. – 7-е изд., стереотип. – М. : МЦНМО, 2025. – ISBN 978-5-4439-4707-5.

С14


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