| Номер модуля дисциплины | № п/п | Объем, часов | Тема практического занятия |
| Метод математической индукции. Вычисление номера слова в лексикографическом словаре позитивного языка | |||
| Логические тождества и таблицы истинности. Матричное представление бинарных отношений и их суперпозиций | |||
| Вычисление совершенных нормальных форм и алгоритм определения полинома Жегалкина для таблично заданной булевой функции | |||
| Анализ и алгоритм синтеза логических схем из функциональных элементов. Коды Хемминга, исправляющие ошибки | |||
| Дерево анализа контактной (переключательной) схемы. Алгоритм синтеза контактной схемы методом каскадов | |||
| Рубежная аттестация № 1. Защита индивидуального домашнего задания № 1 | |||
| Таблицы Кэли операций в арифметических кольцах и полях классов вычетов и выполнение арифметических операций | |||
| Решение алгебраических уравнений в заданном арифметическом поле классов вычетов | |||
| Вычисление фактор-групп и групп автоморфизмов в арифметических группах классов вычетов | |||
| Анализ и синтез таблично заданных детерминированных автоматов | |||
| Алгоритм минимизации автомата по состояниям | |||
| Рубежная аттестация № 2. Защита индивидуального домашнего задания № 2 | |||
| Итого: |
Самостоятельная работа студента
| Модуль дисциплины | № п/п | Вид СРС | Трудоемкость, часов |
| Работа над конспектом лекции и разделом учебника | |||
| Выполнение домашнего задания № 1 (Приложение 1) с использованием интернет-ресурсов (Электронная библиотека) и пакета Microsoft Excel | |||
| Работа над конспектом лекции и разделом учебника | |||
| Выполнение домашнего задания № 2 (Приложение 1) с использованием интернет-ресурсов (Электронная библиотека) и пакета Microsoft Excel | |||
| Итого: |
Домашние задания
| № п/п | Тема самостоятельной работы | Объем, ч. | Сроки выполнения |
| Домашнее задание № 1 (Формальные языки и булевы функции) | Выдача – 1-я неделя, защита – 6-я | ||
| Домашнее задание № 2 (Алгебраические структуры и конечные автоматы) | Выдача – 6-я неделя, защита – 12-я |
Рефераты
Не предусмотрены.
Курсовые работы по дисциплине
Не предусмотрены.






