Замечание 16.1
Содержание (FireFox,Safari)

V. Развитие знаний о системе ВС

16. Развитие знаний о конструкции

Замечание 16.1

Вначале зафиксируем интуитивное представление о развитии системы ВС в следующей таблице (16.1), говорящей о соотношении ВС разного типа, которые сопряжены с одной и той же вершиной nd в двух системах с корректным каркасом, одна из которых (SVS) является «развитием» другой (SVS):
nd в T nd в T    
лист лист базовой ВС vs из VS соответствует её прообраз – базовая vs из VS

vs vs

а)
узел узел узловой ВС vs из VS соответствует её прообраз – узловая vs из VS

vs vs

б)
частичная ВС vs из VS совпадает с некоторой частичной vs из VS

vs = vs

в)
лист узел базовая ВС vs из VS совпадает с некоторой частичной vs из VS

vs = vs

г)

Однако, разделение на конструкцию и поведение, здесь формализованное в терминах основы и собственно системы ВС, требует соответствующего разделения при формализации развития знания: то, что выделено оранжевым цветом, относится к поведению, формализуемое далее в главе 17, а выделенное фиолетовым – относится к конструкции и формализуется в следующем определении.

Назад Вперёд
ru/en