1 |
Название дисциплины |
Прикладная теория автоматов |
2 |
Курс обучения |
Курс 4, специальность: Математика. Научно-конструкторская деятельность. |
3 |
Семестр обучения |
7 |
4 |
Количество кредитов |
3 |
5 |
Ф.И.О. лектора |
Кандидат технических наук, доцент Супрун Валерий Павлович |
6 |
Цели изучения дисциплины |
Ознакомление с задачами и методами теории автоматов. Формирование навыков дискретного математического мышления и умения применять его при решении типовых задач логического проектирования. В результате изучения студент должен уметь: — формулировать основные утверждения прикладной теории автоматов — применять методы и утверждения теории автоматов при решении типовых задач проектирования устройств вычислительной техники; — активно использовать основные положения и методы теории автоматов при написании дипломных работ в области проектирования вычислительных устройств. |
7 |
Пререквизиты |
Начальные сведения из комбинаторики, теории булевых функций, математической логики. |
8 |
Содержание дисциплины |
Определение и способы задания абстрактных автоматов Мили и Мура. Трансформация и минимизация абстрактных автоматов. Структурные автоматы. Канонически метод структурного синтеза. Матричная реализация структурных автоматов Мили и Мура. |
9 |
Рекомендуемая литература |
1. Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962. 2. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. 3. Закревский А.Д. Синтез дискретных автоматов. М.: Наука, 1971. 4. Супрун В.П. Основы теории булевых функций. М.: Ленанд, 2017. |
10 |
Методы преподавания |
Диалоговый, наглядный, эвристический, проблемный, исследовательский |
11 |
Язык обучения |
Русский |
12 |
Условия (требования), текущий контроль |
Теоретические коллоквиумы, письменные контрольные работы |
13 |
Форма текущей аттестации |
Экзамен (текущая оценка, коэффициент – 0,3; экзаменационная оценка, коэффициент – 0,7). |
Прыкладная тэорыя аўтаматаў (бел.яз)