Лекция 6. Логика I порядка. Выразимость. Изоморфизм | Открытые видеолекции учебных курсов МГУ

Лекция 6. Логика I порядка. Выразимость. Изоморфизм

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Лекция 6. Логика I порядка. Выразимость. Изоморфизм

Предыдущая лекция

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность

Следующая лекция

Лекция 7. Изоморфизм и элементарная эквивалентность структур