Лекции 12-23. Математическая логика (после колка).pdf
6112.0 KB
10 сент. 2025 г., 12:21
Лекции 2-11. Математическая логика (до колка).pdf
4752.1 KB
10 сент. 2025 г., 12:21
Лекция 1. Что изучает логика.pdf
2292.7 KB
10 сент. 2025 г., 12:21
Лекция 10. Полнота резолютивного вывода.pdf
558.8 KB
10 сент. 2025 г., 12:21
Лекция 11. Стратегии резолютивного вывода.pdf
426.7 KB
10 сент. 2025 г., 12:21
Лекция 12. Хорновские логические программы синтаксис.pdf
746.7 KB
10 сент. 2025 г., 12:21
Лекция 13. Корректность операционной семантики.pdf
481.4 KB
10 сент. 2025 г., 12:21
Лекция 14. Правила выбора подцелей.pdf
672.3 KB
10 сент. 2025 г., 12:21
Лекция 15. Алгоритмическая полнота логических программ.pdf
345.2 KB
10 сент. 2025 г., 12:21
Лекция 16. Управление вычислениями.pdf
922.3 KB
10 сент. 2025 г., 12:21
Лекция 17. Отрицание в логическом программировании.pdf
610.4 KB
10 сент. 2025 г., 12:21
Лекция 18-19. Интуиционистская логика. Модальные логики.pdf
548.0 KB
10 сент. 2025 г., 12:21
Лекция 2. Классическая логика.pdf
518.4 KB
10 сент. 2025 г., 12:21
Лекция 20. Правильные программы. Императивные программы.pdf
479.1 KB
10 сент. 2025 г., 12:21
Лекция 21. Верификация распределенных программ.pdf
558.1 KB
10 сент. 2025 г., 12:21
Лекция 22. Задача верификации моделей программ.pdf
536.2 KB
10 сент. 2025 г., 12:21
Лекция 23. Как устроена математика.pdf
608.5 KB
10 сент. 2025 г., 12:21
Лекция 3. Выполнимые и общезначимые формулы.pdf
320.0 KB
10 сент. 2025 г., 12:21
Лекция 4. Подстановки. Табличный вывод. Корректность табличного вывода.pdf
353.6 KB
10 сент. 2025 г., 12:21
Лекция 5. Полнота табличного вывода.pdf
368.4 KB
10 сент. 2025 г., 12:21
Лекция 6. Общая схема метода резолюций.pdf
337.8 KB
10 сент. 2025 г., 12:21
Лекция 7. Эрбрановские интерпретации.pdf
387.6 KB
10 сент. 2025 г., 12:21
Лекция 8. Алгоритм унификации.pdf
617.7 KB
10 сент. 2025 г., 12:21
Лекция 9. Резолютивный вывод.pdf
478.4 KB
10 сент. 2025 г., 12:21