Научно-исследовательский семинар "Теоретическая информатика"

Магистратура 2022/2023

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

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

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

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

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

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

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

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

Охват аудитории: для своего кампуса

Преподаватели: Вялый Михаил Николаевич, Милованов Алексей Сергеевич

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

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

Кредиты: 8

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

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

Аннотация

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

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

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

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

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

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

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

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

Домашнее задание.
Устный экзамен
"Экзамен проводится в устной форме (опрос по материалам курса). Экзамен проводится на платформе Zoom (https://zoom.us/). К экзамену необходимо подключиться ко времени начала экзамена. Компьютер студента должен удовлетворять требованиям: наличие рабочей камеры и микрофона, поддержка Zoom. Для участия в экзамене студент должен: явиться на экзамен, при ответе включить камеру и микрофон. Во время экзамена студентам запрещено пользоваться подсказками. Кратковременным нарушением связи во время экзамена считается нарушение связи менее 5 минут. Долговременным нарушением связи во время экзамена считается нарушение больше 5 минут. При долговременном нарушении связи студент не может продолжить участие в экзамене."
Домашнее задание 2

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

2021/2022 учебный год 4 модуль
0.15 * Домашнее задание 2 + 0.7 * Устный экзамен + 0.15 * Домашнее задание.
2022/2023 учебный год 2 модуль

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

Авторы

Вялый Михаил Николаевич

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