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

Часть: Часть, формируемая участниками образовательных отношений

Модуль: Физико-математические основы

Семестр: 1

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

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

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

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

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

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

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

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

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

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