Frank de Alcantara
Consultoria, treinamento, ensino e desenvolvimento.
Buscar
Início
Matemática
Categoria:
Matemática
Artigos, análises e materiais sobre Matemática.
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.
Explore
→
Matemática e Lógica (9)
Ciência da Computação (10)
artigo (2)
Computer Science (5)
Inteligência Artificial (38)
Educação e Sociedade (13)
Engenharia e Hardware (5)
Artificial Intelligence (3)
Ciência de Dados (2)
