30.10.2021 Логика, часть 3: раскраски графов; синтаксис и семантика логики первого порядка

Таймкоды: 0:00 Раскраски бесконечных планарных графов 37:30 Синтаксис логики первого порядка 1:46:00 Семантика логики первого порядка