Наименование компетенции ФГОС ВО	Индикаторы достижения компетенций
Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач (УК-1)	Знаний: принципы использования системного подхода алгоритмы принятия решения (в том числе, методики постановки задачи, моделирования, выбора и принятия решения) Умений: находить, критически анализировать и выбирать информацию, необходимую для решения поставленной задачи анализировать задачу, выделяя этапы ее решения, действия по решению задачи оценивать их преимущества и риски грамотно, логично, аргументированно формировать собственные суждения и оценки определять и оценивать практические последствия возможных решений задачи Навыков: навыками применения системного подхода для оценки современных научных достижений и принятия решений в социальной и профессиональной деятельности
Способен осуществлять педагогическую деятельность на основе специальных научных знаний (ОПК-8)	Знаний: историю, теорию, закономерности и принципы построения и функционирования образовательного процесса, роль и место образования в жизни человека и общества современные фундаментальные подходы и теории в сфере образования современные образовательные практики и модели организации образовательной деятельности Умений: использовать современные, в том числе интерактивные, формы и методы учебной и воспитательной работы в урочной и внеурочной деятельности, дополнительном образовании детей осуществлять трансформацию специальных научных знаний в соответствии с психофизиологическими, возрастными, познавательными особенностями обучающихся, в т.ч. с особыми образовательными потребностями использовать методы анализа педагогической ситуации, профессиональной рефлексии на основе специальных научных знаний в соответствии с предметной областью Навыков: проектирования и реализации педагогической деятельности на основе специальных научных знаний

Вид учебной работы	Часов (по видам работ)	Семестры
2
Контактная работа (всего)	36	36
Лекционные занятия	18	18
Практические занятия	18	18
Самостоятельная работа	36	36
Всего, часов/зачетных единиц	72 / 2	72 / 2

Показаны записи 1-2 из 2.

Наименование раздела дисциплины	Содержание раздела	Всего, час (без контроля и консультаций)	Лек	ПР	СР
Различные алгоритмические модели	Понятие алгоритма. Понятие машины Тьюринга. Вычислимые по Тьюрингу функции. Тезис Тьюринга. Правильная вычислимость функций на машине Тьюринга. Композиция машин Тьюринга. Примитивно рекурсивные функции. Примитивно рекурсивные предикаты. Вычислимость по Тьюрингу примитивно рекурсивных функций. Общерекурсивные и частично рекурсивные функции. Тезис Черча. Вычислимость по Тьюрингу частично рекурсивных функций. Частичная рекурсивность вычислимых по Тьюрингу функций. Нормальные алгоритмы Маркова и их применение к словам. Нормально вычислимые функции и принцип нормализации Маркова. Совпадение классов вычислимых по Тьюрингу и нормально вычислимых функций	40	10	10	20
Общие вопросы теории алгоритмов	Нумерация машин Тьюринга. Нумерация вычислимых функций. Теорема о параметризации. Теорема о неподвижной точке. Неразрешимые алгоритмические проблемы. Теорема Райса. Мера сложности вычислений. Теорема об ускорении. Теорема о пробелах	32	8	8	16

1) Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Электронный ресурс] : учеб. и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. – Москва : Юрайт, 2022. – Добавлено: 10.02.2022. – Проверено: 30.09.2022. – Режим доступа: ЭБС Юрайт по паролю. – ISBN 978-5-534-12274-9. - URL: https://urait.ru/book/matematicheskaya-logika-i-teoriya-algoritmov-447321.
2) Пруцков, Алексей Викторович. Математическая логика и теория алгоритмов [Электронный ресурс] : учебник / А. В Пруцков, Л. Л. Волкова. – Москва : Курс : ИНФРА-М, 2018. – Добавлено: 07.06.2021. – Проверено: 30.09.2022. – Режим доступа: ЭБС Znanium по паролю. - URL: https://znanium.com/catalog/document?pid=956763.

1) Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов [Электронный ресурс] : учеб. пособие / В. И. Игошин. – Москва : Курс : ИНФРА-М, 2019. – Добавлено: 17.10.2022. – Проверено: 30.09.2022. – Режим доступа: ЭБС Znanium по паролю. – ISBN 978-5-906818-08-9. - URL: https://znanium.com/catalog/document?pid=986940.
2) Игошин, Владимир Иванович. Теория алгоритмов [Электронный ресурс] : учеб. пособие / В. И. Игошин. – Москва : ИНФРА-М, 2019. – Добавлено: 17.10.2022. – Проверено: 30.09.2022. – Режим доступа: ЭБС Znanium по паролю. – ISBN 978-5-16-005205-2. - URL: https://znanium.com/catalog/document?id=368264.

Показаны записи 1-3 из 3.

Учебная аудитория	Материально-техническое обеспечение
Аудитория для проведения занятий лекционного типа	Компьютеры, проектор со Smart-доской, доска, специализированная мебель, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации.
Аудитория для практической работы	Компьютеры, проектор со Smart-доской, доска, специализированная мебель, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации.
Помещение для самостоятельной работы	Компьютеры, проектор со Smart-доской, доска, специализированная мебель, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации.

Место в структуре образовательной программы

Промежуточная аттестация