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