Вид документа : Однотомное издание Шифр издания : 89486 Автор(ы) : Шнарева Г. В. Заглавие : Математическая логика : Методические указания по решению задач Выходные данные : Симферополь: Университет экономики и управления, 2019 Колич.характеристики :70 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. Цена : Б.ц. УДК : 517.9 ББК : 22.18 Ключевые слова (''Своб.индексиров.''): кванторы--логические задачи--математика--понятие предиката--эквивалентные преобразования Аннотация: Методические указания предназначены для решения задач по дисциплине ЕН.02 «Элементы математической логики» для студентов специальности 09.02.04 Информационные системы (по отраслям) очной формы обучения. В указаниях приведены краткие теоретические сведения, примеры решения задач, задания для самостоятельного решения. Данные методические указания соответствуют учебной программе курса «Элементы математической логики» для специальностей 09.02.04 Информационные системы (по отраслям). Учебная дисциплина «Элементы математической логики» входит в математический и общий естественнонаучный цикл и направлена на формирование базового уровня знаний, необходимых для освоения общепрофессиональных дисциплин и профессиональных модулей. Целью пособия является оказание методической помощи студентам при выполнении практических заданий по этой дисциплине. Целью выполнения практических работ является формирование у обучающихся навыков применения методов математической логики к решению логических задач. Методические указания к практическим работам содержат тему, цель, теоретические сведения, методические указания по решению задач и задания на выполнения.