Vista normal
Vista MARC
Teoría de las máquinas (Término tópico)
Esta autoridad no está utilizada en ningún registro.
Usado por/ver desde:
- Máquinas abstractas
- Autómata
- Teoría matemática de las máquinas
- Máquinas, Teoría de las
- Machine theory
Ver además:
- Encabezamiento genérico: Algoritmos
- Encabezamiento genérico: Lógica simbólica y matemática
- Encabezamiento genérico: Modelos matemáticos
- Encabezamiento genérico: Funciones recursivas
- Robótica
- Encabezamiento específico: Inteligencia artificial
- Encabezamiento específico: Teoría de la codificación
- Encabezamiento específico: Complejidad computacional
- Encabezamiento específico: Computadoras
- Encabezamiento específico: Teoría del control
- Encabezamiento específico: Lenguajes formales
- Encabezamiento específico: Autómatas borrosos
- Encabezamiento específico: Complejidad de Kolmogorov
- Encabezamiento específico: Sistemas L
- Encabezamiento específico: Diseño lógico
- Encabezamiento específico: Autoadaptación de la máquina
- Encabezamiento específico: Máquinas de Post
- Encabezamiento específico: Autómata probabilístico
- Encabezamiento específico: Sistemas de reescritura (Computación)
- Encabezamiento específico: Teoría de las máquinas secuenciales
- Encabezamiento específico: Teoría de la conmutación
- Encabezamiento específico: Autómata temporal
- Encabezamiento específico: Máquinas de Turing
- Encabezamiento específico: Prueba de Turing
DGB/UNAM, 2 diciembre 2008: catálogo electrónico (Teoría de las máquinas)
Biblioteca del Congreso (Estados Unidos), 2 diciembre 2008: catálogo electrónico (Machine theory)
LEMB, 1998: p. 1006 (Teoría de las máquinas)
Aquí se asientan las obras sobre modelos matemáticos abstractos de aparatos que operan dentro de un sistema lógico de acuerdo con un algoritmo dado. Esta teoría puede ser usada como base para el diseño, aunque no está relacionada con el hardware.