1.71M
лекция 3
1.
Типы, Термы, Значение термов
2.
Типы
Задано непустое множество М, в котором существует
специальный элемент ┴, называемый «неопределенность». На
данном множестве определим частичный порядок ≺: ∀
English
Русский
Rules
