- •«Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»
- •Рабочая программа дисциплины
- •Санкт-Петербург
- •Рабочая программа дисциплины
- •Цели освоения дисциплины
- •Место дисциплины в структуре ооп впо
- •Структура и содержание дисциплины
- •Содержание (дидактика) дисциплины
- •Раздел 1. «Математическая логика».
- •Раздел 2. «Теория алгоритмов».
- •Практические занятия
- •Лабораторные работы
- •Домашние задания, типовые расчеты и т.П.
- •Рефераты
- •Курсовые работы по дисциплине
- •Формы контроля освоения дисциплины
- •Учебно-методическое и информационное обеспечение дисциплины
- •Материально-техническое обеспечение дисциплины
- •Аннотация рабочей программы
- •Технологии и формы преподавания Рекомендации по организации и технологиям обучения для преподавателя
- •Образовательные технологии
- •Виды и содержание учебных занятий
- •Раздел 1. Математическая логика.
- •Раздел 2. Теория алгоритмов.
- •Технологии и формы обучения Рекомендации по освоению дисциплины для студента
- •Оценочные средства и методики их применения Фонды оценочных средств
- •Критерии оценивания
Цели освоения дисциплины
Целью освоения дисциплины является достижение следующих результатов образования (РО):
знания:
|
на уровне представлений: |
об основных структурах, объектах и задачах математической логики и теории алгоритмов; |
|
|
о методах работы с формализованными логическими теориями; |
|
|
принципы построения машины Тьюринга; |
|
на уровне воспроизведения: |
об основных результатах классической математической логики и теории алгоритмов; |
|
|
биографические сведения о великих учёных, причастных к созданию этого раздела математики; |
|
на уровне понимания: |
о роли и месте математической логики и теории алгоритмов в современном мире |
умения: |
теоретические: |
решать задачи из разных разделов курса; |
|
|
определять множества различными способами; строить диаграммы Эйлера-Венна; |
|
|
определять тип отношения на множествах и его свойства; |
|
|
составлять таблицы истинности для различных логических операций; |
|
|
упрощать логические формулы; |
|
|
анализировать систему булевых функций на полноту и независимость; |
|
|
находить множество истинности предикатов; |
|
|
определять вычислительную сложность алгоритма; |
|
практические: |
работать со справочной математической литературой; |
|
|
логически правильно строить рассуждения при решении задач; |
навыки: |
|
применять полученные знания в практической деятельности; |
|
|
логической и алгоритмической интуиции. |
Перечисленные РО являются основой для формирования следующих компетенций:
общекультурных |
ОК-3 |
способность понимать и анализировать мировоззренческие, социально и личностно значимые философские проблемы |
|
ОК-6 |
способность приобретать с большой степенью самостоятельности новые знания, используя современные образовательные и информационные технологии |
профессиональных |
ПК-2 |
готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа, логики и моделирования, теоретического и экспериментального исследования в информатике и гуманитарных науках |
|
ПК-17 |
способность использовать алгоритмы и программы автоматических рассуждений интеллектуального и лингвистического анализа данных |
|
ПК-22 |
готовность использовать логические и алгоритмические средства интеллектуальных систем |