• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
2016/2017

Прикладная математика I: алгоритмы и автоматы

Статус: Дисциплина общефакультетского пула
Когда читается: 1, 2 модуль
Преподаватели: Саватеев Юрий Вячеславович
Язык: русский
Кредиты: 5
Контактные часы: 64

Программа дисциплины

Аннотация

Изучение данной дисциплины базируется на обязательной дисциплине «Логика и алгоритмы». Для освоения учебной дисциплины студенты должны свободно владеть основными базовыми понятиями теории множеств и математической логики.
Цель освоения дисциплины

Цель освоения дисциплины

  • Формирование у слушателей ясного представления об основных понятиях и методах, лежащих в основе современных теории автоматов, теории вычислимости и сложности вычислений
  • Получение сведений о важнейших теоремах и конструкциях в этих теориях
  • Ознакомление с некоторыми приложениями этих теорий в математике и теоретической информатике
Планируемые результаты обучения

Планируемые результаты обучения

  • Освоил методы построения алгоритмов для различных математических задач
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Конечные автоматы
  • Регулярные выражения
  • Контекстно –свободные грамматики
  • Автоматы с магазинной памятью
  • Машины Тьюринга
  • Разрешимость и перечислимость
  • Неразрешимые задачи
  • Сводимость
  • Временная сложность, класс P
  • Класс NP
  • Пространственная сложность, класс PSPACE
  • Классы L и NL
Элементы контроля

Элементы контроля

  • неблокирующий Участие студента в решении и разборе задач на семинарах
  • неблокирующий Письменный экзамен
    Включает в себя теоретический вопрос и три задачи, по одной из каждого раздела курса. Время написания — 2 часа.
Промежуточная аттестация

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

  • Промежуточная аттестация (2 модуль)
    0.7 * Письменный экзамен + 0.3 * Участие студента в решении и разборе задач на семинарах
Список литературы

Список литературы

Рекомендуемая основная литература

  • Кудрявцев В. Б., Алешин С. В., Подколзин А. С. - ТЕОРИЯ АВТОМАТОВ 2-е изд., испр. и доп. Учебник для бакалавриата и магистратуры - М.:Издательство Юрайт - 2019 - 320с. - ISBN: 978-5-534-00117-4 - Текст электронный // ЭБС ЮРАЙТ - URL: https://urait.ru/book/teoriya-avtomatov-444091

Рекомендуемая дополнительная литература

  • Пентус А.Е., Пентус М.Р. - Математическая теория формальных языков - Национальный Открытый Университет "ИНТУИТ" - 2016 - 218с. - ISBN: 5-9556-0062-0 - Текст электронный // ЭБС ЛАНЬ - URL: https://e.lanbook.com/book/100633