Дискретная математика и математическая логика. № УД-5551/уч.

Abstract

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