| № |
Тема занятия |
Видео |
Контрольная |
| 1 |
Введение. Схема конструкции ступени. Ступень, М-граф. Канонические распространения функций по схеме конструкции ступени. Теорема об основных свойствах канонических распространений. Перенос. |
 |
 |
| 2 |
Критерии биективной переносимости (теоремы Бурбаки). Операции над схемами конструкции ступеней. |
|
|
| 3 |
Условия биективной переносимости термов и соотношений. |
|
|
| 4 |
Определение рода структуры. Сигма-объект. Класс сигма-объектов. Изоморфизм сигма-объектов. Теоремы родов структур. Непротиворечивость родов структур. |
|
| 5 |
Вывод и эквивалентность родов структур. Эквивалентная представимость рода структуры с помощью заданной типовой характеристи. |
|
|
| 6 |
Операции над родами структур: порождение множества структур данного рода и синтез родов структур. Условие непротиворечивости синтезированного рода структуры. |
|
|