检索结果 - "MAQUINAS DE TURING"
在您的搜寻 主题建议
在您的搜寻 主题建议
- MAQUINAS DE TURING 8
- 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
Introducción a la teoría matemática de las computadoras y de la programación
出版 1967主题: “...MAQUINAS DE TURING CL-VaPUC 503856...”
图书 -
2
-
3
An algebraic introduction to mathematical logic
出版 1975主题: “...MAQUINAS DE TURING CL-VaPUC 422087...”
图书 -
4
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
出版 1965主题: “...MAQUINAS DE TURING CL-VaPUC 422089...”
图书 -
5
-
6
-
7
Enumerability, decidability, computability: an introduction to the theory of recursive functions
出版 1969主题: “...MAQUINAS DE TURING CL-VaPUC 422099...”
图书 -
8