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

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

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

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

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

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

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

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

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

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