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

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

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

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

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

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

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

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

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

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

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

Кредиты: 8

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

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

Аннотация

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

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

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

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

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

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

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

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

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

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

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

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