Mostrando ítems 1-10 de 32
Indução finita, deduções e máquina de Turing
(Universidade Estadual Paulista (Unesp), 2017-06-29)
Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ...
Computabilidad y máquina de Turing
(Universidad Nacional Mayor de San MarcosPE, 2011)
La presente investigación evalúa el concepto de computabilidad en la teoría de Alan Turing, justificándose por la existencia de opiniones divergentes entre diversos académicos, expresadas alrededor del significado de la ...
Teoria quântica da computação
(Universidade Estadual Paulista (Unesp), 2015)
This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such ...
Algunas propiedades dinámicas de modelos de máquinas de Turing Some Dynamical Properties of Turing Machine Dynamical Models
(Universidad de Concepción . Facultad de Ciencias Físicas y Matemáticas. Departamento de Ingeniería Matemática, 2016)
This doctoral thesis is centered on the study of the dynamical properties concerning Turing machines. A Turing machine is quite simple, yet powerful, consisting in a bi-infinite tape of finite alphabet, finite internal ...
Da computação paraconsistente a computação quantica
([s.n.], 2006)
Sistema de control de trámites utilizando máquinas de Turing. Caso: División de gestiones admisiones y registros U.M.S.A.
(2011-07-01)
La División de Gestiones Admisiones y Registros perteneciente a la Universidad Mayor de San
Andrés es la unidad encargada del ingreso, movilidad estudiantil, modalidades de graduación y
otros procesos complementarios que ...
Aspectos de aleatoriedadAspects of randomness
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2006)
Computabilidad y decidibilidad
(Universidad Nacional de Ingeniería, 2013)