Коданные

Коданные: Коданные

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

См. также

Данные

Коиндукция

Корекурсия

Внешние ссылки

На английском языке

Data and Codata

Игры ⚽ Нужна курсовая?

Коиндукция — Коиндукция в информатике техника для определения и доказательства свойств систем параллельно взаимодействующих объектов (обобщённо). С математической точки зрения является дуальной к индукции (структурной индукции). В качестве определения… … Википедия
Корекурсия — в теории категорий и информатике тип операции, дуальный к рекурсии. Обычно корекурсия используется (совместно с механизмом ленивых вычислений) для генерации бесконечных структур данных. Содержание 1 Общие замечания 2 Примеры … Википедия

Словари и энциклопедии на Академике