Результаты поиска по запросу "induction"
должно быть, был неверным. Это доказывает претензию.
далось создать доказательство, которое показывает, что максимальное количество узлов в дереве равно n = 2 ^ (h + 1) - 1, и логически я знаю, что высота двоичного дерева равна log n (могу нарисовать его) чтобы увидеть) но у меня возникли проблемы ...
(Конечно, версия с постоянным временем опасна, поскольку переданная функция может быть не тотальной.)
отрим это определениеzip для обычной длины векторов, индексируемых цифрами Пеано: {-# language DataKinds #-} {-# language KindSignatures #-} {-# language GADTs #-} {-# language TypeOperators #-} {-# language StandaloneDeriving #-} {-# language ...
Структурная индукция в Хаскеле
Является ли следующее определение структурной индукции? foldr f a (xs::ys) = foldr f (foldr f a ys) xsМожет кто-нибудь привести пример структурной индукции в Хаскеле?
Понимание рекурсии в Python
Я действительно пытаюсь понять, как работает рекурсия, и понять рекурсивные алгоритмы. Например, приведенный ниже код возвращает 120, когда я ввожу 5, извини...