Details

Методические указания предназначены для решения задач по дисциплине ЕН.02 «Элементы математической логики» для студентов специальности 09.02.04 Информационные системы (по отраслям) очной формы обучения. В указаниях приведены краткие теоретические сведения, примеры решения задач, задания для самостоятельного решения. Данные методические указания соответствуют учебной программе курса «Элементы математической логики» для специальностей 09.02.04 Информационные системы (по отраслям). Учебная дисциплина «Элементы математической логики» входит в математический и общий естественнонаучный цикл и направлена на формирование базового уровня знаний, необходимых для освоения общепрофессиональных дисциплин и профессиональных модулей. Целью пособия является оказание методической помощи студентам при выполнении практических заданий по этой дисциплине. Целью выполнения практических работ является формирование у обучающихся навыков применения методов математической логики к решению логических задач. Методические указания к практическим работам содержат тему, цель, теоретические сведения, методические указания по решению задач и задания на выполнения.