Аннотация: Конспект лекций О.Б. Лупанова по курсу "Введение в математическую логику". 2-е изд., испр. и доп

Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.

Издательство	МГУ им.Ломоносова
Автор/составитель	None
Серия	Классический университетский учебник
Год выпуска	2023
Кол-во страниц	327
ISBN	978-5-19-011840-7
Обложка	Пер
Вес	503г
Формат	14 x 22 cm
Тираж	350
Возрастная категория	16+