Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
(→Лекции) |
|||
Строка 36: | Строка 36: | ||
!дополнительные материалы | !дополнительные материалы | ||
|- | |- | ||
− | | | + | |5.04.2021 |
|Различные метрики и их применения | |Различные метрики и их применения | ||
|[https://disk.yandex.ru/d/MXIIXbMZxhLlAA?w=1 Лекция 1] | |[https://disk.yandex.ru/d/MXIIXbMZxhLlAA?w=1 Лекция 1] | ||
Строка 43: | Строка 43: | ||
[https://docviewer.yandex.ru/view/22496587/?*=krK%2F6ZYK%2BL88%2FrJ3pvFnqtEaxol7InVybCI6InlhLWRpc2stcHVibGljOi8vRjRHclJtREVPU2hUWmxNSWZmWTFqcklCWFpCd3cvRU5JV2NwNzg2Y1p1b2d4ZEsvTXc4YmFBOWgyREJOOXlhQXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYxMTQ4MjI3ODMsInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 Презентация (2020)] | [https://docviewer.yandex.ru/view/22496587/?*=krK%2F6ZYK%2BL88%2FrJ3pvFnqtEaxol7InVybCI6InlhLWRpc2stcHVibGljOi8vRjRHclJtREVPU2hUWmxNSWZmWTFqcklCWFpCd3cvRU5JV2NwNzg2Y1p1b2d4ZEsvTXc4YmFBOWgyREJOOXlhQXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYxMTQ4MjI3ODMsInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 Презентация (2020)] | ||
|- | |- | ||
− | | | + | |12.04.2021 |
|Алгоритмы кластеризации | |Алгоритмы кластеризации | ||
|[https://disk.yandex.ru/d/_04DCSjTST34JA?w=1 Лекция 2] | |[https://disk.yandex.ru/d/_04DCSjTST34JA?w=1 Лекция 2] | ||
|[https://docviewer.yandex.ru/view/0/?*=Pfhr1wQj9HnIalMF7NbdBym8ib97InVybCI6InlhLWRpc2stcHVibGljOi8vV1VFbk5weVNLZ0NwczN0NVFMTWVicGpnUFp5REwvNlV1OHYwdjl5aUk5ekh0ZnAwM1RTMENuZzBBRkVNTmpWZnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc2NzcyNTA2MCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Презентация (2020)] | |[https://docviewer.yandex.ru/view/0/?*=Pfhr1wQj9HnIalMF7NbdBym8ib97InVybCI6InlhLWRpc2stcHVibGljOi8vV1VFbk5weVNLZ0NwczN0NVFMTWVicGpnUFp5REwvNlV1OHYwdjl5aUk5ekh0ZnAwM1RTMENuZzBBRkVNTmpWZnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc2NzcyNTA2MCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Презентация (2020)] | ||
|- | |- | ||
− | | | + | |19.04.2021 |
|Формализация утверждений. Булевы функции. | |Формализация утверждений. Булевы функции. | ||
|[https://disk.yandex.ru/d/VMkWwXb9Zxy3hw?w=1 Лекция 3] | |[https://disk.yandex.ru/d/VMkWwXb9Zxy3hw?w=1 Лекция 3] | ||
|[https://docviewer.yandex.ru/view/1403283598/?*=eVC6KDCg1x220T1nKESUpwfqVvZ7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC8zLiDQkdGD0LvQtdCy0Ysg0YTRg9C90LrRhtC40LgvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MTkwOTUxNTUxMDQsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] | |[https://docviewer.yandex.ru/view/1403283598/?*=eVC6KDCg1x220T1nKESUpwfqVvZ7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC8zLiDQkdGD0LvQtdCy0Ysg0YTRg9C90LrRhtC40LgvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MTkwOTUxNTUxMDQsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] | ||
|- | |- | ||
− | | | + | |26.04.2021 |
|Утверждения с кванторами и отрицания к ним. | |Утверждения с кванторами и отрицания к ним. | ||
− | | | + | |[https://disk.yandex.ru/d/RQ38sMP8EM4FWA?w=1 Лекция 4] |
| | | | ||
|- | |- |
Версия 10:51, 28 апреля 2021
Дорогие второкурсники!
На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 2-го курса ОП Политологии в 2020/2021 учебном году.
- Лекции читает: Кочергин Вадим Васильевич (vvkoch@yandex.ru), Михайлович Анна Витальевна (avmikhailovich@gmail.com)
- Семинары ведет: Кочергин Вадим Васильевич, Михайлович Анна Витальевна
- Ассистенты: Лавренкина Юлия (https://vk.com/julia_lavrenkina, https://t.me/loverain18), Сухорукова Алина (https://t.me/mi_mi_linka, https://vk.com/mi_mi_linka).
Содержание
Материалы
Консультации
Онлайн-занятия
Ведомости
Лекции
дата лекции | тема лекции | ссылка на трансляцию/запись | дополнительные материалы |
---|---|---|---|
5.04.2021 | Различные метрики и их применения | Лекция 1 | Информация о курсе |
12.04.2021 | Алгоритмы кластеризации | Лекция 2 | Презентация (2020) |
19.04.2021 | Формализация утверждений. Булевы функции. | Лекция 3 | Презентация (2020) |
26.04.2021 | Утверждения с кванторами и отрицания к ним. | Лекция 4 | |
Диаграммы Эйлера-Венна. | |||
Методы доказательств. | |||
Мощности множеств. | |||
Комбинаторика. | |||
Мэтчинги. |
Семинары и домашние задания
тема семинара | задания на семинар | ссылка на семинар | домашнее задание |
---|---|---|---|
Различные метрики и их применения | Задачи к семинару 9.04 (10.04) | Домашнее задание 1 | |
Алгоритмы кластеризации | Задачи к семинару 16.04 (17.04) | Домашнее задание 2
Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | |
Формализация утверждений. Булевы функции | Задачи к семинару 23.04 (24.04) | Домашнее задание 3
|