Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику»
Description
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.
0Product ID
7091841
Publisher
Series
ISBN
978-5-19-011840-7
images_checked
1728667095
Code
7091841
Weight
502
Binding
твёрдый переплёт
Availability
On Stock
Package size
XS
supplier_category
2022
