Resultados da pesquisa a pedido "induction"
Indução estrutural em Haskell
É a seguinte definição de indução estrutural?
Como aplico o raciocínio indutivo ao `GHC.TypeLits.Nat`?
Considere esta definição dezip para o comprimento usual dos vetores indexados pelos algarismos Peano: {-# language DataKinds #-} {-# language KindSignatures #-} {-# language GADTs #-} {-# language TypeOperators #-} {-# language ...
Entendendo a recursão em Python
Eu estou realmente tentando envolver meu cérebro em torno de como funciona a recursão e entender algoritmos recursivos. Por exemplo, o código abaixo retorna ...
Prova de que uma árvore binária com n folhas tem uma altura de pelo menos log n
Consegui criar uma prova que mostra que o número total máximo de nós em uma árvore é igual a n = 2 ^ (h + 1) - 1 e logicamente eu sei que a altura de uma árvore binária é log n (pode desenhá-lo para ver), mas estou tendo problemas para construir ...