Лекции по Основам ВТ
2 ) x ( y , в этой записи x и y константы или переменные на некотором домене . (– арифметический оператор...
Как полностью, так и избыточно системы должны иметь определенный механизм, обеспечивающий равенство всех копий описания одинаковой сущности.