Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

103 III. ПРОГРАММА ДИСЦИПЛИНЫ 1. Цели и задачи дисциплины: Основной целью освоения дисциплины является знание основополагающих понятий, результатов и методов математической логики и теории алгоритмов. Для достижения поставленной цели выделяются задачи курса: освоение теории множеств, навыки работы с пропозициональными и предикатными исчислениями, знание формулировок и доказательств основных теорем курса. Задачей дисциплины является развитие логического мышления у студентов и изучение основ математической логики и теории алгоритмов. Развиваются навыки формализации и описания дискретных математических объектов. 2. Место дисциплины в структуре ООП: Цикл, к которому относится дисциплина: вариативная часть математического и естественнонаучного цикла Б.2. Требования к входным знаниям и умениям: необходимо пройти обучение по дисциплинам «Комбинаторные алгоритмы», «Дискретная математика». Студенту необходимо: Знать: основные понятия теории множеств, основные понятия и методы теории комбинаторных алгоритмов. Уметь: анализировать выводы, полученные при решении задач. Дисциплины, для которых данная дисциплина является предшествующей: Математический анализ, Теория автоматов и формальных языков, Теория вероятностей и математическая статистика, курсовая работа.