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

Материал из MathINFO
Перейти к навигации Перейти к поиску
Строка 251: Строка 251:
 
[https://us04web.zoom.us/j/78670014344?pwd=cUgwdXBQOE14TW8rOGJkRDNIRk5VZz09 группа 184]
 
[https://us04web.zoom.us/j/78670014344?pwd=cUgwdXBQOE14TW8rOGJkRDNIRk5VZz09 группа 184]
  
|[Запись 10 семинара 182 https://yadi.sk/i/1WT0bvuAnggmGg] Полное решение 3 задачи 30-44 минуты
+
|[https://yadi.sk/i/1WT0bvuAnggmGg Запись 10 семинара 182] Полное решение 3 задачи 30-44 минуты
  
[Запись 10 семинара 184 https://yadi.sk/i/Pq-QHFWWhN2nIQ]
+
[https://yadi.sk/i/Pq-QHFWWhN2nIQ Запись 10 семинара 184]
  
 
|}
 
|}

Версия 16:00, 6 июня 2020

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

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 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

Запись 10 семинара 182 Полное решение 3 задачи 30-44 минуты

Запись 10 семинара 184