9 отношения: Корекурсия, Коиндукция, Структурная индукция, Спецификация, Математическая индукция, Информатика, Данные, Двойственная категория, Логическое программирование.
Корекурсия
Кореку́рсия — в теории категорий и информатике тип операции, дуальный к рекурсии.
Новый!!: Коиндукция и Корекурсия · Узнать больше »
Коиндукция
Коиндукция в информатике — метод для определения и доказательства свойств систем параллельно взаимодействующих объектов (обобщённо).
Новый!!: Коиндукция и Коиндукция · Узнать больше »
Структурная индукция
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности.
Новый!!: Коиндукция и Структурная индукция · Узнать больше »
Спецификация
Специфика́ция — (от specificatio, от species — вид, разновидность и facio — делаю): 1) документ, который точно, полностью и в поддающейся проверке форме определяет требования, устройство, поведение или другие особенности системы, компонента, продукта, результата или услуги, а также процедуры, способные определить, были ли выполнены эти условия (примеры: спецификация требований, спецификация структуры, спецификация продукта и спецификация испытаний) (PMBoK); 2) перечисление подробностей, на которые необходимо обратить особое внимание (Большой энциклопедический словарь). Другие определения.
Новый!!: Коиндукция и Спецификация · Узнать больше »
Математическая индукция
300px Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел.
Новый!!: Коиндукция и Математическая индукция · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Коиндукция и Информатика · Узнать больше »
Данные
Да́нные — зарегистрированная информация; представление фактов, понятий или инструкций в форме, приемлемой для общения, интерпретации, или обработки человеком или с помощью автоматических средств (ISO/IEC/IEEE 24765-2010).
Новый!!: Коиндукция и Данные · Узнать больше »
Двойственная категория
Двойственная категория (дуальная категория) — категория, построенная из заданной согласно теоретико-категорному принципу двойственности, то есть, для категории \mathcal C двойственной является категория \mathcal C^ с теми же объектами, что и \mathcal C и с множествами морфизмов \text_(A,B).
Новый!!: Коиндукция и Двойственная категория · Узнать больше »
Логическое программирование
Логи́ческое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.
Новый!!: Коиндукция и Логическое программирование · Узнать больше »