Risultati della ricerca
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- MAQUINAS DE TURING
- Lógica matemática 4
- COMPUTABILIDAD 3
- Lógica simbólica 3
- Algoritmos 2
- FUNCIONES RECURSIVAS 2
- INTELIGENCIA ARTIFICIAL 2
- Matemática 2
- Alfabetos 1
- Antropología filosófica 1
- CALCULO DE PREDICADOS 1
- COMPLEJIDAD COMPUTACIONAL 1
- DETERMINABILIDAD 1
- ENUMERABILIDAD 1
- FORMALIZACION 1
- LOGICA ALGEBRAICA 1
- MECANICISMO 1
- METODO AXIOMATICO 1
- Matemáticas aplicadas 1
- Programación 1
- SISTEMAS FORMALES 1
- Semántica 1
- TEORIA DE LA RECURSION 1
- Teoría de conjuntos 1
- Teoría de números 1
- lenguajes formales 1
- Álgebra booleana 1
-
1
-
2
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Pubblicazione 1965Libro -
3
Enumerability, decidability, computability: an introduction to the theory of recursive functions
Pubblicazione 1969Libro -
4
-
5
-
6
-
7
-
8
Introducción a la teoría matemática de las computadoras y de la programación
Pubblicazione 1967Libro