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

Материал из MathINFO
Перейти к навигации Перейти к поиску
(Новая страница: «'''Дорогие второкурсники!''' На этой странице будут появляться различные материалы и объя...»)
 
 
(не показано 77 промежуточных версий этого же участника)
Строка 5: Строка 5:
 
* Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
 
* Лекции читает: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
 
* Семинары ведет: Сысоева Любовь Николаевна
 
* Семинары ведет: Сысоева Любовь Николаевна
−
* Ассистенты: Пылина Анна, Янчук Вероника
+
* Ассистенты: Пылина Анна (annapylina@yandex.ru ; vk.com/p_linaa), Янчук Вероника (yanchuk.veronika@yandex.ru ; vk.com/vayanchuk)
  
 
== Материалы ==
 
== Материалы ==
 +
 +
=== Консультации ===
 +
[https://docs.google.com/forms/d/e/1FAIpQLSfw9m7Ycj-KTO3lFTJSbttBEHVM6141_3WIRjrXcUidJnxziw/viewform?usp=sf_link Ссылка для записи на консультацию]
 +
 +
=== Онлайн-занятия  ===
 +
 +
[https://docs.google.com/forms/d/e/1FAIpQLSfpd9yE9lx_iLNtEmRDhWy33YKMyrUmQ6RBzRYNC7G9InOQdQ/viewform?usp=sf_link Голосование Zoom VS MS Teams]
 +
 +
Пароль для занятий в zoom всегда будет 000 (три нуля).
 +
 +
[https://teams.microsoft.com/l/team/19%3acbe023bf260c42b8a344b43bd2738bcb%40thread.tacv2/conversations?groupId=1e5d34bf-74b8-491c-9e21-c585b32b7f73&tenantId=21f26c24-0793-4b07-a73d-563cd2ec235f Ссылка на команду MS Teams 181 группы]
 +
 +
[https://teams.microsoft.com/l/team/19%3abe276cd2596d49ea8ac3b3bfb1934e14%40thread.tacv2/conversations?groupId=ddc44d7e-e69e-4bcd-a6b4-0a7e164a232f&tenantId=21f26c24-0793-4b07-a73d-563cd2ec235f Ссылка на команду MS Teams 182 группы]
 +
 +
[https://teams.microsoft.com/l/team/19%3a001456f352b7413097a41517da81c576%40thread.tacv2/conversations?groupId=39cdcf07-8814-4adf-8402-17d0b1889381&tenantId=21f26c24-0793-4b07-a73d-563cd2ec235f Ссылка на команду MS Teams 183 группы]
 +
 +
[https://teams.microsoft.com/l/team/19%3a34e3ecad8c494217a73e90ccc3c2aae3%40thread.tacv2/conversations?groupId=66589120-5d96-4943-9d1a-16797f5e7cb7&tenantId=21f26c24-0793-4b07-a73d-563cd2ec235f Ссылка на команду MS Teams 184 группы]
 +
 +
=== Ведомости ===
 +
 +
[https://docs.google.com/spreadsheets/d/1VHr4NB5Y2jRdrtjIuuomkClT-d4iKjMBiPgvdFGRK9s/edit?usp=sharing группа 181]
 +
 +
[https://docs.google.com/spreadsheets/d/18S2TXk3F66e0YX8jSSxYGVvePb5rct62iOiKvV1m7vg/edit?usp=sharing группа 182]
 +
 +
[https://docs.google.com/spreadsheets/d/1aAk4jfJVUus1HRnWq4RdUKZ9XjbGutL_J63xO0F_v5Q/edit?usp=sharing группа 183]
 +
 +
[https://docs.google.com/spreadsheets/d/1Bq6_J8Xi-lVdlXeDCORta1gLb2BEeLaZhdbb2OQnZUw/edit?usp=sharing группа 184]
  
 
=== Лекции ===
 
=== Лекции ===
Строка 14: Строка 41:
 
!тема лекции
 
!тема лекции
 
!ссылка на трансляцию/запись
 
!ссылка на трансляцию/запись
 +
!дополнительные материалы
 
|-
 
|-
 
|6.04
 
|6.04
 
|Различные метрики и их применения
 
|Различные метрики и их применения
 
|https://zoom.us/j/189635294
 
|https://zoom.us/j/189635294
 +
|[https://docviewer.yandex.ru/view/22496587/?*=krK%2F6ZYK%2BL88%2FrJ3pvFnqtEaxol7InVybCI6InlhLWRpc2stcHVibGljOi8vRjRHclJtREVPU2hUWmxNSWZmWTFqcklCWFpCd3cvRU5JV2NwNzg2Y1p1b2d4ZEsvTXc4YmFBOWgyREJOOXlhQXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYxMTQ4MjI3ODMsInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 Презентация]
 +
|-
 +
|13.04
 +
|Алгоритмы кластеризации
 +
|[https://yadi.sk/i/Bca-mBItWmrGBA Видео лекции]
 +
|[https://docviewer.yandex.ru/view/0/?*=Pfhr1wQj9HnIalMF7NbdBym8ib97InVybCI6InlhLWRpc2stcHVibGljOi8vV1VFbk5weVNLZ0NwczN0NVFMTWVicGpnUFp5REwvNlV1OHYwdjl5aUk5ekh0ZnAwM1RTMENuZzBBRkVNTmpWZnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc2NzcyNTA2MCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Презентация]
 +
|-
 +
|20.04
 +
|Формализация утверждений. Булевы функции.
 +
|[https://yadi.sk/i/u-KsoSL4h566Eg Видео лекции]
 +
|[https://docviewer.yandex.com/view/22496587/?page=7&*=gY%2BIA3IBInab9xt5ZB%2Fw%2FzkSOvB7InVybCI6InlhLWRpc2stcHVibGljOi8vWG96UU8yaURRL1orRjZGcTJvTWZnM0VWUFUrNXFvbnB5ekptTE1YWFRScElySWVDeUtxN0dzYzBJN3p5SEZBSXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODczNzQ5NTkyMTAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 +
|-
 +
|24.04
 +
|Утверждения с кванторами и отрицания к ним.
 +
|[https://yadi.sk/i/tK1X1aOvlnmpLQ Видео лекции]
 +
|[https://docviewer.yandex.com/view/22496587/?*=eYm5u4m5a7XleZbf81NIWd4A5pR7InVybCI6InlhLWRpc2stcHVibGljOi8vMzh3Sm54ZEdoNTdBRStJS0JqeEFDV0NXK08vbEhYdC9KMWlmekxaenNPVVRUN3lOZDJOaTl0UElLdDhrK0lUaXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODc3MjUxMTM1ODksInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|-
 
|-
 +
|08.05
 +
|Диаграммы Эйлера-Венна.
 +
|[https://yadi.sk/d/WfnhsuusDHFqTg Видео лекции]
 +
|[https://docviewer.yandex.com/view/22496587/?*=07PZMybzETP9CtAajPpvOONveo17InVybCI6InlhLWRpc2stcHVibGljOi8vZlgxVHgzS1ZIQm1KZW5zdkd5QU5jTTNaTExyQmI5Z2prUnk5WGFpa092WndkVmlSY0M2UFFBazNKMDJHSDBCV3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODg4MDA2OTc0NjYsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 +
|-
 +
|12.05
 +
|Методы доказательств.
 +
|[https://yadi.sk/d/rS32IvOu0syciQ Видео лекции]
 +
|[https://docviewer.yandex.com/view/22496587/?page=2&*=jQdLQi4%2FzuEgAwsGDP97dODogJV7InVybCI6InlhLWRpc2stcHVibGljOi8vYmJiTUErZStWSTBhblp2bTdLUGZVNG4xM283MjJpWmJOa1U4dW1MR3hDQW5JN3BOQW9WTGZMbzY2K1I4QkVDSXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODkxODU3NDc1MTAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 +
|-
 +
|18.05
 +
|Мощности множеств.
 +
|[https://yadi.sk/i/4z5jM99PpSkN-g Видео лекции]
 +
|[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 Бесконечная гостиница]
 +
 +
|-
 +
|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 Презентация]
  
 
|}
 
|}
  
 
=== Семинары и домашние задания ===
 
=== Семинары и домашние задания ===
 +
Выполненные домашние задания в формате '''.pdf''' присылать на почту '''pmd2020@yandex.ru'''
 +
 
{|class='wikitable'
 
{|class='wikitable'
 
!тема семинара
 
!тема семинара
 
!задания на семинар
 
!задания на семинар
 +
!ссылка на семинар
 
!домашнее задание
 
!домашнее задание
 
|-
 
|-
 
|Различные метрики и их применения
 
|Различные метрики и их применения
−
|[ Семинар №1]
+
|[https://docviewer.yandex.ru/view/22496587/?*=bQnTHisLpUELYnrpT8dyq9%2BwZhB7InVybCI6InlhLWRpc2stcHVibGljOi8vYmsxRDBsUmU3TzB2QXBFTktlYllMb2dMdVBBL0JiRkpaUElnTjlIS1NtUTQxSHc1dmRZRmJ0bW1Jc3k4RVAwWXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMS5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYxODczNjMyMzksInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 Семинар №1]
 +
|[https://us04web.zoom.us/j/830640235?pwd=U0pYcys2TkI5RlcwaVhzakpPb1Yydz09 группа 184];
 +
 
 +
[https://us04web.zoom.us/j/193668554?pwd=NVhibHlFdk5QK21uenZFdUhDb3VwQT09 группа 183];
 +
 
 +
[https://us04web.zoom.us/j/978854022?pwd=VnMxaVdHMnFVZEZmWlhYMU0zUThZZz09 группа 181];
 +
 
 +
[https://us04web.zoom.us/j/838594776?pwd=c3NvRzhqSEJrYnJudzlpcW91NGNuUT09 группа 182]
 +
 
 +
|[https://docviewer.yandex.ru/view/22496587/?*=rA4FXkoN42rGPOKwIR2UzAVaxaN7InVybCI6InlhLWRpc2stcHVibGljOi8vT1NWY3NwajduSUs4YUtjU3VFd0xNd0hHc0pXTlk2aml2bWxHZHlmemJUL0ZiZEUzWXBsZGxRMHllc1UzS05HZnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHdfMS5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODYyODY5NDYxNDQsInl1IjoiMzkwMDQ3MTYxMTU3NjI0MDAwNiJ9 ДЗ №1]
 +
|-
 +
|Алгоритмы кластеризации
 +
|[https://docviewer.yandex.ru/view/0/?*=ZJDx3VmK%2FSNpd%2BK7TURlgxc8WVl7InVybCI6InlhLWRpc2stcHVibGljOi8vSktmYnBlUCtOQ21CekxhSEVCN0hCc3A5ZUpaUGNrWlZIMCs5WDVMb0Z2enlTUzJ3aCtzazd5ZmtWbktlZzAyenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMi5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc4MDEyMTAwOCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Семинар №2]
 +
|MS Teams
 +
|[https://docviewer.yandex.com/view/22496587/?*=j4QeOvoFcsuCMJc%2FtEOGfHuiaDd7InVybCI6InlhLWRpc2stcHVibGljOi8vUTRkdW1aL2lSUlJtbEo4eHFsSWdzdWZ0UTNoM2RQTStuYmQ0aDNMQTFRUGhuQlBCKzFEYlRpbGwvK3kvSUNRL3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHdfMi5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODY4ODkyMzM0MTEsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 ДЗ №2]
 +
|-
 +
|Формализация утверждений. Булевы функции.
 +
|[https://docviewer.yandex.com/view/22496587/?*=nn%2BP4dOr5orVPL8rJfA3t9mUHPJ7InVybCI6InlhLWRpc2stcHVibGljOi8vMFBqcTREcVF4NnZ4KzMrUHBmVjZoVExuWGdwa3NHNnRlUmN1Zng3NjdxOVE0NUEzb3VYc3BobnFTbkZ1d25jenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMy5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODczOTEzMzczNjAsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №3]
 +
|[https://us04web.zoom.us/j/73335565269?pwd=d2FhYTNURytYQTBtUmY3N08zMkVodz09 группа 181];
 +
 
 +
[https://us04web.zoom.us/j/78348484491?pwd=TTcxeGZjTmdTaEplTmsrU1JaY3YyQT09 группа 182];
 +
 
 +
[https://us04web.zoom.us/j/73470156626?pwd=bnRmODlWUTF0azhMQXVZaUZjY3F4QT09 группа 183];
 +
 
 +
[https://us04web.zoom.us/j/71630460224?pwd=S3QxS2xoODN0dTJHeDJNQW90QXRYQT09 группа 184];
 +
 
 +
|[https://docviewer.yandex.com/view/22496587/?*=1W8kFLxEh1mbCy7f1vXPQAfRdK17InVybCI6InlhLWRpc2stcHVibGljOi8va3lCZlJHTmNqdngvSXRrM2YxVnpwZEQwelJWNzc1NDUybHNEaWt6TnB6VlF3M2VmTWEzOFZ1T2RuWkhnM0xjTXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHczLnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4NzY0NzE3NTAxMCwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №3]
 +
 
 +
|-
 +
|Формализация утверждений. Утверждения с кванторами и отрицания к ним.
 +
|[https://docviewer.yandex.com/view/22496587/?*=x15%2Fog%2BAzIC6GTXdREjpJQRom5N7InVybCI6InlhLWRpc2stcHVibGljOi8vSDhhc3pZWjNZdGMzYWtyUjdtRWRLVmJZamhQbkhLSkdDVVdLaEtVcUFkNTJqdGdjUzZhNnRQdTU2UFFGeDcwMHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtNC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODc4OTY3NjM3OTUsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №4]
 +
 
 +
|
 +
[https://us04web.zoom.us/j/72984064610?pwd=MUFKVUtMcFRDQlY4WlVqdzBSZ2tmdz09 группа 181];
 +
 
 +
[https://us04web.zoom.us/j/75962617302?pwd=MkJRTkRXcGhLTFlyZ0pubkdjNWNBQT09 группа 182];
 +
 
 +
[https://us04web.zoom.us/j/78701587037?pwd=K1VRNnQwNUh5UmdEUk1jeXhDcmhUdz09 группа 183];
 +
 
 +
[https://us04web.zoom.us/j/73200863732?pwd=VkNyY01rL29EUWphMllialErT0oydz09 группа 184]
 +
 
 +
|[https://docviewer.yandex.com/view/22496587/?*=rbT%2BorfBZQZ%2BAa2amUMIvOTVml97InVybCI6InlhLWRpc2stcHVibGljOi8vZlY2SHI1SUw2NmxiWGRDMXhVZ0R2cm9DQ2ZoalRycm9pSW8vR3JkRkJEVHRTRmowMGE1bktCd3luL3FkajlmdXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc0LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4ODE1MjA5ODk5NywieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №4]
 +
 
 +
|-
 +
|Диаграммы Эйлера-Венна.
 +
|[https://docviewer.yandex.com/view/22496587/?*=lHVB4qJE3pGz9aVW93KT4ZZgDtp7InVybCI6InlhLWRpc2stcHVibGljOi8vcEtPb2RQS3dxU2N0ZUh6d0ZhWGZtbmxJd1dXYmRWZjVtS0llaUlIMjZETTBMa2tHWWFUMnBYb0taUSs0OWpGL3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtNS5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODg4Mzk2ODk4MjQsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №5]
 +
 
 +
|
 +
[https://us04web.zoom.us/j/79910634115?pwd=QnJ0bGxjTndNZHRFc09vOFdiUnRQUT09 группа 181];
 +
 
 +
[https://us04web.zoom.us/j/74356367416?pwd=QWJQeEVscXhMOEZ4WVk3TWdET0J3dz09 группа 182];
 +
 
 +
[https://us04web.zoom.us/j/77198333874?pwd=aFdpaCtwdW5TSExweGJPVUd5WUI4dz09 группа 183];
 +
 
 +
[https://us04web.zoom.us/j/73971087045?pwd=RXdRUTF4dTlzRUE3UjhIZU4yMDlSdz09 группа 184]
 +
 
 +
|[https://docviewer.yandex.com/view/22496587/?*=%2Fhfx2O1FyuPOD4otoMqQMrYo0Kl7InVybCI6InlhLWRpc2stcHVibGljOi8vOXNDSzFqSlFmZlJsUmpVSHMrckJZdWVRNm00Nk1XYk91aHBpNVFpbHdNK0M0bXE1MlhuUlU2Y0FtYlI3Vy9nZ3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHc1LnBkZiIsIm5vaWZyYW1lIjpmYWxzZSwidWlkIjoiMjI0OTY1ODciLCJ0cyI6MTU4ODk0NDYzNDUxMSwieXUiOiI2Mzk2MjM4NDAxNTg2ODg4NDYxIn0%3D ДЗ №5]
 +
 
 +
|-
 +
 
 +
|Методы доказательств
 +
 
 +
|[https://docviewer.yandex.ru/view/0/?page=2&*=JowGuLpdl1jihd7Ke4a4UjmsByF7InVybCI6InlhLWRpc2stcHVibGljOi8vd0tLeENQUmk2Vnh5bjJuVERUV251RkYydU1SS0dBSUJ0ZkZ5OSt1ek5VY0N0WTVvb1hSdFBKUHpoS0EzZFFZenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtNi5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4OTE4NTQ1MDc5MSwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Семинар №6]
 +
 
 +
|
 +
[https://us04web.zoom.us/j/77224113481?pwd=alhXeCtKZ3lTQzdaR0RYWWRZU2dFZz09 группа 181];
 +
 
 +
[https://us04web.zoom.us/j/72196125172?pwd=eTJjeEFnSUcyM1o0T1FiWGQ1MW9Pdz09 группа 182];
 +
 
 +
[https://us04web.zoom.us/j/78112808536?pwd=Ny9BMEIyaHpIbEdFTEZhczJTWGMyQT09 группа 183];
 +
 
 +
[https://us04web.zoom.us/j/75413076538?pwd=WXVNVkxyVGZtU1FmUjFGRlBlc1RBQT09 группа 184]
 +
 
 +
|[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


Источник — http://math-info.hse.ru/wiki2019-20/index.php?title=Принципы_математического_доказательства_(2_курс)&oldid=413