Вопросы к зачёту, весна 2019

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