Результаты поиска по запросу "induction"

1 ответ

Структурная индукция в Хаскеле

Является ли следующее определение структурной индукции? foldr f a (xs::ys) = foldr f (foldr f a ys) xsМожет кто-нибудь привести пример структурной индукции в Хаскеле?

1 ответ

(Конечно, версия с постоянным временем опасна, поскольку переданная функция может быть не тотальной.)

отрим это определениеzip для обычной длины векторов, индексируемых цифрами Пеано: {-# language DataKinds #-} {-# language KindSignatures #-} {-# language GADTs #-} {-# language TypeOperators #-} {-# language StandaloneDeriving #-} {-# language ...

1 ответ

Структурная индукция в Хаскеле

ТОП публикаций

4 ответа

Понимание рекурсии в Python

Я действительно пытаюсь понять, как работает рекурсия, и понять рекурсивные алгоритмы. Например, приведенный ниже код возвращает 120, когда я ввожу 5, извини...

0 ответов

 должно быть, был неверным. Это доказывает претензию.

далось создать доказательство, которое показывает, что максимальное количество узлов в дереве равно n = 2 ^ (h + 1) - 1, и логически я знаю, что высота двоичного дерева равна log n (могу нарисовать его) чтобы увидеть) но у меня возникли проблемы ...