01:32:401,0×00:00/01:32:40Неклассические логики 2021146 смотрели · 3 года назадПодписатьсяВведение в неклассические логики. Лекция 2. Исчисление предикатов
01:12:371,0×00:00/01:12:37Teach-In1 месяц назадПодписатьсяПлиско В.Е. - Введение в математическую логику - 7. Логика предикатов
08:481,0×00:00/08:48Душкин объяснит1 год назадПодписатьсяКак определить предикаты LEQ и EQ на комбинаторах? Душкин объяснит
01:28:331,0×00:00/01:28:33Teach-In3 недели назадПодписатьсяПлиско В.Е. - Введение в математическую логику - 9. Исчисление предикатов
