Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
(→Лекции) |
|||
Строка 215: | Строка 215: | ||
|[https://docviewer.yandex.com/view/22496587/?*=%2FBGzFDQutPbvbc4N0rBMbbAI%2BxV7InVybCI6InlhLWRpc2stcHVibGljOi8vQUxCMFBJci9nSnBmV1o3dGIrYUU0UlI5STZPUXJTSkRYYlFJMGVTYy9DVWplWFdFVjlvQzdLWVRBcm51UisrQ3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc4LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU5MDU3Mzc1NzY2MywieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №8] | |[https://docviewer.yandex.com/view/22496587/?*=%2FBGzFDQutPbvbc4N0rBMbbAI%2BxV7InVybCI6InlhLWRpc2stcHVibGljOi8vQUxCMFBJci9nSnBmV1o3dGIrYUU0UlI5STZPUXJTSkRYYlFJMGVTYy9DVWplWFdFVjlvQzdLWVRBcm51UisrQ3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc4LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU5MDU3Mzc1NzY2MywieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №8] | ||
+ | |||
+ | |||
+ | |- | ||
+ | |||
+ | |Мэтчинги | ||
+ | |||
+ | | | ||
+ | |||
+ | | | ||
+ | [https://us04web.zoom.us/j/76098318777?pwd=WThyLzV1OUh6MStXM2k4Rnhpb2plZz09 группа 181]; | ||
+ | |||
+ | [https://us04web.zoom.us/j/79510124978?pwd=WmVNVldlcmdOeUNCdnJJMHU4VTIyQT09 группа 182]; | ||
+ | |||
+ | [https://us04web.zoom.us/j/76454221430?pwd=TVJVek10d0Y2cXdUcWd0bXpvNDI0QT09 группа 183]; | ||
+ | |||
+ | [https://us04web.zoom.us/j/78667295248?pwd=ZkgzWEtwQWNWY1h6eitWSmtXWXRXZz09 группа 184] | ||
+ | |||
+ | | | ||
|} | |} |
Версия 00:09, 1 июня 2020
Дорогие второкурсники!
На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 2-го курса ОП Политологии в 2019/2020 учебном году.
- Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
- Семинары ведет: Сысоева Любовь Николаевна
- Ассистенты: Пылина Анна (annapylina@yandex.ru ; vk.com/p_linaa), Янчук Вероника (yanchuk.veronika@yandex.ru ; vk.com/vayanchuk)
Содержание
Материалы
Консультации
Ссылка для записи на консультацию
Онлайн-занятия
Пароль для занятий в zoom всегда будет 000 (три нуля).
Ссылка на команду MS Teams 181 группы
Ссылка на команду MS Teams 182 группы
Ссылка на команду MS Teams 183 группы
Ссылка на команду MS Teams 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; | ДЗ №1 |
Алгоритмы кластеризации | Семинар №2 | MS Teams | ДЗ №2 |
Формализация утверждений. Булевы функции. | Семинар №3 | группа 181; | ДЗ №3 |
Формализация утверждений. Утверждения с кванторами и отрицания к ним. | Семинар №4 | ДЗ №4 | |
Диаграммы Эйлера-Венна. | Семинар №5 | ДЗ №5 | |
Методы доказательств | Семинар №6 | ДЗ №6
| |
Мощности множеств | Семинар №7 | ДЗ №7 | |
Комбинаторика | Семинар №8 | ДЗ №8
| |
Мэтчинги |