КТ ИТМО, осень 2024, Матлог, лекция 3
Изоморфизм Карри-Ховарда, Решетки, Алгебра Гейтинга, булева алгебра.
4 weeks ago 01:28:23 6
4 weeks ago 01:16:56 23
![[s1 | 2024] Алгоритмы и Структуры Данных, Первеев М. В., лекция 10](https://sun9-26.userapi.com/impg/RtQZDnrbJ8JD0-M82WJ9iXfFD5qzvug-VZr1OQ/IcRiBEVbDyQ.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=8505af8a8e9d9394659707e3d2307d09&c_uniq_tag=pWpwFYygDh0JkS8Tjrg4iXchGUU8bExoeHVpJhNF8UM&type=video_thumb)
4 weeks ago 01:21:52 7
![[s3 | 2024] Дифференциальные уравнения, М. В. Бабушкин, лекция 11](https://sun9-51.userapi.com/impg/SbwWI1eWl2MEtQNDTG0ZucfwovP5_V4EJkRInw/5xRpRNiQUqY.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=187b1f83ec2579592e6bb65fb7c03152&c_uniq_tag=_GqDc5o7niFGu_JlnCOirEnpE__ITOwoyLqVeTmhB6Q&type=video_thumb)
4 weeks ago 01:14:55 6
![[s1 | 2024] Линейная Алгебра, А. И. Трифанов, лекция 19](https://sun9-29.userapi.com/impg/Uc4h-vB_8p3MDpx8MjIV1Ga7Hxqfs4lSnXQBJQ/ySVfcHOY-ZY.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=8d36f1a2e57f77e4c3e9a21cae1ddf3c&c_uniq_tag=1L6_WXpkPZPuM5V4-VQS7dZj6M6Ulv7B3H_RUNQy_oY&type=video_thumb)
4 weeks ago 01:17:56 13
![[s1 | 2024] Линейная алгебра, Р. А. Попков, лекция 23](https://sun9-58.userapi.com/impg/QRX4l-BYZLRGAPPKDUSCsorNztyc53SXci6dTg/RuF1vpU5W-I.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=f8e4ff06f9f10dfcb491f2109ab2dbcb&c_uniq_tag=eJGmtzLXBcEElGXx6vDWDlhJAkLkRdibnjwJ78ICIhg&type=video_thumb)
4 weeks ago 01:18:31 17
![[s1 | 2024] Линейная алгебра, Р. А. Попков, лекция 22](https://sun9-4.userapi.com/impg/yqCLm_bIaqOIzoxrCrjX-wF1-Z6KSI8RI5zizQ/n5GAOyp8nKE.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=429760cb916d1467e5155f9047344848&c_uniq_tag=15nbzcE5Uz_YLwa45IqJGIpK71j6FQTdGLCeH9v6Xbs&type=video_thumb)
4 weeks ago 01:19:57 7
![[s1 | 2024] Линейная Алгебра, А. И. Трифанов, лекция 18](https://sun9-30.userapi.com/impg/s_ZXsWBNAgmQokxdfBULIhe62fgTuc2008uYkg/2mqbakkyO10.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=ff2e08500d37ad2c874b2b1c537b55c5&c_uniq_tag=W-GWulrN0NAFHZwOOUDubIAkP_IbWB6QWGusI9JeEj8&type=video_thumb)
4 weeks ago 01:57:12 185
![[SC | 2024] Веб-программирование, Максим Меркулов, лекция 10](https://sun9-61.userapi.com/impg/003GGaoWGtvTXGjOZ7XAKBT9lmS9KSf0-ByGeA/u53DTyn2Ubo.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=fa9bd575349ec04444a67f32a4ca4a95&c_uniq_tag=YN_-j_ftORqrjZxvVVNPF1sIzPcsaze6ZwogF8A5D1c&type=video_thumb)
4 weeks ago 01:13:59 11
![[s3 | 2024] Алгоритмы и структуры данных, М. В. Первеев, лекция 11](https://sun9-38.userapi.com/impg/xToh6_j-pC4Z9GSDmJ1shMTNG7KWYVh00WclqA/auJFvfU09UQ.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=53a05c21c1e2aec3bfeecbdbd5f59fdd&c_uniq_tag=PgyoZbJ0BzMvfWI96epvKC5u4x2AL-fjLeHZJkdB3xg&type=video_thumb)
4 weeks ago 01:38:28 99
![[s1 | 2024] Дискретная математика, Ю. Д. Клёпов, лекция 12](https://sun9-5.userapi.com/impg/zz4X8rL214vxsudUz4P1SMieycKS0aZ2TC5mbQ/LboC1vr15U8.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=e9aa284b60c97349d09246eecf6662a6&c_uniq_tag=0VXbsS4XNcS8wB_g36TEOZiADWaTZUcvYA3AB9eRG0U&type=video_thumb)
1 month ago 03:31:06 33
![[SC | 2024] Algorithms and data structures, Григорий Хлытин, лекция 9](https://sun9-1.userapi.com/impg/0dGF43FAB5pG2vnjgDLpVarv-8y6Cf4U3nTfDQ/UDyHRJAYWBk.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=aca58ec4451f2d370cd3e99da3b9bece&c_uniq_tag=0vu7PBBA9a3mxtrDVzOkObbcvPvahK-nHpTrWMfGMfE&type=video_thumb)
1 month ago 01:27:21 181
![[s1 | 2024] Введение в программирование, Корнеев Г.А., лекция 12](https://sun9-79.userapi.com/impg/6UhWVo6VOSFhGyZurrheQ5xs5HmRXtfSbay81w/SJXELT6lEiI.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=22a79a3bae3c8218343253dac45be109&c_uniq_tag=l5rP5koWHwvzSxJcKbKP5gCxsBfn4sJKkbGzWWSUdhg&type=video_thumb)
1 month ago 02:47:43 84
![[s1 | 2024] Математический анализ, К. П. Кохась, лекция 10](https://sun9-24.userapi.com/impg/gw5ZYGtHbKPobCgBtxdDY9XOP1RxrKwkm4HW2g/jEBhFg0T4TA.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=67dc9f7309d465848906c5e1e64f1637&c_uniq_tag=7KXfZXbVUprAAwCi3md_KLP38DnvbGW0yW0tJEfaM70&type=video_thumb)
1 month ago 00:35:45 31
![[s5 | 2024] Параллельное программирование, Никита Коваль, лекция 14](https://sun9-61.userapi.com/impg/xBw2LJuHPtFCnKIBLKB__AYP2i-HwMGwKyYHzw/GqH7FZb0jdc.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=566ce2909e0ba742a316fc62427d626f&c_uniq_tag=x0pkfa9e-UWSDCfsFzI-rkF51_u75zxmiaZFesH3zzA&type=video_thumb)
1 month ago 01:33:50 35
![[s5 | 2024] Параллельное программирование, Роман Елизаров, лекция 15](https://sun9-32.userapi.com/impg/Xu-uqp8Jmutmi3XtAOw76HKiB-BRqqc_Ybmlww/2qCAmnx0Klg.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=1da5075d2915271aece628cc896cd3ff&c_uniq_tag=Lruk5Uwrgfp8kON2td2ToXvysuLGru_RnaT8LqQhTsA&type=video_thumb)
1 month ago 01:23:40 11
![[s3 | 2024] Математический анализ, К. П. Кохась, лекция 22](https://sun9-3.userapi.com/impg/FW7HvVBjvVpoPOzscYiNQ2GmiZFk8XXsIzRJMg/9_F6Hjowzhs.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=cc73dd171c7f5b19d404e585bb4c6a55&c_uniq_tag=zVw19YVxlY_fR1IyEXBL5aPT6B0139BViEUXMXlTyUc&type=video_thumb)
1 month ago 01:29:30 10
![[s1 | 2024] Математический анализ, Семенова О.Л., лекция 19](https://sun9-22.userapi.com/impg/RY5OYP-HjYdn7EVd_0ojSUazQgHiDzLZ-buSpg/D3Khxp_rrhA.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=2771cc8130ce221c57ffed2e77f4a1f1&c_uniq_tag=dbgTwg8pfEQE4WcXNGHuY6cGxhAb77mP6u1IFbiRCOI&type=video_thumb)
1 month ago 01:17:18 4
![[s3 | 2024] Математический анализ, К. П. Кохась, лекция 21](https://sun9-21.userapi.com/impg/qiCC9iPsWC9oMzus5bPhW0Frtz3dKXqfVysLiQ/WkQwBfBGJB0.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=25a7073f5fe8326598174df5c28fac24&c_uniq_tag=j2MIlo0onm49xVgR5NZl7uBuNgMq1TeSttApMk3Dmas&type=video_thumb)
1 month ago 01:24:06 3
![[s1 | 2024] Математический анализ, Семенова О.Л., лекция 18](https://sun9-52.userapi.com/impg/dh_NjXh_S_SOAJQ0tYfyWr9hSQ4o9B7LMr_hhg/YmfL0oIwF58.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=de89bb954c42aa596b503b80f7ef8416&c_uniq_tag=1NENS-ABrVprX3TLaKMNe_wFf1U4h6Ls0P8nygNzYRE&type=video_thumb)
1 month ago 01:24:32 43
![[s1 | 2024] Математический анализ, Е. С. Трифанова, лекция 20](https://sun9-39.userapi.com/impg/Jv-vImttimKvQTNhKQQd5-so23Wpf9RU7r8-1A/VxmGSczbI-o.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=99f6fe11ba00664cec6d837d9128d422&c_uniq_tag=tK1QHG96Gb_kerGKibKQeD1hBsJ282mLKLlnABSft_Y&type=video_thumb)
1 month ago 01:19:53 97
![[s1 | 2024] Математический анализ, Е. С. Трифанова, лекция 19](https://sun9-24.userapi.com/impg/srLHzRElZKcrRe8dphYKunC7WNMQddEcAo568Q/bGrzaSyiI0M.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=e30e545e2b7dbab8bef1a6dbb8724882&c_uniq_tag=iptiXZ162cMzqIPHbQ5iSlG7VERlvXD8uCxJxGPWFv8&type=video_thumb)
1 month ago 00:46:13 14
![[s5 | 2024] Программирование на Go, Панасюк И.А., практика 11](https://sun9-15.userapi.com/impg/c52dMnvprGdgfJ2WsCydq-1AHqgqb9hBRPas3g/rMdcrnonkqE.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=2ec73882460326bf908153d92e0206f8&c_uniq_tag=pN-m36DETCZPa3wjMDzNGlw2Sd6hmJ1WsJlrWhlX1OI&type=video_thumb)
1 month ago 01:06:44 17
![[s5 | 2024] Программирование на Go, Панасюк И.А., лекция 11](https://sun9-27.userapi.com/impg/HtYz49xUV0cD-mAeIoST4-Nv3SMua94adVTshA/uH_PQgiPX7c.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=4185ff230c506f4b3ac56ab4abe34e9b&c_uniq_tag=jOD7d2jWHUz5EwXCyqzfFLTIir6tJyBFOIJic5Y5KCE&type=video_thumb)
1 month ago 01:23:15 12
![[s1 | 2024] Алгоритмы и Структуры Данных (Практики), Первеев М. В., практика 2](https://sun9-70.userapi.com/impg/MY2pE2rHrOip5WzuODi3nnGzwG2hmDSej7D55w/L2SGbMLGLnQ.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=59b10cba7f706cea3b83618007af591c&c_uniq_tag=4hYDXxEtYSYYcDDFW18OkyhhVj-irGIElo1uCr5Ffa4&type=video_thumb)