Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Аннотация

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

Отзывы читателей

Оставить отзыв

Ваше имя Отзыв Проверочный код Отправить отзыв