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