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

Магистратура 2020/2021

Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»

Лучший по критерию «Новизна полученных знаний»

Статус: Курс обязательный (Науки о данных)

Направление: 01.04.02. Прикладная математика и информатика

Кто читает: Департамент больших данных и информационного поиска

Где читается: Факультет компьютерных наук

Когда читается: 1-й курс, 1-4 модуль

Формат изучения: без онлайн-курса

Преподаватели: Милованов Алексей Сергеевич

Прогр. обучения: Науки о данных

Язык: русский

Кредиты: 4

Контактные часы: 40

Полная версия программы учебной дисциплины

Аннотация

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

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

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

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

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

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

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

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

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

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

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

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