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

Материал из MathINFO
Перейти к навигации Перейти к поиску
 
(не показано 20 промежуточных версий этого же участника)
Строка 72: Строка 72:
 
|[https://yadi.sk/d/rS32IvOu0syciQ Видео лекции]
 
|[https://yadi.sk/d/rS32IvOu0syciQ Видео лекции]
 
|[https://docviewer.yandex.com/view/22496587/?page=2&*=jQdLQi4%2FzuEgAwsGDP97dODogJV7InVybCI6InlhLWRpc2stcHVibGljOi8vYmJiTUErZStWSTBhblp2bTdLUGZVNG4xM283MjJpWmJOa1U4dW1MR3hDQW5JN3BOQW9WTGZMbzY2K1I4QkVDSXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODkxODU3NDc1MTAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|[https://docviewer.yandex.com/view/22496587/?page=2&*=jQdLQi4%2FzuEgAwsGDP97dODogJV7InVybCI6InlhLWRpc2stcHVibGljOi8vYmJiTUErZStWSTBhblp2bTdLUGZVNG4xM283MjJpWmJOa1U4dW1MR3hDQW5JN3BOQW9WTGZMbzY2K1I4QkVDSXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODkxODU3NDc1MTAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
|12.05
+
|-
|Методы доказательств.
+
|18.05
|[ Видео лекции]
+
|Мощности множеств.
 +
|[https://yadi.sk/i/4z5jM99PpSkN-g Видео лекции]
 
|[https://docviewer.yandex.com/view/22496587/?*=WWM7%2F9mTB2nhqWPCUDwjeF3mtFV7InVybCI6InlhLWRpc2stcHVibGljOi8veUMrd1YwVzFka1hqUXJ4bXNYWFROdHM2ejJRdW1UdUFMUk5BQkJnQ2RxV1NNSmtUNWp3UmhWWnZ1WmMwTXFsNHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODk3NDg2MjU1ODEsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|[https://docviewer.yandex.com/view/22496587/?*=WWM7%2F9mTB2nhqWPCUDwjeF3mtFV7InVybCI6InlhLWRpc2stcHVibGljOi8veUMrd1YwVzFka1hqUXJ4bXNYWFROdHM2ejJRdW1UdUFMUk5BQkJnQ2RxV1NNSmtUNWp3UmhWWnZ1WmMwTXFsNHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODk3NDg2MjU1ODEsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
  
 
[https://yandex.ru/video/preview/?filmId=4597755663484629632&url=http%3A%2F%2Fvk.com%2Fvideo10916182_171180513&text=%D0%91%D0%B5%D1%81%D0%BA%D0%BE%D0%BD%D0%B5%D1%87%D0%BD%D0%B0%D1%8F%20%D0%B3%D0%BE%D1%81%D1%82%D0%B8%D0%BD%D0%B8%D1%86%D0%B0&path=sharelink Бесконечная гостиница]
 
[https://yandex.ru/video/preview/?filmId=4597755663484629632&url=http%3A%2F%2Fvk.com%2Fvideo10916182_171180513&text=%D0%91%D0%B5%D1%81%D0%BA%D0%BE%D0%BD%D0%B5%D1%87%D0%BD%D0%B0%D1%8F%20%D0%B3%D0%BE%D1%81%D1%82%D0%B8%D0%BD%D0%B8%D1%86%D0%B0&path=sharelink Бесконечная гостиница]
 +
 +
|-
 +
|15.05
 +
|Комбинаторика.
 +
|[https://yadi.sk/i/R2-BEW_a7q6jvA Видео лекции]
 +
|[https://docviewer.yandex.com/view/22496587/?*=SUQPsGkBvmXejHNcEPMahe5kjpZ7InVybCI6InlhLWRpc2stcHVibGljOi8vZ1BERmk0MER3WjhXY0U4YWtqa3ZYcEhwbklOblhwTStPRFF1N292RWNLcXJ5U2pvSS9jV3BPV3pkcFJEbksvOHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1OTAyMzA5MDgzOTIsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 +
 +
|-
 +
|01.06
 +
|Мэтчинги.
 +
|[https://yadi.sk/i/coqikl5yAZVeow Видео лекции]
 +
|[https://www.coursera.org/learn/game-theory/home/week/9 Задача о стабильных Мэтчингах. Coursera.]
 +
 +
[https://yadi.sk/i/6pI59tlXWY23dQ Презентация]
 +
 
|}
 
|}
  
Строка 164: Строка 180:
  
 
|[https://docviewer.yandex.com/view/22496587/?*=kME56qiXrjWvGgyR3Lw8T5y0tIh7InVybCI6InlhLWRpc2stcHVibGljOi8vV21IQXRlbjJKTTBlTEJvckxabHhvRDZreWd5YWlRSFpGRnNoYUZqRXFmNWpISkRnRGhucjYvR3Urd2R1YnhlRHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc2LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4OTM2NjYxNzAxOCwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №6]
 
|[https://docviewer.yandex.com/view/22496587/?*=kME56qiXrjWvGgyR3Lw8T5y0tIh7InVybCI6InlhLWRpc2stcHVibGljOi8vV21IQXRlbjJKTTBlTEJvckxabHhvRDZreWd5YWlRSFpGRnNoYUZqRXFmNWpISkRnRGhucjYvR3Urd2R1YnhlRHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc2LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4OTM2NjYxNzAxOCwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №6]
 +
 +
 +
|-
 +
 +
|Мощности множеств
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=EOZ2FENGPrxXFPhCOR6tf96jH6t7InVybCI6InlhLWRpc2stcHVibGljOi8vOXVHcndOSDVvMzczQXRvNXZwMHplOVpVRHIyWG9BZldPTmJGQlk1Rzc0SWdMOFc3czNZcTdaMjJpcXZ4RS92RHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtNy5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODk3OTU3NzMzMTMsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №7]
 +
 +
|
 +
[https://us04web.zoom.us/j/71197537420?pwd=MUZFb3oyNU5KTzNjT0Fyd0lGR0N6dz09 группа 181];
 +
 +
[https://us04web.zoom.us/j/74718190387?pwd=UTgyc1h4Nit6TFkyamZrL3NXQ21Gdz09 группа 182];
 +
 +
[https://us04web.zoom.us/j/73529171712?pwd=L3pwb3FzM3hMRm04TzA0YXJnWU9Idz09 группа 183];
 +
 +
[https://us04web.zoom.us/j/79646702283?pwd=OVBHc1BTbmpNdDBmaElDNUhNbmkzZz09 группа 184]
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=OiuaHJ2lhNOMuXuCrsScvlDigk57InVybCI6InlhLWRpc2stcHVibGljOi8vaVFaUDlFNkkrTytFUUNzL0NPckxUN2NqSkZBT3hnT0lDRTJKV2FEdjRpSTZKYWhqMFB1WXZiRG8rSEhSc21wRHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc3LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4OTkxMjkxMTMwNCwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №7]
 +
 +
|-
 +
 +
|Комбинаторика
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=TYjsYHR%2BP3QeLvVOPJunBVkqEK97InVybCI6InlhLWRpc2stcHVibGljOi8vV20xeUthQmE3RExxY0VUNzVkMzZCdkxQZkEyYnhkVUNhOHEvbnAza2c2TVRaQWlidnI1RkEvSmFzL2Q5NDVzM3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtOC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1OTA0MTUxOTE1MDgsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №8]
 +
 +
|
 +
[https://us04web.zoom.us/j/76395405479?pwd=bEo1V2dRZEJ2MHlXd1NzamM5YTF3dz09 группа 181];
 +
 +
[https://us04web.zoom.us/j/79039792093?pwd=aHh3VW5DRGNBcDdLbEREK2pyaWlrZz09 группа 182];
 +
 +
[https://us04web.zoom.us/j/71182636104?pwd=VitTc1hVSjJSVXovWGJlRG9VQm5TZz09 группа 183];
 +
 +
[https://us04web.zoom.us/j/77087566221?pwd=dzJPNTZocTNZWWc0cHhtRTUrb04wZz09 группа 184]
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=%2FBGzFDQutPbvbc4N0rBMbbAI%2BxV7InVybCI6InlhLWRpc2stcHVibGljOi8vQUxCMFBJci9nSnBmV1o3dGIrYUU0UlI5STZPUXJTSkRYYlFJMGVTYy9DVWplWFdFVjlvQzdLWVRBcm51UisrQ3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc4LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU5MDU3Mzc1NzY2MywieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №8]
 +
 +
 +
|-
 +
 +
|Мэтчинги
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=gy3Ry9%2BfvgIfJ%2BZVVK90UM4FBEN7InVybCI6InlhLWRpc2stcHVibGljOi8va1lqemJZcjVZc1MvcXdpcU9rMlV0dkFXbXZRQUFhNndudVVDSG95RHhFeWVlYmJZTHR2cG90RFRTSStUSUZ4Q3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtOS5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1OTEwMTk2Njc2ODAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №9]
 +
 +
|
 +
[https://us04web.zoom.us/j/76098318777?pwd=WThyLzV1OUh6MStXM2k4Rnhpb2plZz09 группа 181];
 +
 +
[https://us04web.zoom.us/j/79510124978?pwd=WmVNVldlcmdOeUNCdnJJMHU4VTIyQT09 группа 182];
 +
 +
[https://us04web.zoom.us/j/76454221430?pwd=TVJVek10d0Y2cXdUcWd0bXpvNDI0QT09 группа 183];
 +
 +
[https://us04web.zoom.us/j/78667295248?pwd=ZkgzWEtwQWNWY1h6eitWSmtXWXRXZz09 группа 184]
 +
 +
|
 +
 +
|-
 +
 +
|Повторение
 +
 +
|[https://docviewer.yandex.com/view/22496587/?*=6UQVoUlm99WROA1EXhIcfnLXvOp7InVybCI6InlhLWRpc2stcHVibGljOi8vM0hETFByUHphN3ZXOWlrNHNrL2ZtQTNZMWRKdFVkdXJ6NWtCUnBXbjNiYXg2R3BEM3ZZK2lqM2hWMTBMSk9ZQnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMTBfMTgyLnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU5MTI4MjA0MTIzMywieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D 182 Семинар №10]
 +
 +
[https://docviewer.yandex.com/view/22496587/?*=XBaKcFSmShibrCbD%2FRyASH0qjPN7InVybCI6InlhLWRpc2stcHVibGljOi8vMEJzSHJtWStHZmhVdGZEK2NaT2k2Rkg2WUxtUmgvdmNEUTAzK29NUU5SQkNUTEVncFNUaFdkcFB2d2ZYRllTb3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMTBfMTg0LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU5MTI3MjI1NTY1NiwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D 184 Семинар №10]
 +
 +
|
 +
[https://us04web.zoom.us/j/73379053137?pwd=SG5MRlNZQWhWYnhhZVhLZHhLTHFkQT09 группа 181];
 +
 +
[https://us04web.zoom.us/j/79608523768?pwd=cFlLUGpZM0gzUVQ5QnJEQVpxSyt4Zz09 группа 182];
 +
 +
[https://us04web.zoom.us/j/73691967771?pwd=MXpsUVNvaFRjT3F6dU5kcjZObFJ6QT09 группа 183];
 +
 +
[https://us04web.zoom.us/j/78670014344?pwd=cUgwdXBQOE14TW8rOGJkRDNIRk5VZz09 группа 184]
 +
 +
|[https://yadi.sk/i/1WT0bvuAnggmGg Запись 10 семинара 182] Полное решение 3 задачи 30-44 минуты
 +
 +
[https://yadi.sk/i/Pq-QHFWWhN2nIQ Запись 10 семинара 184]
 +
 +
 +
|-
 +
 +
|Переписывание тестов
 +
 +
|https://us04web.zoom.us/j/72588216058?pwd=SmxmQ2lTTkZLZUFNZEEyRkVzY2JyQT09
 +
 +
  
 
|}
 
|}

Текущая версия на 13:24, 9 июня 2020

Дорогие второкурсники!

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов 2-го курса ОП Политологии в 2019/2020 учебном году.

  • Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
  • Семинары ведет: Сысоева Любовь Николаевна
  • Ассистенты: Пылина Анна (annapylina@yandex.ru ; vk.com/p_linaa), Янчук Вероника (yanchuk.veronika@yandex.ru ; vk.com/vayanchuk)

Материалы

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

Ссылка для записи на консультацию

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

Голосование Zoom VS MS Teams

Пароль для занятий в zoom всегда будет 000 (три нуля).

Ссылка на команду MS Teams 181 группы

Ссылка на команду MS Teams 182 группы

Ссылка на команду MS Teams 183 группы

Ссылка на команду MS Teams 184 группы

Ведомости

группа 181

группа 182

группа 183

группа 184

Лекции

дата лекции тема лекции ссылка на трансляцию/запись дополнительные материалы
6.04 Различные метрики и их применения https://zoom.us/j/189635294 Презентация
13.04 Алгоритмы кластеризации Видео лекции Презентация
20.04 Формализация утверждений. Булевы функции. Видео лекции Презентация
24.04 Утверждения с кванторами и отрицания к ним. Видео лекции Презентация
08.05 Диаграммы Эйлера-Венна. Видео лекции Презентация
12.05 Методы доказательств. Видео лекции Презентация
18.05 Мощности множеств. Видео лекции Презентация

Бесконечная гостиница

15.05 Комбинаторика. Видео лекции Презентация
01.06 Мэтчинги. Видео лекции Задача о стабильных Мэтчингах. Coursera.

Презентация

Семинары и домашние задания

Выполненные домашние задания в формате .pdf присылать на почту pmd2020@yandex.ru

тема семинара задания на семинар ссылка на семинар домашнее задание
Различные метрики и их применения Семинар №1 группа 184;

группа 183;

группа 181;

группа 182

ДЗ №1
Алгоритмы кластеризации Семинар №2 MS Teams ДЗ №2
Формализация утверждений. Булевы функции. Семинар №3 группа 181;

группа 182;

группа 183;

группа 184;

ДЗ №3
Формализация утверждений. Утверждения с кванторами и отрицания к ним. Семинар №4

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №4
Диаграммы Эйлера-Венна. Семинар №5

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №5
Методы доказательств Семинар №6

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №6


Мощности множеств Семинар №7

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №7
Комбинаторика Семинар №8

группа 181;

группа 182;

группа 183;

группа 184

ДЗ №8


Мэтчинги Семинар №9

группа 181;

группа 182;

группа 183;

группа 184

Повторение 182 Семинар №10

184 Семинар №10

группа 181;

группа 182;

группа 183;

группа 184

Запись 10 семинара 182 Полное решение 3 задачи 30-44 минуты

Запись 10 семинара 184


Переписывание тестов https://us04web.zoom.us/j/72588216058?pwd=SmxmQ2lTTkZLZUFNZEEyRkVzY2JyQT09