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

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

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

Верещагин, Николай Константинович.
Ч. 2 : Языки и исчисления / Николай Константинович Верещагин, Александр Шень. – Изд. 7-е, стер. – 2025. – 240 с. – Библиогр.: с. 224-227. – На обл. авт. не указаны. – ISBN 978-5-4439-4707-5.

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.

С14


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