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

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

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

Наименование раздела дисциплины	Содержание раздела	Всего, час (без контроля и консультаций)	Лаб	СР
Алгебра высказываний	Высказывания и операции над ними. Формулы алгебры высказываний. Тавтологии алгебры высказываний. Логическое следование и равносильность формул алгебры высказываний. ДНФ и КНФ. СДНФ и СКНФ. Понятие булевой функции. Суперпозиция булевых функций.	18	10	8
Алгебра предикатов	Основные понятия логики предикатов. Логические операции над предикатами. Кванторные операции над предикатами. Формулы алгебры предикатов. Тавтологии алгебры предикатов. Логическое следование и равносильность формул логики предикатов. Приведенные нормальные формы.	18	10	8
Исчисление высказываний	Основные понятия. Система аксиом и теория формального вывода. Теорема о дедукции и следствия из нее. Производные правила вывода. Методы доказательства. Связь между исчислением высказываний и алгеброй высказываний	18	10	8
Исчисление предикатов	Основные понятия. примеры доказуемых формул. Формальный вывод и выводимые формулы. Свойства формализованного исчисления предикатов. Связь между исчислением предикатов и алгеброй предикатов.	18	10	8

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-2 из 2.

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

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

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