Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 104: | Строка 104: | ||
Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | ||
|- | |- | ||
| − | |Булевы функции | + | |Формализация утверждений. Булевы функции |
|[http://math-hse.info/a/2020-21/pmd/seminars/sem3.pdf Задачи к семинару 23.04 (24.04)] | |[http://math-hse.info/a/2020-21/pmd/seminars/sem3.pdf Задачи к семинару 23.04 (24.04)] | ||
| | | | ||
Версия 14:08, 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) | |
| Формализация утверждений. Булевы функции. | |||
| Утверждения с кванторами и отрицания к ним. | |||
| Диаграммы Эйлера-Венна. | |||
| Методы доказательств. | |||
| Мощности множеств. | |||
| Комбинаторика. | |||
| Мэтчинги. |
Семинары и домашние задания
| тема семинара | задания на семинар | ссылка на семинар | домашнее задание |
|---|---|---|---|
| Различные метрики и их применения | Задачи к семинару 9.04 (10.04) | Домашнее задание 1 | |
| Алгоритмы кластеризации | Задачи к семинару 16.04 (17.04) | Домашнее задание 2
Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | |
| Формализация утверждений. Булевы функции | Задачи к семинару 23.04 (24.04) |
|
