Лекция 8. Математические структуры
- 00:15Введение. Структура. Формальное определение истинности
- 14:36Выполнимость. Общезначимость. Пример
- 26:05Равносильные формулы. Основные равносильности
- 34:38Теорема об эквивалентной замене. Предваренные формулы. Изоморфизм
- 45:35Сохранение термов при изоморфизме
- 52:35Сохранение истинности при изоморфизме. Случай кванторов. Выразимые предикаты
- 01:04:23Автоморфизмы. Пример
- 01:11:53Логическое следование. Доказательства и теоремы