Коданные

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Коданные — в информатике сущность, дуальная к данным. Коданные являются потенциально бесконечными контейнерами, которые могут содержать в себе как элементы данных, так и элементы коданных. Для оперирования коданными используется механизм корекурсии, для доказательства свойств коданных используется коиндукция (в прямой аналогии с данными, для которых используются рекурсия и индукция соответственно).

См. также[править]

Внешние ссылки[править]

На английском языке[править]