खोज परिणाम - "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
Teoría de autómatas y lenguajes formales
प्रकाशित 1995विषय: “…MAQUINAS DE TURING CL-VaPUC 441705…”
पुस्तक -
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