- •«Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»
- •Рабочая программа дисциплины
- •Санкт-Петербург
- •Рабочая программа дисциплины
- •Цели освоения дисциплины
- •Место дисциплины в структуре ооп впо
- •Структура и содержание дисциплины
- •Содержание (дидактика) дисциплины
- •Раздел 1. «Математическая логика».
- •Раздел 2. «Теория алгоритмов».
- •Практические занятия
- •Лабораторные работы
- •Домашние задания, типовые расчеты и т.П.
- •Рефераты
- •Курсовые работы по дисциплине
- •Формы контроля освоения дисциплины
- •Учебно-методическое и информационное обеспечение дисциплины
- •Материально-техническое обеспечение дисциплины
- •Аннотация рабочей программы
- •Технологии и формы преподавания Рекомендации по организации и технологиям обучения для преподавателя
- •Образовательные технологии
- •Виды и содержание учебных занятий
- •Раздел 1. Математическая логика.
- •Раздел 2. Теория алгоритмов.
- •Технологии и формы обучения Рекомендации по освоению дисциплины для студента
- •Оценочные средства и методики их применения Фонды оценочных средств
- •Критерии оценивания
Место дисциплины в структуре ооп впо
Дисциплина _ Математическая логика и теория алгоритмов_ относится к базовой части (Б.2.1) цикла Математических и естественнонаучных дисциплин (Б.2).
В результате освоения дисциплины студент осваивает следующие компетенции:
Компетенция |
Код по ФГОС/ НИУ |
Дескрипторы – основные признаки освоения (показатели достижения результата) |
Формы и методы обучения, способствующие формированию и развитию компетенции |
способность приобретать с большой степенью самостоятельности новые знания, используя современные образовательные и информационные технологии |
ОК-6 |
Правильно воспроизводит чужие результаты
Правильно формулирует собственные результаты |
Компетенция формируется в любом сегменте учебного процесса
Формируется в процессе активных занятий (участие в семинарах, выполнение курсовых и дипломных работ). |
способность понимать и анализировать мировоззренческие, социально и личностно значимые философские проблемы |
ОК-3 |
Воспроизводит доказательства стандартных результатов, услышанных на лекциях
Оценивает строгость математических и иных научных текстов |
Изучение базового курса
За счет повышения логической и математической культуры в процессе обучения |
способность использовать алгоритмы и программы автоматических рассуждений интеллектуального и лингвистического анализа данных;
готовность использовать логические и алгоритмические средства интеллектуальных систем |
ПК-17;
ПК-22 |
Распознает и воспроизводит имена основных логических и алгоритмических понятий, возникающих при изучении данного раздела
Владеет и свободно использует профессиональную логико-математическую лексику |
Продумывание и повторение услышанного на лекции.
Компетенция достигается в процессе накопления опыта математических рассуждений, общения с преподавателями. |
готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа, логики и моделирования, теоретического и экспериментального исследования в информатике и гуманитарных науках |
ПК-2 |
Понимает и воспроизводит основную структуру доказательств теорем из курса
Обосновывает и оценивает логические ходы в произвольных математических рассуждениях и конструкциях |
Продумывание ключевых моментов лекций
Вырабатывается путем активного решения задач, самообразования, общения с преподавателями. |
Содержание дисциплины является логическим продолжением содержания дисциплин Программирование (Б.3.1.2), Математика (Б.2.1.1) и Информатика (Б.2.1.5) и служит основой для освоения дисциплин Логические средства интеллектуальных систем (Б.3.1.5), Дискретная математика (Б.2.2.5), Математические методы анализа информации (Б.2.2.4), Теория принятия решений (Б.2.2.3) и др.
В таблице приведены предшествующие и последующие дисциплины, направленные на формирование компетенций, заявленных в разделе «Цели освоения дисциплины»:
№ п/п |
Наименование компетенции |
Предшествующие дисциплины |
Последующие дисциплины (группы дисциплин) |
|
Общекультурные компетенции |
|
|
ОК-3 |
способность понимать и анализировать мировоззренческие, социально и личностно значимые философские проблемы |
программа курса средней школы, Б.2.1.5 Информатика |
Б.2.2.4 Математические методы анализа информации |
ОК-6 |
способность приобретать с большой степенью самостоятельности новые знания, используя современные образовательные и информационные технологии |
программа курса средней школы |
Б.2.2.3 Теория принятия решений |
|
Профессиональные компетенции |
|
|
ПК-2 |
готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа, логики и моделирования, теоретического и экспериментального исследования в информатике и гуманитарных науках |
Б.2.1.1 Математика |
Б.2.2.4 Математические методы анализа информации
|
ПК-17 |
способность использовать алгоритмы и программы автоматических рассуждений интеллектуального и лингвистического анализа данных |
Б.3.1.2 Программирование |
Б.2.2.5 Дискретная математика |
ПК-22 |
готовность использовать логические и алгоритмические средства интеллектуальных систем |
Б.2.1.5 Информатика |
Б.3.1.5 Логические средства интеллектуальных систем |