Принципы математического доказательства (2 курс): различия между версиями
Перейти к навигации
Перейти к поиску
(→Лекции) |
|||
| (не показано 35 промежуточных версий этого же участника) | |||
| Строка 36: | Строка 36: | ||
!дополнительные материалы | !дополнительные материалы | ||
|- | |- | ||
| − | | | + | |5.04.2021 |
|Различные метрики и их применения | |Различные метрики и их применения | ||
|[https://disk.yandex.ru/d/MXIIXbMZxhLlAA?w=1 Лекция 1] | |[https://disk.yandex.ru/d/MXIIXbMZxhLlAA?w=1 Лекция 1] | ||
| − | | | + | |[https://docviewer.yandex.ru/view/0/?*=RRd%2B7ZK7NBp90B%2Fjqbwn8SdznHV7InVybCI6InlhLWRpc2stcHVibGljOi8va3Q3T0ZvaHZnY0VZUDdKR0R1OWtiRmg4Wm85VytNWUM5NVIvRzVOU3dWc1hqVkM3ZU81d2xUNmFVanlQNmY4dXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoicG1kX2luZm8ucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIwIiwidHMiOjE2MTc4OTM0NDkzNjUsInl1IjoiNDE0ODg5MjYzMTYxNjk0MTUxMCJ9 Информация о курсе] |
| + | |||
| + | [https://docviewer.yandex.ru/view/22496587/?*=krK%2F6ZYK%2BL88%2FrJ3pvFnqtEaxol7InVybCI6InlhLWRpc2stcHVibGljOi8vRjRHclJtREVPU2hUWmxNSWZmWTFqcklCWFpCd3cvRU5JV2NwNzg2Y1p1b2d4ZEsvTXc4YmFBOWgyREJOOXlhQXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYxMTQ4MjI3ODMsInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 Презентация (2020)] | ||
|- | |- | ||
| − | | | + | |12.04.2021 |
|Алгоритмы кластеризации | |Алгоритмы кластеризации | ||
| − | | | + | |[https://disk.yandex.ru/d/_04DCSjTST34JA?w=1 Лекция 2] |
| − | | | + | |[https://docviewer.yandex.ru/view/0/?*=Pfhr1wQj9HnIalMF7NbdBym8ib97InVybCI6InlhLWRpc2stcHVibGljOi8vV1VFbk5weVNLZ0NwczN0NVFMTWVicGpnUFp5REwvNlV1OHYwdjl5aUk5ekh0ZnAwM1RTMENuZzBBRkVNTmpWZnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc2NzcyNTA2MCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Презентация (2020)] |
|- | |- | ||
| − | | | + | |19.04.2021 |
|Формализация утверждений. Булевы функции. | |Формализация утверждений. Булевы функции. | ||
| − | | | + | |[https://disk.yandex.ru/d/VMkWwXb9Zxy3hw?w=1 Лекция 3] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?*=eVC6KDCg1x220T1nKESUpwfqVvZ7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC8zLiDQkdGD0LvQtdCy0Ysg0YTRg9C90LrRhtC40LgvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MTkwOTUxNTUxMDQsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] |
|- | |- | ||
| − | | | + | |26.04.2021 |
|Утверждения с кванторами и отрицания к ним. | |Утверждения с кванторами и отрицания к ним. | ||
| − | | | + | |[https://disk.yandex.ru/d/RQ38sMP8EM4FWA?w=1 Лекции 4, 5] |
| | | | ||
|- | |- | ||
| − | | | + | |17.05.2021 |
|Диаграммы Эйлера-Венна. | |Диаграммы Эйлера-Венна. | ||
| − | | | + | |[https://disk.yandex.ru/d/djmqM-b0O8PDPw Лекция 6] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?page=6&*=F2KssNvdb47rHjHp6ARDhkbsv997InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC81LiDQmtGA0YPQs9C4INCt0LnQu9C10YDQsC9QcmVzZW50LnBkZiIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjE0MDMyODM1OTgiLCJ0cyI6MTYyMTgzODUyMjQxMCwieXUiOiI0MzMwMzEzMzYxNDg0Nzc3NjA5In0%3D Презентация (2020)] |
|- | |- | ||
| − | | | + | |24.05.2021 |
|Методы доказательств. | |Методы доказательств. | ||
| − | | | + | |[https://disk.yandex.ru/d/_mMNZxyiG3JLPg Лекция 7] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?*=Wi4RadO%2FNtkVgZMBTle3brESqEt7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC82LiDQnNC10YLQvtC00Ysg0LTQvtC60LDQt9Cw0YLQtdC70YzRgdGC0LIvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MjIxMDcwMDY1NzYsInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] |
|- | |- | ||
| − | | | + | |31.05.2021 |
| − | |Мощности множеств. | + | |Мощности множеств. Метод математической индукции |
| − | | | + | |[https://disk.yandex.ru/d/jmNYRP3JXOxprA Лекция 8] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?*=5OuULQ19rojl878%2FtMDvpeifNSd7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC83LiDQnNC%2B0YnQvdC%2B0YHRgtC4INC80L3QvtC20LXRgdGC0LIvUHJlc2VudC5wZGYiLCJ0aXRsZSI6IlByZXNlbnQucGRmIiwibm9pZnJhbWUiOmZhbHNlLCJ1aWQiOiIxNDAzMjgzNTk4IiwidHMiOjE2MjI2MzcxOTkyOTksInl1IjoiNDMzMDMxMzM2MTQ4NDc3NzYwOSJ9 Презентация (2020)] |
|- | |- | ||
| − | | | + | |07.06.2021 |
| − | |Комбинаторика. | + | |Примеры доказательств методом математической индукции. Комбинаторика. |
| − | | | + | |[https://disk.yandex.ru/d/qjsWmgzF0Cr2iw Лекция 9, 10] |
| − | | | + | |[https://docviewer.yandex.ru/view/1403283598/?*=4Y8SvIe%2FrBYB%2BI4SEQKcVVtLRaB7InVybCI6InlhLWRpc2stcHVibGljOi8vbUtMbWxvTEk2ZVFGWFc0Wlg1M1pRNU1aVVo4eXhOM2FJSlpoU0N2WE5VTHZvSlkwWEE1b1BaZ1pKSnlML2tMYnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PTov0J%2FRgNC10LfQtdC90YLQsNGG0LjQuC84LiDQmtC%2B0LzQsdC40L3QsNGC0L7RgNC40LrQsC9QcmVzZW50LnBkZiIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjE0MDMyODM1OTgiLCJ0cyI6MTYyMzI3NDE4ODEyMiwieXUiOiI0MzMwMzEzMzYxNDg0Nzc3NjA5In0%3D Презентация (2020)] |
|- | |- | ||
| − | |||
| − | |||
| − | |||
| − | |||
|} | |} | ||
=== Семинары и домашние задания === | === Семинары и домашние задания === | ||
| − | |||
{|class='wikitable' | {|class='wikitable' | ||
| Строка 94: | Строка 91: | ||
|[http://math-hse.info/a/2020-21/pmd/seminars/sem1.pdf Задачи к семинару 9.04 (10.04)] | |[http://math-hse.info/a/2020-21/pmd/seminars/sem1.pdf Задачи к семинару 9.04 (10.04)] | ||
| | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw_1.pdf Домашнее задание 1] | ||
| + | |- | ||
| + | |Алгоритмы кластеризации | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem2.pdf Задачи к семинару 16.04 (17.04)] | ||
| + | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw_2.pdf Домашнее задание 2] | ||
| + | |||
| + | Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 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/hw/hw3.pdf Домашнее задание 3] | ||
| + | |||
| + | |- | ||
| + | |Утверждения с кванторами и отрицания к ним | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem4.pdf Задачи к семинару 30.04] | ||
| + | |||
| + | [http://math-hse.info/a/2020-21/pmd/hw/hw_4.pdf Разбор письменного домашнего задания на семинаре 14.05(15.05)] | ||
| + | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw_4.pdf Письменное домашнее задание 4] | ||
| + | |||
| + | Задание сдаётся в письменном виде. Срок сдачи - 9:00:00 14 мая 2021 года | ||
| + | |- | ||
| + | |Диаграммы Эйлера-Венна | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem5.pdf Задачи к семинару 21.05 (22.05)] | ||
| + | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw5.pdf Домашнее задание 5] | ||
| + | |||
| + | |- | ||
| + | |Методы доказательств | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem6.pdf Задачи к семинару 28.05 (29.05)] | ||
| + | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw6.pdf Домашнее задание 6] | ||
| + | |||
| + | |- | ||
| + | |Метод математической индукции. Мощность множеств. | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem7.pdf Задачи к семинару 04.06 (05.06)] | ||
| + | | | ||
| + | |[http://math-hse.info/a/2020-21/pmd/hw/hw7.pdf Домашнее задание 7] | ||
| + | |- | ||
| + | |Комбинаторика | ||
| + | |[http://math-hse.info/a/2020-21/pmd/seminars/sem8.pdf Задачи к семинару 11.06 (12.06)] | ||
| | | | ||
| + | |Доделать [http://math-hse.info/a/2020-21/pmd/seminars/sem8.pdf задачи с семинара] | ||
|} | |} | ||
Текущая версия на 17:11, 16 июня 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, 5 | |
| 17.05.2021 | Диаграммы Эйлера-Венна. | Лекция 6 | Презентация (2020) |
| 24.05.2021 | Методы доказательств. | Лекция 7 | Презентация (2020) |
| 31.05.2021 | Мощности множеств. Метод математической индукции | Лекция 8 | Презентация (2020) |
| 07.06.2021 | Примеры доказательств методом математической индукции. Комбинаторика. | Лекция 9, 10 | Презентация (2020) |
Семинары и домашние задания
| тема семинара | задания на семинар | ссылка на семинар | домашнее задание |
|---|---|---|---|
| Различные метрики и их применения | Задачи к семинару 9.04 (10.04) | Домашнее задание 1 | |
| Алгоритмы кластеризации | Задачи к семинару 16.04 (17.04) | Домашнее задание 2
Для студентов, обучающихся дистанционно, задание сдаётся в письменном виде (срок сдачи - 9:00:00 23 апреля 2021 года). | |
| Формализация утверждений. Булевы функции | Задачи к семинару 23.04 (24.04) | Домашнее задание 3 | |
| Утверждения с кванторами и отрицания к ним | Задачи к семинару 30.04
Разбор письменного домашнего задания на семинаре 14.05(15.05) |
Письменное домашнее задание 4
Задание сдаётся в письменном виде. Срок сдачи - 9:00:00 14 мая 2021 года | |
| Диаграммы Эйлера-Венна | Задачи к семинару 21.05 (22.05) | Домашнее задание 5 | |
| Методы доказательств | Задачи к семинару 28.05 (29.05) | Домашнее задание 6 | |
| Метод математической индукции. Мощность множеств. | Задачи к семинару 04.06 (05.06) | Домашнее задание 7 | |
| Комбинаторика | Задачи к семинару 11.06 (12.06) | Доделать задачи с семинара
|
