Введение в математическую логику 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

Дата лекции: 21.09.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван

Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z