0:00:19 1. Логика высказываний 0:03:54 2. Аналогичное исчисление для логики I порядка 0:15:28 3. Пример 1 0:18:28 4. Пример 2 0:21:50 5. Пример 3 0:23:54 6. Пример 4 0:26:06 7. Пример 5 0:40:01 8. Пример 6 0:46:59 9. Как связаны выводимость и логическое следование? 0:53:13 10. Примеры Ссылки плейлист:
Hide player controls
Hide resume playing