Дискретная математика. Долгих Л.А. - 4 стр.

                                                           РПД ДМ   /АИТ    -2005
        4 Цель и задачи дисциплины
        4.1. Цель преподавания дисциплины – формирование у студентов знаний
 методологических основ дискретной математики и умения применять полученные
 знания при решении задач инженерной практики.
         4.2. В результате изучения дисциплины студент должен
        знать:
        основы теории множеств;
        основные положения логик высказывания и предикатов, булевой алгебры;
        принципы построения формальных аксиоматических теорий, в частности
 исчисления высказываний и исчисления предикатов;
        основные положения теории графов и теории алгоритмов;
        основные принципы комбинаторного анализа;
        основные положения математической лингвистики;
        основы теории автоматов;
       уметь: применять основные положения дискретной математики при реше-
 нии инженерных задач.
        5 Место дисциплины в учебном процессе
         Дисциплина относится к циклу математических и общих естественнона-
 учных дисциплин. Изучение данной дисциплины базируется на общеобразова-
 тельном школьном курсе математики и на курсе "Программирование и основы ал-
 горитмизации". Основные положения дисциплины должны быть использованы в
 дальнейшем при изучении математических основ теории систем, системное про-
 граммное обеспечение.
        6      Сводные данные об основных разделах дисциплины
                                      Количество часов занятий
                                        аудиторных             само-  Уровни
     Название раздела
                                лекци-    практи- лабора-      стоя- изучения
                                онных     ческих    торных тельных
              1                    2         3         4         5        6
Основные положения теории
                                   2         2         4         5       1Б
         множеств
      Комбинаторика             3        2          -        5             1Б

          Логика                9        6          4        13            1Б

      Теория графов             9        2          5        11            1Б

    Теория алгоритмов           4        2          4        9             1А

    Конечные автоматы           4        2          -        4             1Б

   Языки и грамматики           3        1          -        4             1Б