Лекция 7. Логика предикатов
- 00:15Введение. Переменная. Именные и высказывательные формы
- 11:59Кванторы. Субъект и предикат. Определение предиката. Область истинности предиката
- 26:22Сигнатура элементарного языка
- 36:05Терм. Формула
- 47:10Язык теории множеств. Язык формальной арифметики
- 56:04Язык упорядоченных множеств. Языки алгебраических структур
- 01:02:36Языки второго порядка. Примеры