Лекторий ФПМИ Математическая логика и теория алгоритмов 11. О выразимости предикатов
🎯 Загружено автоматически через бота:
🚫 Оригинал видео:
📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi.
✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его.
📃 Оригинальное описание:
Просим прощения за отсутствие звука на последней минуте лекции
Дата лекции:
Лектор: Мусатов Даниил Владимирович
Оператор: Зуев Николай
Монтажёр: Сиомаш Иван
Плейлист:
3 months ago 01:33:40 6
![[Лекторий ФПМИ] Теория функций комплексного переменного 19. Функция Жуковского. Теорема Римана](https://sun9-76.userapi.com/impg/I_FWhfohWw6OC5PU0KPFqS3v-fVDCQZlJ6dUUw/kXkIS1r20AM.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=2a0902dccc39d336ac1f0309642972d0&c_uniq_tag=7JjGT197ZiQdgTecLk7cTY7bWMpBGDgu-iVM8tys804&type=video_thumb)
3 months ago 01:23:00 16
![[Лекторий ФПМИ] Теория функций комплексного переменного 18. Конформные отображения элементарными функциями](https://sun9-42.userapi.com/impg/cWjKdYO1BdtZfO4__prKG9R0HuQHwZI_aHW_Ug/VVVDSTpb_78.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=35df59b9fdd668b947ffaf515c7c124f&c_uniq_tag=lIyQiZFiT2jIW_5GT4gXaUtIytytzREdXT6wsiAhIf4&type=video_thumb)
3 months ago 01:23:40 17
![[Лекторий ФПМИ] Теория функций комплексного переменного 17. Конформные отображения. Дробно-линейные отображения](https://sun9-52.userapi.com/impg/fYgdFHwjDhrt_rdGoyDQLrWLMIpbUe586w7bmA/RkWnthWzwCc.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=758f881b79ee5e03a2e4b334c0d842a3&c_uniq_tag=1K4tIOJ8vIzJQa-_3whzVmMAyEo2nkSsIHx2OV25YXw&type=video_thumb)
3 months ago 01:08:52 24
![[Лекторий ФПМИ] Введение в математический анализ 1. Множества и функции](https://sun9-38.userapi.com/impg/E1TcrZmUD1R_0oyVuoQmRUTSX8j7MfYp-7dQhA/yW9fHlacpC0.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=1a010b9ad5a20096543ed70ccb7e363e&c_uniq_tag=IhnFOl2aoUwLcFzLCU86ZBhdJcuwbIhblKtB5xJpmG0&type=video_thumb)
3 months ago 01:25:25 16
![[Лекторий ФПМИ] Функциональный анализ 16. Элементы теории экстремальных задач в банаховом пр-ве. Теорема Люстерника.](https://sun9-58.userapi.com/impg/6dOwLkxgpJnCsQEG3eM2caK5L-melMRGbu9tRA/FNasHqcm53Y.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=a330bd78c61c7596c9344e0d4bb9395b&c_uniq_tag=qZAPfD3lmt9KoEQD16VXHcA8Rt86jsgUlhu3Q6vrFhY&type=video_thumb)
3 months ago 02:24:35 17
![[Лекторий ФПМИ] Функциональный анализ 15. КССО в ГП. Банахова алгебра. Спектральная теория Гельфанда.](https://sun9-29.userapi.com/impg/NOzudCJsVkUWRRpQ_1njP4ipllPugsiRQ0g3Rg/FoEtZcQ2PD8.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=bdc790dff1294337add7258900cbe4bf&c_uniq_tag=zd0Kdg_wQhKMVoCeQhPagVKuo-kijMuVCb4Y50FT0oU&type=video_thumb)
3 months ago 01:22:52 13
![[Лекторий ФПМИ] Функциональный анализ 14. Самосопряженные операторы в Гильбертовом пространстве.](https://sun9-55.userapi.com/impg/zmDQrqK2muSzi6EqS3PZ6JCaJkxdO0GG6WekOQ/siP86LPyxLk.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=2325983a8450101e9338a336230e86a3&c_uniq_tag=dDXF7Svg5K1nvWsZgeuBmlemUvEHueatFmamJ1OiHjA&type=video_thumb)
3 months ago 01:26:34 12
![[Лекторий ФПМИ] Функциональный анализ 13. Альтернатива Фредгольма. Спектр компактного оператора.](https://sun9-53.userapi.com/impg/L8Ef-BBG0bWw-qqIr72uZUiiiq3AofFpxbQVvA/lQDBEUw6xFw.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=23662822b1beba7a5c59ecda4f44b47a&c_uniq_tag=x961ikQ7FfEEIaQhuRbBxgvA1rYQf9HEeDpcKpr3oHo&type=video_thumb)
3 months ago 01:17:59 7
![[Лекторий ФПМИ] Функциональный анализ 12. Эквивалентность компактности A и A*. Теорема Фредгольма 2.](https://sun9-30.userapi.com/impg/TeOk4GgXsRo5Y60om0P9QUuPhPrkeFCtvTHzpw/x2FAAPsutlk.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=8da5ed2955b864592c82362e2af2a1b7&c_uniq_tag=ZDfhnruKbJD4PonvRrmRs2bb79gnL7OwWj30tzk5E9s&type=video_thumb)
3 months ago 01:24:38 5
![[Лекторий ФПМИ] Функциональный анализ 11. Теорема Фредгольма. Компактный оператор.](https://sun9-58.userapi.com/impg/QESFR7z4fbKmwOUMKAocFRut3NjAe1sHC85hIA/PXbWeXoy5W4.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=fefa9d7a4431ce3de61ab4dd9856dcff&c_uniq_tag=AlPEO6b1KmPOqNY1ioVvbORj_CntccOPkmfV1T-JGrk&type=video_thumb)
3 months ago 01:21:05 7
![[Лекторий ФПМИ] Функциональный анализ 10. Сопряженный оператор. Теорема Фредгольма.](https://sun9-9.userapi.com/impg/4clsP1qXYq_8MDCqwpiftSpHwr0lAaNXebHOkQ/LAGsdCd_3IE.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=711d8b516b78560c0f8c394b58252114&c_uniq_tag=4KtFSgiAinLVImwd0v1DCzgAahvTZyVp2NSK9FwcZB0&type=video_thumb)
3 months ago 01:25:02 1
![[Лекторий ФПМИ] Функциональный анализ 9. Теоремы Рисса. Рефлексивность Гильбертовых пространств.](https://sun9-77.userapi.com/impg/mA-3rNAPW3w0REjcAXYhzk8SDr-c_EGKMn09xg/peCeMd9U1ww.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=43f6f5e4ef2bea033d2475858cfcb312&c_uniq_tag=xjwuPNDK9oRJq3WlMqvfJAHIMDSNh-Vg9RyOwK8JQ4o&type=video_thumb)
3 months ago 01:24:02 3
![[Лекторий ФПМИ] Функциональный анализ 8. Теорема Эберлейна-Шмульяна.](https://sun9-13.userapi.com/impg/IIXi1uHS522gZjjDbKAL31nel63E2hWYrNwclQ/0tku_dsChbQ.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=3aa3d68b8afe66b8e2247ba7216219dc&c_uniq_tag=TQSaSnRL6Kywwxd0xYMepNa3t4Wohpcui_PL_pYfYt4&type=video_thumb)
3 months ago 02:44:54 10
![[Лекторий ФПМИ] Функциональный анализ 5-6. Отделимость выпуклых множеств в ТВП. Теорема Отделимости и следствия.](https://sun9-49.userapi.com/impg/RSqvh9_KH6iPWDAzMF_7TXt_poPYak0cgAfzIg/0dFB4izw9Rc.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=26e8e09e4938c7750b4313bc585f3af5&c_uniq_tag=wkxCfcCXTxwmQEx0ZnLgTKEr3RNilzgvDVTsaMf7PmM&type=video_thumb)
3 months ago 01:25:48 22
![[Лекторий ФПМИ] Функциональный анализ 7. Слабая топология в ЛНП](https://sun9-37.userapi.com/impg/2Wd8DvUUCgYUBEEWAYYg8kH9AbdcJEiGhkIALg/n9IByR9LMR0.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=f78efde8b7222fb789a75bd9941914d8&c_uniq_tag=c5Ng-eQYPB0lKBIZfkZa_O1nTdOSf1csVuxwh0NpGM4&type=video_thumb)
3 months ago 01:24:17 11
![[Лекторий ФПМИ] Функциональный анализ 4. Слабая* топология. Теорема Шмульяна.](https://sun9-42.userapi.com/impg/dU80UViSQJeVZUUvXKbUzi7yK7sEk5EpRllu5A/aV9hvMHeCsw.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=5cb15651cd4e83cbce336aafc40ad642&c_uniq_tag=7CQPpBZlFjr3GlacI_nUe3P40P6E_N8dmu9J5dXUjD8&type=video_thumb)
3 months ago 01:25:07 12
![[Лекторий ФПМИ] Функциональный анализ 3. Слабая топология Банаха.](https://sun9-79.userapi.com/impg/ikFfq9kgj24kIMHdlM8Wc-kdEsIFxWheVIsQzw/oT3mInYdzQg.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=5a3dd553245ad271a7390bb2a10639f2&c_uniq_tag=_Ptawv_YZkCbZvOlDL1p8nI9iFQU8WSKpZcxpAVXGq8&type=video_thumb)
3 months ago 01:25:39 19
![[Лекторий ФПМИ] Функциональный анализ 2. Теорема Хана-Банаха и ее следствия.](https://sun9-46.userapi.com/impg/Hx9ru2uGH4sL1P-Zx_-qePE2VkwK8bAehIa6uQ/miBWiiV8Uek.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=62419cfaa2c2b367e26d881e8dfd2ea2&c_uniq_tag=PECtrejM9KKAu_DZsVGv84TD2ZRC-6pLK__lP9rbsCo&type=video_thumb)
3 months ago 01:12:41 8
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 11. О выразимости предикатов](https://sun9-69.userapi.com/impg/42pC_T0JzhVcKLP77wyaz1GSk0BzsYqRumpK1g/e4-idTaMWWY.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=aa2701d472d7b1630ba679371a40729e&c_uniq_tag=X1naBhm-oa2FqdY1qosWCNZ5gnbU1vSyIV3wdF2APzQ&type=video_thumb)
3 months ago 01:16:33 8
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 8. Теорема о компактности](https://sun9-24.userapi.com/impg/lG1WxvEZMx2k4niAfzcRokmtNC3i-QBoRgAXsw/NiqrzJ6qsD4.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=dbcd192ba64495f8ad7ccd409cfb1242&c_uniq_tag=tU0UV-qpJnDRPUCY3lTvT3gKB3ttQw_cGSakhSdIdhE&type=video_thumb)
3 months ago 01:14:31 11
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 10. Языки первого порядка](https://sun9-70.userapi.com/impg/ryGR2JxfCSaKl85ftd-JmW9gdzagoUNjIXScfg/Q3-TMMRA12Q.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=1f211a12702ae3a15777c65200c59365&c_uniq_tag=eP_zJ3fjFMIF9Um_2mBlv4x9ZQ8ikjRCAnkvtecr8rU&type=video_thumb)
3 months ago 01:18:06 15
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 9. Метод резолюций](https://sun9-72.userapi.com/impg/tVSC0_0k8Gp_ydum60P-WIIHCCrK4JI2iyQapw/hnC0Zh3eOsU.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=ad6999e9f9064fbefa4a2d2662690715&c_uniq_tag=M_V4ibBblrL77lAMGFih8wBNx66p8BfA_-4fxC2cra4&type=video_thumb)
3 months ago 01:18:09 1
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 7. Теорема о полноте исчисления высказываний](https://sun9-77.userapi.com/impg/SLm2fA89o61dT0daUrcy_sJ2vC6jE3gP5C2iew/_e2JFN_Tch0.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=7f53af0c0931fe18f9e5766dc1596cc7&c_uniq_tag=EuRF97_AaVTJabgbmZIdcCXkKBzkRtAfAENCCq05gzA&type=video_thumb)
3 months ago 01:17:01 1
![[Лекторий ФПМИ] Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода](https://sun9-72.userapi.com/impg/FRCNR6VPAs5RDLJK-YMEc4Hd55oLftE92YSZYg/pJzNB2h6dUE.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=cdcac7a89efcb312db18258d42e83db6&c_uniq_tag=HL8MfCVZYAROlXJ14hcmgBMsJdpKw0WN4wYfj1d9mj8&type=video_thumb)