Принципы математического доказательства (2 курс): различия между версиями

Материал из MathINFO
Перейти к навигации Перейти к поиску
 
(не показано 37 промежуточных версий этого же участника)
Строка 36: Строка 36:
 
!дополнительные материалы
 
!дополнительные материалы
 
|-
 
|-
|
+
|5.04.2021
 
|Различные метрики и их применения
 
|Различные метрики и их применения
|
+
|[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)]
 
|-
 
|-
|
 
|Мэтчинги.
 
|
 
|
 
 
|}
 
|}
  
 
=== Семинары и домашние задания ===
 
=== Семинары и домашние задания ===
Выполненные домашние задания в формате '''.pdf''' присылать на почту '''pmd-2021@yandex.ru'''
 
  
 
{|class='wikitable'
 
{|class='wikitable'
Строка 92: Строка 89:
 
|-
 
|-
 
|Различные метрики и их применения
 
|Различные метрики и их применения
 +
|[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 учебном году.

Материалы

Консультации

Запись на консультации

Онлайн-занятия

Ведомости

Онлайн

191 группа

192 группа

193 группа

194 группа

195 группа

Лекции

дата лекции тема лекции ссылка на трансляцию/запись дополнительные материалы
5.04.2021 Различные метрики и их применения Лекция 1 Информация о курсе

Презентация (2020)

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) Доделать задачи с семинара