HSE-AMCS-DM2-26-Lect-04

Дискретная математика 2 для ПМИ во ВШЭ. Темы: значение формулы и терма при изоморфизме; сохранение выразимых отношений автоморфизмами; элементарная эквивалентность; общезначимость, выполнимость и логическая эквивалентность.