1. Область применения программы
Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 09.02.03 Программирование в компьютерных системах (базовой подготовки).
2. Место учебной дисциплины в структуре основной профессиональной образовательной программы
Дисциплина входит в математический общий естественнонаучный цикл.
3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины
В результате освоения учебной дисциплины обучающийся должен уметь:
- строить таблицы истинности для формул логики упрощать формулы логики;
- представлять булевы функции в виде формул заданного типа, проверять множество булевых функций на полноту;
- выполнять операции над множествами;
- выполнять операции над предикатами, записывать области истинности предикатов, формализовать предложение с помощью логики предикатов;
- исследовать бинарные отношения на заданные свойства.
В результате освоения учебной дисциплины обучающийся должен знать:
- основные принципы математической логики;
- основные принципы теории множеств и теории алгоритмов;
- формулы алгебры высказывания;
- метод минимизации алгебраических преобразований;
- основы языка и алгебры предикатов.
