Тема
| Часы
| Задание
| Вид
деятельности
| Формируемые компетенции
|
Решение задач на выполнение теоретико-множественных операций
|
| 1) научиться задавать множества различными способами;
2) научиться выполнять операции над множествами;
3) научиться применять к решению задач диаграммы Венна (круги Эйлера);
4) научиться проверять теоретико–множественные соотношения с помощью свойств операций.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Вычисление комбинаторных объектов заданного типа
|
| 1)научиться находить количество элементов в объединении нескольких множеств;
2) научиться вычислять число всевозможных комбинаторных объектов заданного типа.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Применение законов алгебры логики к равносильным преобразованиям формул логики
|
| 1) научиться строить таблицу истинности формулы логики;
2) научиться применять методику упрощения формул логики с помощью равносильных преобразований.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Совершенные нормальные формы булевых функций. Минимизация булевых функций
|
| 1) научиться представлять булеву функцию в виде совершенной ДНФ;
2) научиться представлять булеву функцию в виде совершенной КНФ;
3) научиться представлять булеву функцию (N £ 3) в виде минимальной ДНФ графическим методом.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Полнота систем булевых функций
|
| 1) научиться проверять принадлежность булевых функций замкнутым классам;
2) научиться проверять системы булевых функций на полноту.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Задание графа различными способами и определение его характеристик
|
| 1) изучить основы теоретико-множественного и графического представлений графов;
2) изучить простейшие свойства графов;
3) изучить основы матричного представления графов.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Построение простейших автоматов
|
| 1) изучить основные понятия теории автоматов;
2) научиться строить автоматы
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Формулирование задач логического характера и применение средств математической логики для их решения
|
| 1) научиться применять средства математической логики для решения задач логического характера.
| Выполнение практической работы
| ОК 1 – 9
ПК 1.1
ПК 1.3
ПК 2.1
|
Итого
|
|
|
|
|