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

Модуль: Математический модуль

Семестр: 1

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

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

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

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

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

 4 4

Лабораторные занятия

 26 26

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

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

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

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

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