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

Материал из MathINFO
Перейти к навигации Перейти к поиску
 
(не показаны 42 промежуточные версии этого же участника)
Строка 62: Строка 62:
 
|[https://yadi.sk/i/tK1X1aOvlnmpLQ Видео лекции]
 
|[https://yadi.sk/i/tK1X1aOvlnmpLQ Видео лекции]
 
|[https://docviewer.yandex.com/view/22496587/?*=eYm5u4m5a7XleZbf81NIWd4A5pR7InVybCI6InlhLWRpc2stcHVibGljOi8vMzh3Sm54ZEdoNTdBRStJS0JqeEFDV0NXK08vbEhYdC9KMWlmekxaenNPVVRUN3lOZDJOaTl0UElLdDhrK0lUaXEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiUHJlc2VudC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODc3MjUxMTM1ODksInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Презентация]
 
|[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 Презентация]
 +
 
|}
 
|}
  
Строка 87: Строка 119:
 
|Алгоритмы кластеризации
 
|Алгоритмы кластеризации
 
|[https://docviewer.yandex.ru/view/0/?*=ZJDx3VmK%2FSNpd%2BK7TURlgxc8WVl7InVybCI6InlhLWRpc2stcHVibGljOi8vSktmYnBlUCtOQ21CekxhSEVCN0hCc3A5ZUpaUGNrWlZIMCs5WDVMb0Z2enlTUzJ3aCtzazd5ZmtWbktlZzAyenEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMi5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjAiLCJ0cyI6MTU4Njc4MDEyMTAwOCwieXUiOiI1NTcxMzUzNjkxNTg2MzYzMzkyIn0%3D Семинар №2]
 
|[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/?*=j4QeOvoFcsuCMJc%2FtEOGfHuiaDd7InVybCI6InlhLWRpc2stcHVibGljOi8vUTRkdW1aL2lSUlJtbEo4eHFsSWdzdWZ0UTNoM2RQTStuYmQ0aDNMQTFRUGhuQlBCKzFEYlRpbGwvK3kvSUNRL3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoiaHdfMi5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODY4ODkyMzM0MTEsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 ДЗ №2]
 
|-
 
|-
Строка 105: Строка 137:
 
|Формализация утверждений. Утверждения с кванторами и отрицания к ним.
 
|Формализация утверждений. Утверждения с кванторами и отрицания к ним.
 
|[https://docviewer.yandex.com/view/22496587/?*=x15%2Fog%2BAzIC6GTXdREjpJQRom5N7InVybCI6InlhLWRpc2stcHVibGljOi8vSDhhc3pZWjNZdGMzYWtyUjdtRWRLVmJZamhQbkhLSkdDVVdLaEtVcUFkNTJqdGdjUzZhNnRQdTU2UFFGeDcwMHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtNC5wZGYiLCJub2lmcmFtZSI6ZmFsc2UsInVpZCI6IjIyNDk2NTg3IiwidHMiOjE1ODc4OTY3NjM3OTUsInl1IjoiNjM5NjIzODQwMTU4Njg4ODQ2MSJ9 Семинар №4]
 
|[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