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

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

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

Наименование раздела дисциплины	Содержание раздела	Всего, час (без контроля и консультаций)	Лек	ПР	СР
Математическая логика	Высказывания и операции над ними. Формулы алгебры высказываний. Тавтологии алгебры высказываний. Логическое следование и равносильность формул алгебры высказываний. ДНФ и КНФ. СДНФ и СКНФ. Понятие булевой функции. Суперпозиция булевых функций. Основные понятия логики предикатов. Логические операции над предикатами. Кванторные операции над предикатами. Формулы алгебры предикатов. Тавтологии алгебры предикатов. Логическое следование и равносильность формул логики предикатов. Приведенные нормальные формы.	30	2	12	16
Теория алгоритмов	Понятие алгоритма. Понятие машины Тьюринга. Вычислимые по Тьюрингу функции. Тезис Тьюринга. Правильная вычислимость функций на машине Тьюринга. Композиция машин Тьюринга. Примитивно рекурсивные функции. Примитивно рекурсивные предикаты. Вычислимость по Тьюрингу примитивно рекурсивных функций. Общерекурсивные и частично рекурсивные функции. Тезис Черча. Вычислимость по Тьюрингу частично рекурсивных функций. Частичная рекурсивность вычислимых по Тьюрингу функций. Марковские подстановки. Нормальные алгоритмы Маркова и их применение к словам. Нормально вычислимые функции и принцип нормализации Маркова. Совпадение классов вычислимых по Тьюрингу и нормально вычислимых функций.	42	2	18	22

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.

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

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

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