У нас вы можете посмотреть бесплатно Плиско В.Е. - Введение в математическую логику - 15. Теорема Эрбрана или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
00:00:15 Введение. Стандартная форма. Равновыполнимые формы. Альфа-нормальная форма. Пример 00:10:15 Скулемовская форма. Пример. Теорема о равновыполнимости 00:24:17 Дизъюнктное представление высказывания. Пример 00:34:43 Эрбрановский универсум. Эрбрановская интерпретация 00:46:08 Существование эрбрановской модели. Теорема Эрбрана 00:56:43 Об автоматическом доказательстве теорем. Пример. Резольвента 01:13:04 Резольвента — логическое следствие. Резолюционный вывод. Пример. Теорема о корректности 01:20:21 Теорема о полноте Ссылка на плейлист: • Введение в математическую логику - Пл... #мгу #мехмат #математика #плиско #логика #математическаялогика