Часть: Обязательная

Модуль: Прикладная математика

Семестр: 7

Старая версия

Наименование компетенции ФГОС ВО

Индикаторы достижения компетенций

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

Вид учебной работы Часов
(по видам работ)
Семестры
7
Контактная работа (всего) 64 64

Лекционные занятия

32 32

Практические занятия

32 32

Самостоятельная работа

8 8
Всего, часов/зачетных единиц 72 / 2 72 / 2

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

1) Игошин, Владимир Иванович. Математическая логика [Электронный ресурс] : учеб. пособие / В. И. Игошин. – Москва : ИНФРА-М, 2024. – (Высшее образование – Бакалавриат). – Добавлено: 19.06.2025. – Проверено: 25.09.2026. – Режим доступа: ЭБС Znanium по паролю. – ISBN 978-5-16-019779-1. - URL: https://znanium.ru/catalog/document?id=441200.
2) Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Электронный ресурс] : учеб. и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. – Москва : Юрайт, 2024. – Добавлено: 25.05.2026. – Проверено: 25.09.2026. – Режим доступа: ЭБС Юрайт по паролю. – ISBN 978-5-534-12274-9. - URL: https://urait.ru/book/matematicheskaya-logika-i-teoriya-algoritmov-535807.
3) Скорубский, Владимир Иванович. Математическая логика [Электронный ресурс] : учеб. и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. – Москва : Юрайт, 2024. – (Высшее образование). – Добавлено: 25.05.2026. – Проверено: 25.09.2026. – Режим доступа: ЭБС Юрайт по паролю. – ISBN 978-5-534-01114-2. - URL: https://urait.ru/book/matematicheskaya-logika-536998.
1) Пруцков, Алексей Викторович. Математическая логика и теория алгоритмов [Электронный ресурс] : учебник / А. В. Пруцков, Л. Л. Волкова. – Москва : Курс : ИНФРА-М, 2025. – Добавлено: 11.09.2026. – Проверено: 25.09.2026. – Режим доступа: ЭБС Znanium по паролю. – ISBN 978-5-906818-74-4. - URL: https://znanium.ru/catalog/product/2204110.

Показаны записи 1-3 из 3.
Учебная аудиторияМатериально-техническое обеспечение
Аудитория для проведения занятий лекционного типаСпециализированная мебель, системный блок, монитор, видеопроектор, акустические колонки, интерактивная доска, поворотно-передвижная аудиторская доска, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации
Аудитория для проведения занятий семинарского типаСпециализированная мебель, системный блок, монитор, видеопроектор, акустические колонки, интерактивная доска, поворотно-передвижная аудиторская доска, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации
Помещение для самостоятельной работыСпециализированная мебель, системный блок, монитор, видеопроектор, акустические колонки, интерактивная доска, поворотно-передвижная аудиторская доска, наборы демонстрационного оборудования и учебно-наглядных пособий, обеспечивающие тематические иллюстрации
Microsoft, Лицензия на программное обеспечение Academic licenses
Статус Автор Дата
Подписано простой электронной подписью Симонян Анжелика Владимировна 2026-07-23 09:33:14