Лекция 8. Логика предикатов с равенством | Открытые видеолекции учебных курсов МГУ

Лекция 8. Логика предикатов с равенством

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

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

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

Лекция 8. Логика предикатов с равенством

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

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

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

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов