Перечень практических работ

Тема	Часы	Задание	Вид деятельности	Формируемые компетенции
Решение задач на выполнение теоретико-множественных операций		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
Итого