Показать меню

Коиндукция

02.12.2020
295

Коиндукция в информатике — метод для определения и доказательства свойств систем параллельно взаимодействующих объектов (обобщённо). С математической точки зрения является дуальной к структурной индукции.

В качестве определения или спецификации коиндукция описывает метод, при помощи которого объект может быть разбит на более простые объекты. Как техника математического доказательства коиндукция может быть использована для того, чтобы показать у некоторого коданного выполнимость всех заявленных спецификацией требований.

В программировании кологическая парадигма является естественным расширением логического программирования и коиндукции, которое также обобщает другие расширения логического программирования, такие как бесконечные деревья, ленивые предикаты и параллельно взаимодействующие предикаты. Кологическое программирование имеет применение в областях рациональных деревьев, доказательства бесконечных свойств, ленивых вычислений, параллельного логического вывода, проверки моделей и т. д.

Коданные

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

Еще по этой теме:
Бог: неудачная гипотеза
05:03, 03 декабрь
Бог: неудачная гипотеза
«Бог: неудачная гипотеза» (англ. God: The Failed Hypothesis) — научно-популярная книга американского физика Виктора Стенджера, вышедшая в 2007 году, в которой он утверждает, что не существует
Метод определения стабильности кротовых дрен
14:34, 25 сентябрь
Метод определения стабильности кротовых дрен
Быстрый (экспресс) метод полевого и лабораторного определения устойчивости кротовых дрен основан на том, что интенсивность размокания в воде почвенных агрегатов является интегрирующим показателем
Деревья решений (часть 1)
14:33, 13 март
Деревья решений (часть 1)
Деревья решений (или деревья принятия решений) являются одним из наиболее популярных подходов к решению задач Data Mining, направленных на раскрытие структуры данных. Этот метод может быть применен
Численный метод определения температуропроводности почвы (часть 1)
14:28, 13 март
Численный метод определения температуропроводности почвы (часть 1)
Рассмотрим однородный слой почвы, тепловые характеристики которой в пределах слоя одинаковы, но могут изменяться во времени, например, из-за изменений влажности почвы. Допустим, что для некоторого
Численный метод определения температуропроводности почвы (часть 2)
14:28, 13 март
Численный метод определения температуропроводности почвы (часть 2)
Методика определения и расчеты. В пределах почвенного горизонта, температуропроводность которого требуется определить, по вертикали устанавливают термометры - не менее трех. Расстояние между
Географическая информационная система (ГИС) (часть 1)
14:14, 13 март
Географическая информационная система (ГИС) (часть 1)
Процесс математической, статистической, геостатистической обработки и тем более интерполяции данных является весьма трудоемким и требует большого объема специализированных знаний. Эти факты до
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: