8 partes
Série
Educação e Teoria dos Jogos
Comece pelo primeiro artigo
Séries
8 partes
Todas as postagens
A Little Introduction to Recursion
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
A Biblioteca Impossível: do Paradoxo de Russell ao Cálculo Lambda Tipado
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Odisseia da Computação: a linguagem silenciosa do progresso
Explore a linha do tempo e a evolução da computação, desde as antigas ferramentas mecânicas até a inteligência artificial.
