Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 87: | Строка 87: | ||
|Формализация утверждений. Булевы функции. | |Формализация утверждений. Булевы функции. | ||
|[https://docviewer.yandex.com/view/22496587/?*=nn%2BP4dOr5orVPL8rJfA3t9mUHPJ7InVybCI6InlhLWRpc2stcHVibGljOi8vMFBqcTREcVF4NnZ4KzMrUHBmVjZoVExuWGdwa3NHNnRlUmN1Zng3NjdxOVE0NUEzb3VYc3BobnFTbkZ1d25jenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMy5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODczOTEzMzczNjAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №3] | |[https://docviewer.yandex.com/view/22496587/?*=nn%2BP4dOr5orVPL8rJfA3t9mUHPJ7InVybCI6InlhLWRpc2stcHVibGljOi8vMFBqcTREcVF4NnZ4KzMrUHBmVjZoVExuWGdwa3NHNnRlUmN1Zng3NjdxOVE0NUEzb3VYc3BobnFTbkZ1d25jenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMy5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODczOTEzMzczNjAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №3] | ||
| − | | | + | |[https://us04web.zoom.us/j/73335565269?pwd=d2FhYTNURytYQTBtUmY3N08zMkVodz09 группа 181]; |
| + | |||
| + | [https://us04web.zoom.us/j/73470156626?pwd=bnRmODlWUTF0azhMQXVZaUZjY3F4QT09 группа 183]; | ||
| + | |||
| + | [https://us04web.zoom.us/j/71630460224?pwd=S3QxS2xoODN0dTJHeDJNQW90QXRYQT09 группа 184]; | ||
| + | |||
|} | |} | ||
Версия 21:57, 20 апреля 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 | Формализация утверждений. Булевы функции. | Видео лекции | Презентация |
Семинары и домашние задания
Выполненные домашние задания в формате .pdf присылать на почту pmd2020@yandex.ru
| тема семинара | задания на семинар | ссылка на семинар | домашнее задание |
|---|---|---|---|
| Различные метрики и их применения | Семинар №1 | группа 184; | ДЗ №1 |
| Алгоритмы кластеризации | Семинар №2 | ДЗ №2 | |
| Формализация утверждений. Булевы функции. | Семинар №3 | группа 181; |
