Место дисциплины в структуре ОП
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное автономное образовательное учреждение высшего профессионального образования
«Санкт-Петербургский государственный университет
аэрокосмического приборостроения»
Кафедра №14
«УТВЕРЖДАЮ»
Руководитель направления
д.т.н.,проф.
(должность, уч. степень, звание)
___________М.Б. Сергеев
(подпись)
«___» __________ 2019 г
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
«Теория конечных автоматов»
(Название дисциплины)
Код направления | |
Наименование направления/ специальности | |
Наименование направленности | |
Форма обучения | очная |
Санкт-Петербург 2019 г.
Лист согласования рабочей программы дисциплины
Программу составил(а)
проф., д.ф.-м.н., проф. _____________ С.Д. Шапорев
должность, уч. степень, звание подпись, дата инициалы, фамилия
Программа одобрена на заседании кафедры № 14
«___»__________201___ г, протокол № ________
Заведующий кафедрой № 14
д.т.н.,проф. ___________ Ю.Е. Шейнин
должность, уч. степень, звание подпись, дата инициалы, фамилия
Ответственный за ОП 09.03.01(01)
доц.,к.т.н.,доц. ____________ А.В. Шахомиров
|
|
должность, уч. степень, звание подпись, дата инициалы, фамилия
Заместитель директора института (факультета) № 1 по методической работе
_____________ В.Е. Таратун
должность, уч. степень, звание подпись, дата инициалы, фамилия
Аннотация
Дисциплина «Теория конечных автоматов» входит в базовую часть образовательной программы подготовки студентов по направлению «01.03.02 «Прикладная математика и информатика» направленность «Исследование операций, системный анализ и управление динамическими системами». Дисциплина реализуется кафедрой №14
Дисциплина нацелена на формирование у выпускника
общепрофессиональных компетенций:
ОПК-1 «способность использовать базовые знания естественных наук, математики и информатики, основные факты, концепции, принципы теорий, связанных с прикладной математикой и информатикой»;
профессиональных компетенций:
ПК-2 «способность понимать, совершенствовать и применять современный математический аппарат».
Содержание дисциплины охватывает круг вопросов, связанных с математическими моделями систем и элементов систем и основами методов их исследования. Основные задачи дисциплины «Математические основы систем управления»: приобретение студентами знаний по специальным разделам современной дискретной математики; изучение математических моделей и методов исследования линейных систем и элементов систем, описываемых обыкновенными дифференциальными и конечно-разностными уравнениями; изучение методов конечномерной оптимизации, алгоритмов математического программирования, элементов теории оптимизации управления, основы математической логики и теории конечных автоматов; - основные сведения о сигналах и их математических моделях; - способы описания линейных непрерывных систем и их элементов;
|
|
Преподавание дисциплины предусматривает следующие формы организации учебного процесса: лекции, практические занятия лабораторные работы, самостоятельную работу студентов.
Программой дисциплины предусмотрены следующие виды контроля: текущий контроль успеваемости, промежуточная аттестация в форме экзамена.
Общая трудоемкость освоения дисциплины составляет 6 зачетных единиц, 216 часов.
Язык обучения по дисциплине «русский».
|
|
1. Перечень планируемых результатов обучения по дисциплине
Цел и преподавания дисциплины
Цель преподавания дисциплины - дать студентами необходимые базовые знания и систематизированное представление о логике высказываний, логике предикатов и теории алгоритмов и их интерпретациях, а также привить им навыки получения, преобразований с целью упрощения логических формул, выполнения доказательств и выводов в логических исчислениях, построения и исследования схем алгоритмов.
1.2. Перечень планируемых результатов обучения по дисциплине, соотнесенных с планируемыми результатами освоения образовательной программы
В результате освоения дисциплины студент должен обладать следующими компетенциями:
ОПК-1 «способность использовать базовые знания естественных наук, математики и информатики, основные факты, концепции, принципы теорий, связанных с прикладной математикой и информатикой»:
иметь представление: о современной структуре математики, связи математических основ теории управления с другими разделами математики и прикладными дисциплинами по специальности;
знать рекурсивные функции, машины Тьюринга, построение схем алгоритмов, основные принципы работы конечных автоматов;
|
|
основы математической логики и теории конечных автоматов; - основные сведения о сигналах и их математических моделях; - способы описания линейных непрерывных систем и их элементов;
уметь: формализовывать высказывания и составлять логические формулы, получать и преобразовывать формулы логики предикатов, выполнять доказательства и выводы в логических исчислениях, строить и исследовать схемы алгоритмов;
формировать математические модели объектов и систем;
осуществлять синтез комбинационных схем и конечных автоматов;
решать задачи спектрального и корреляционного анализа сигналов;
анализировать временные и частотные характеристики линейных систем и их элементов.
ПК-2 «способность понимать, совершенствовать и применять современный математический аппарат»:
знать как анализировать временные и частотные характеристики линейных систем и их элементов;
уметь формировать математические модели объектов и систем;
владеть навыками решения задач спектрального и корреляционного анализа сигналов;
Место дисциплины в структуре ОП
Дисциплина базируется на знаниях, ранее приобретенных студентами при изучении следующих дисциплин: «Дискретная математика» и «Математическая логика» на уровне первого курса ГУАП.
Знания и навыки, полученные при изучении материала данной дисциплины в соответствии с учебным планом направления, имеют как самостоятельное значение, так и используются при изучении других дисциплин: «Теория множеств», «Дискретная математика», «Математическая логика», «Основы информатики», «Языки и методы программирования», «Базы данных», «Операционные системы».
Дата добавления: 2021-03-18; просмотров: 81; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!