Принципы математического доказательства (2 курс)
Перейти к навигации
Перейти к поиску
Дорогие второкурсники!
На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 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
| |
| Мэтчинги | Семинар №9 | ||
| Повторение | 182 Семинар №10 | Запись 10 семинара 182 Полное решение 3 задачи 30-44 минуты
| |
| Переписывание тестов | https://us04web.zoom.us/j/72588216058?pwd=SmxmQ2lTTkZLZUFNZEEyRkVzY2JyQT09
|
