Páginas com hiperligações para "Stephen Kleene"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Stephen Kleene:
Mostrando 17 itens.
- Máquina de Turing (← afluentes)
- Cálculo lambda (← afluentes)
- Entscheidungsproblem (← afluentes)
- Problema da parada (← afluentes)
- Dupla negação (← afluentes)
- Fecho de Kleene (← afluentes)
- Redução de Turing (← afluentes)
- Função μ-recursiva (← afluentes)
- Predicado T de Kleene (← afluentes)
- Ciência da computação teórica (← afluentes)
- Consistência (← afluentes)
- Interpretação de Brouwer–Heyting–Kolmogorov (← afluentes)
- Máquina de registradores (← afluentes)
- Operador µ (← afluentes)
- Propriedades de disjunção e existência (← afluentes)
- Teorema Smn (← afluentes)
- Infinito atual e infinito potencial (← afluentes)