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