• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Project Seminar "Theoretical Informatics"

2020/2021
Academic Year
RUS
Instruction in Russian
4
ECTS credits
Course type:
Compulsory course
When:
1 year, 1-4 module

Instructor


Milovanov, Alexey

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

Аннотация

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

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

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

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

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

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

  • Алгебраическая сложность
  • 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