Допсем Матлогика 8. Исчисление предикатов
Дата: 19 декабря 2023
Преподаватель: Калинин Иван
Оператор: Малышев Сергей
Плейлист:
1 month ago 03:22:31 23
![[Допсем] Матлогика 1. Основы формальных языков](https://sun9-43.userapi.com/W3mW6Qq8I0f4naV06IaF6OLBc5X9UrmF7sYn3w/vG0EZHEwW-U.jpg)
1 month ago 03:09:14 3
![[Допсем] Матлогика 2. Пропозициональные формулы](https://sun9-38.userapi.com/5gJrdXz-M0eYDxTwiA7W6f0lOgP7Xe1mX2z8Ag/fhjzXaSEj68.jpg)
1 month ago 03:12:05 3
![[Допсем] Матлогика 3. Булевы функции](https://sun9-23.userapi.com/TOFa8YcnCwboLsUSDAcia-vbb-KbtTrWz3SqvA/k_2TMZGxwe8.jpg)
1 month ago 02:14:10 1
![[Допсем] Матлогика 4. Исчисление высказываний](https://sun9-47.userapi.com/5ZCxp8y82FEUK6pKLvRzT5s9-F1rB3OGj6Hdew/cOUdyobWiVw.jpg)
1 month ago 01:55:03 1
![[Допсем] Матлогика 5. Метод резолюций](https://sun9-13.userapi.com/Me1MvpjpyRWY7k414husDrOMa0qdQJt3undLXA/4GCO3Hd--Ao.jpg)
1 month ago 03:06:05 1
![[Допсем] Матлогика 6. Языки первого порядка](https://sun9-34.userapi.com/LpRW7ZHVUykwI8bNFj1Uzzxfg9vLVsJ9_UDdSw/yGAL139lS-Y.jpg)
1 month ago 01:51:25 1
![[Допсем] Матлогика 7. Выразимость предикатов](https://sun9-3.userapi.com/gu3PN5GoqnsKmKTO-0CN3Qp5xT6so_aIQ6wOJw/jMOcdSu1aAQ.jpg)
1 month ago 02:02:41 2
![[Допсем] Матлогика 8. Исчисление предикатов](https://sun9-17.userapi.com/iVrLPdSeSTMqKc-vmm2Kae0tdeNoAN0Qa0tpFg/csLJwfSAetE.jpg)
1 month ago 02:29:20 1
![[Допсем] Матлогика 9. Порядки](https://sun9-16.userapi.com/rVCzX1GGNm73_LZz2hOm_GF_1kv-G3SHZdrpyw/9Hhxi0gKALQ.jpg)
1 month ago 01:48:29 1
![[Допсем] Матлогика 10. Ординалы](https://sun9-40.userapi.com/II4cvsqPtCntjarKsAkJIuEGh6jfgLOhD8XUFQ/uDAZOD6ObF4.jpg)
1 month ago 02:01:04 1
![[Допсем] Матлогика 11. Мощность. Лемма Цорна](https://sun9-56.userapi.com/iUzKmP2L_d0LKC9jhmwUsKH1oUKCKxW_BkYkGw/SDFbkI1uQtU.jpg)
1 month ago 01:26:44 1
![[Допсем] Матлогика 12. Машины Тьюринга](https://sun9-6.userapi.com/av6as_J_3Uk7zlrZlv9mChonTB2ql2jELHsI1A/SmLPJfVpjYQ.jpg)
1 month ago 01:11:15 1
![[Допсем] Матлогика 13. Разрешимость и перечеслимость множеств](https://sun9-45.userapi.com/-npZ7C2B4Z6Buf7pjPV32X0Sb2vPlCOdgr6YQw/2MHjMCSrbmw.jpg)
1 month ago 02:06:39 1
![[Допсем] Матлогика 14. Вычислимые функции. Арифметическая иерархия](https://sun9-71.userapi.com/ohCufAuQJH3Fyo1uK25mU26P3EdlIvZMkRSXVw/kj7Wc_z1Z-E.jpg)
1 month ago 02:10:29 3
![[Допсем] Матлогика 15. Финал](https://sun9-21.userapi.com/OElLEKkFXPFjSyM7c3FtuXaa9XfmWAslsE1wwg/86nnepuG8Vs.jpg)