У нас вы можете посмотреть бесплатно Structures или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
This video introduces (first-order) structures. The two running examples in the session are graphs and groups. Then the video presents three general definitions for structures: substructures+extensions, reducts+expansions, and homomorphisms. The Hadwiger-Nelson problem is mentioned as an open problem about homomorphisms where the compactness theorem for first-order logic is useful. Another application of the compactness theorem for first-order logic is Levi's theorem for Abelian groups. The video contains two breaks.