Дискретная математика и математическая логика: учебная программа учреждения высшего образования по учебной дисциплине для специальностей: 1-31 03 03 Прикладная математика (по направлениям), направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность), 1-31 03 07 Прикладная информатика (по направлениям), направление специальности 1-31 03 07-01 Прикладная информатика (программное обеспечение компьютерных систем), 1-31 03 04 Информатика, 1-31 03 05 Актуарная математика, 1-31 03 06 Экономическая кибернетика (по направлениям), направление специальности 1-31 03 06-01 Экономическая кибернетика (математические методы и компьютерное моделирование в экономике), 1-98 01 01 Компьютерная безопасность (по направлениям), направление специальности 1-98 01 01-01 Компьютерная безопасность (математические методы и программные системы). № УД-10231/уч.

Abstract

Цели и задачи учебной дисциплины Основной спецификой дискретной математики и математической логики является их алгоритмическая основа и демонстрация использования дискретности в современной науке. Учебная дисциплина «Дискретная математика и математическая логика» является не только фундаментом математической кибернетики, но и важным звеном математического образования для специалистов в области прикладной математики и информатики. Дисциплина знакомит студентов с такими дискретными объектами, как множества, комбинаторные конфигурации, графы, булевы функции, грамматики, конечные автоматы и алгоритмы. Указанные объекты определяют основу перечислительной комбинаторики, дискретной оптимизации, криптографии, теории алгоритмов и являются базовыми для многих прикладных областей. Прогресс в их изучении самым непосредственным образом влияет на состояние и развитие информационных технологий. Цель преподавания дисциплины состоит в изучение методов решения логических и комбинаторных задач. Образовательная цель: получение будущими специалистами базового математического образования, необходимого им в дальнейшем для успешной работы. Развивающая цель: формирование у студентов современного математического кругозора, овладение навыками алгоритмического и логического мышления. При изложении материала учебной дисциплины целесообразно акцентировать внимание на принципах логических построений, способах описания множеств с помощью предикативных формул, а также на эффективности применения аппарата математической логики и теории множеств для решения задач комбинаторики и теории графов.