Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов

0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение понятий 0:14:14 2. Термы 0:24:02 3. Сигнатура колец (арифметическая) 0:31:02 4. Лемма об однозначном анализе 0:39:38 5. Определение формул 0:44:54 6. Восстановление пропущенной части 0:45:21 7. Семантика. Модель сигнатуры 0:50:35 8. Замкнутые термы 0:55:41 9. Лемма об определении значения терма 0:59:56 10. Лемма об однозначном определении замкнутой формулы 1:05:49 11. Замкнутые формулы 1:11:16 12. Теория-определение 1:17:16 13. Логическое (семантическое) следование 1:19:47 14. Свойства теории