Математическая логика и теория алгоритмов 10. Языки первого порядка

Дата лекции: 03.11.2021 Лектор: Мусатов Даниил Владимирович Съемка: Прозорова Лилия Монтаж: Зенина Дарья 00:00:00 - Введение 00:10:05 - Начало лекции 00:03:51 - О языках первого и второго порядка 00:05:25 - Об истинности и общезначимости формулы 00:12:22 - Алфавит языков первого порядка. Сигнатура 00:22:08 - Индивидные переменные, логические операции, служебные символы 00:28:05 - Построение термов 00:37:00 - Построение атомарных формул 00:40:36 - Построение формул 00:45:12 - Расширенные конструкции 00:52:35 - Задание истинности формулы первого порядка. Интерпретация сигнатуры и оценка переменных 00:59:20 - Задание значений термов 01:05:23 - Задание значений формул 01:13:47 - Теорема о параметрах формулы