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