Αποτελέσματα αναζήτησης - "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