[Допсем] Матлогика 6. Языки первого порядка

00:00:00 Введение 00:09:07 Языки первого порядка 00:32:27 Интерпретация 00:52:30 Множество параметров 01:00:35 Построение нормальной формы 01:13:05 Общий алгоритм построения 01:16:10 31 Роль символов 01:24:25 34 Интерпретации 01:34:00 35 Верность формулы 01:54:33 38 ПНФ 02:04:55 37 Проверка на общезначимость 02:12:30 28 02:19:30 38 02:31:39 29 02:50:50 30 02:58:10 37 Задача о кроссворде Дата: 18 ноября 2023 Преподаватель: Калинин Иван Оператор: Малышев Сергей Плейлист: