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

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

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

Наименование раздела дисциплины	Содержание раздела	Всего, час (без контроля и консультаций)	Лек	ПР	СР
Математическая логика	Высказывания и операции над ними. Формулы алгебры высказываний. Тавтологии алгебры высказываний. Логическое следование и равносильность формул алгебры высказываний. Понятие булевой функции. Суперпозиция булевых функций. Основные понятия логики предикатов. Логические операции над предикатами. Кванторные операции над предикатами. Формулы логики предикатов. Тавтологии логики предикатов. Логическое следование и равносильность формул логики предикатов.	58	6	16	36
Теория алгоритмов	Понятие алгоритма. Понятие машины Тьюринга. Вычислимые по Тьюрингу функции. Тезис Тьюринга. Правильная вычислимость функций на машине Тьюринга. Композиция машин Тьюринга. Нормальные алгоритмы Маркова и их применение к словам. Нормально вычислимые функции. Принцип нормализации Маркова. Совпадение классов вычислимых по Тьюрингу и нормально вычислимых функций. Нумерация машин Тьюринга. Нумерация вычислимых функций. Теорема о параметризации. Алгоритмически неразрешимые проблемы. Теорема Райса.	50	4	14	32

1) Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Электронный ресурс] : учеб. и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. – Москва : Юрайт, 2024. – Добавлено: 28.06.2024. – Проверено: 27.09.2024. – Режим доступа: ЭБС Юрайт по паролю. – ISBN 978-5-534-12274-9. - URL: https://urait.ru/book/matematicheskaya-logika-i-teoriya-algoritmov-535807.
2) Скорубский, Владимир Иванович. Математическая логика [Электронный ресурс] : учеб. и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. – Москва : Юрайт, 2024. – (Высшее образование). – Добавлено: 28.06.2024. – Проверено: 27.09.2024. – Режим доступа: ЭБС Юрайт по паролю. – ISBN 978-5-534-01114-2. - URL: https://urait.ru/book/matematicheskaya-logika-536998.

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

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

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

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

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