Языки и исчисления
Языки и исчисления
Авторы: Верещагин Н.К., Шень А.Х.
Издательство: Национальный Открытый Университет "ИНТУИТ"
Издание: 2-е изд.
2016 г.
Кол-во страниц: 278
Предварительный просмотр:
О книге:
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.