• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Магистратура 2020/2021

Проектный семинар "Теоретическая информатика"

Статус: Курс обязательный (Науки о данных)
Направление: 01.04.02. Прикладная математика и информатика
Когда читается: 1-й курс, 1-4 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для своего кампуса
Прогр. обучения: Науки о данных
Язык: русский
Кредиты: 4

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

Аннотация

Целью семинара "Теоретическая информатика" является изучение дискретной математики и информатики. В ходе семинара участники разбираются в современных статьях по указанным темам. Возможными темами для докладов может быть модальная логика, графы-экспандеры, задача о равенстве нулю многочлена, параметрическая сложность задачи о выполнимости булевой формулы.
Цель освоения дисциплины

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

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

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

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

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

  • Алгебраическая сложность
  • Cложность вычислений
  • Коммуникационная сложность
  • Сложность булевых схем
Элементы контроля

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

  • неблокирующий Экзамен
    Вес оценки 0,4. Экзамен проводится в устной форме (опрос по материалам курса). Экзамен проводится на платформе Google meet (https://meet.google.com/). К экзамену необходимо подключиться согласно расписанию ответов, высланному преподавателем на корпоративные почты студентов накануне экзамена. Компьютер студента должен удовлетворять требованиям: наличие рабочей камеры и микрофона. Для участия в экзамене студент обязан: явиться на экзамен согласно точному расписанию, при ответе включить камеру и микрофон. Во время экзамена студентам запрещено: выключать камеру, пользоваться подсказками. Кратковременным нарушением связи во время экзамена считается нарушение связи менее десяти минуты. Долговременным нарушением связи во время экзамена считается нарушение десять минут и более. При долговременном нарушении связи студент не может продолжить участие в экзамене. Процедура пересдачи подразумевает использование усложненных заданий.
  • неблокирующий Работа на семинарах
    Вес оценки: 0,6
Промежуточная аттестация

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

  • Промежуточная аттестация (4 модуль)
    0.6 * Работа на семинарах + 0.4 * Экзамен
Список литературы

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

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

  • Arora, S., & Barak, B. (2009). Computational Complexity : A Modern Approach. Cambridge: Cambridge eText. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=304712

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

  • Du, D., & Ko, K.-I. (2014). Theory of Computational Complexity (Vol. Second edition). Hoboken, New Jersey: Wiley. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=784130