Введение в математическую логику 3. Формулы логики первого порядка

00:00:00 - Начало 00:01:10 - Алфавит 00:03:40 - Термы 00:05:45 - Атомарные(элементарные) формулы 00:06:43 - Формула 00:09:19 - Дерево разбора 00:13:35 - Правила оценки формулы 00:17:15 - Пример применения правил оценки 00:30:05 - Свободное/связное вхождение переменной 00:31:35 - Параметр формулы 00:33:35 - Лемма о значении формулы 00:37:50 - Замкнутая формула 00:41:38 - Теория 00:43:18 - Модель теории 00:45:13 - Пример теории без модели 00:59:58 - Нормальная модель 01:07:18 - Предикатный символ 01:11:48 - Упорядоченная пара 01:15:28 - Натуральный ряд 01:18:13 - ZFC Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: