Принципы математического доказательства (2 курс)

Материал из MathINFO
Перейти к навигации Перейти к поиску

Дорогие второкурсники!

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 2-го курса ОП Политологии в 2019/2020 учебном году.

  • Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
  • Семинары ведет: Сысоева Любовь Николаевна
  • Ассистенты: Пылина Анна (annapylina@yandex.ru ; vk.com/p_linaa), Янчук Вероника (yanchuk.veronika@yandex.ru ; vk.com/vayanchuk)

Материалы

Консультации

Ссылка для записи на консультацию

Онлайн-занятия

Голосование Zoom VS MS Teams

Пароль для занятий в zoom всегда будет 000 (три нуля).

Ссылка на команду MS Teams 181 группы

Ссылка на команду MS Teams 182 группы

Ссылка на команду MS Teams 183 группы

Ссылка на команду MS Teams 184 группы

Ведомости

группа 181

группа 182

группа 183

группа 184

Лекции

дата лекции тема лекции ссылка на трансляцию/запись дополнительные материалы
6.04 Различные метрики и их применения https://zoom.us/j/189635294 Презентация
13.04 Алгоритмы кластеризации Видео лекции Презентация
20.04 Формализация утверждений. Булевы функции. Видео лекции Презентация
24.04 Утверждения с кванторами и отрицания к ним. Видео лекции Презентация
08.05 Диаграммы Эйлера-Венна. Видео лекции Презентация
12.05 Методы доказательств. Видео лекции Презентация
18.05 Мощности множеств. Видео лекции Презентация

Бесконечная гостиница

15.05 Комбинаторика. Видео лекции Презентация
01.06 Мэтчинги. Видео лекции Задача о стабильных Мэтчингах. Coursera.

Презентация

Семинары и домашние задания

Выполненные домашние задания в формате .pdf присылать на почту pmd2020@yandex.ru

тема семинара задания на семинар ссылка на семинар домашнее задание
Различные метрики и их применения Семинар №1 группа 184;

группа 183;

группа 181;

группа 182

ДЗ №1
Алгоритмы кластеризации Семинар №2 MS Teams ДЗ №2
Формализация утверждений. Булевы функции. Семинар №3 группа 181;

группа 182;

группа 183;

группа 184;

ДЗ №3
Формализация утверждений. Утверждения с кванторами и отрицания к ним. Семинар №4

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №4
Диаграммы Эйлера-Венна. Семинар №5

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №5
Методы доказательств Семинар №6

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №6


Мощности множеств Семинар №7

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №7
Комбинаторика Семинар №8

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №8


Мэтчинги Семинар №9

группа 181;

группа 182;

группа 183;

группа 184

Повторение 182 Семинар №10

184 Семинар №10

группа 181;

группа 182;

группа 183;

группа 184