Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
(→Лекции) |
|||
| Строка 50: | Строка 50: | ||
| | | | ||
|Формализация утверждений. Булевы функции. | |Формализация утверждений. Булевы функции. | ||
| − | | | + | |[https://disk.yandex.ru/d/VMkWwXb9Zxy3hw?w=1 Лекция 3] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?*=eVC6KDCg1x220T1nKESUpwfqVvZ7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC8zLiDQkdGD0LvQtdCy0Ysg0YTRg9C90LrRhtC40LgvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MTkwOTUxNTUxMDQsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] |
|- | |- | ||
| | | | ||
Версия 15:39, 22 апреля 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).
Содержание
Материалы
Консультации
Онлайн-занятия
Ведомости
Лекции
| дата лекции | тема лекции | ссылка на трансляцию/запись | дополнительные материалы |
|---|---|---|---|
| Различные метрики и их применения | Лекция 1 | Информация о курсе | |
| Алгоритмы кластеризации | Лекция 2 | Презентация (2020) | |
| Формализация утверждений. Булевы функции. | Лекция 3 | Презентация (2020) | |
| Утверждения с кванторами и отрицания к ним. | |||
| Диаграммы Эйлера-Венна. | |||
| Методы доказательств. | |||
| Мощности множеств. | |||
| Комбинаторика. | |||
| Мэтчинги. |
Семинары и домашние задания
| тема семинара | задания на семинар | ссылка на семинар | домашнее задание |
|---|---|---|---|
| Различные метрики и их применения | Задачи к семинару 9.04 (10.04) | Домашнее задание 1 | |
| Алгоритмы кластеризации | Задачи к семинару 16.04 (17.04) | Домашнее задание 2
Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | |
| Формализация утверждений. Булевы функции | Задачи к семинару 23.04 (24.04) |
|
