Для каталогаВерещагин, Н. К. Языки и исчисления / Верещагин Н. К. , Шень А. Х. - Москва : Национальный Открытый Университет "ИНТУИТ", 2016. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://prior.studentlibrary.ru/book/intuit_414.html (дата обращения: 09.04.2025). - Режим доступа : по подписке.
АвторыВерещагин Н.К., Шень А.Х.
ИздательствоИНТУИТ
Тип изданияучебное пособие
Год издания2016
ПрототипЭлектронное издание на основе: Языки и исчисления/ Н.К. Верещагин, А.Х. Шень - М.: Национальный Открытый Университет "ИНТУИТ", 2016.
АннотацияВ курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). <br>Курс включает в себя около 200 задач различной трудности.
Загружено 2020-01-30