Архив за месяц: Апрель 2016

Занятие 25 апреля. Видео

Рассмотрены вопросы: порождение множества структур данного рода, синтез родов структур, непротиворечивость синтезированного рода структуры.

На этом курс по родам структур окончен. Всем спасибо за внимание!

Занятие 11 апреля. Видео

Рассмотренные вопросы: Выводимость и эквивалентность родов структур. Примеры. Эквивалентная представимость рода структуры с помощью заданной типовой характеристи.