Плиско В.Е. - Введение в математическую логику - 8. Математические структуры

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