Buscar
Mostrando ítems 1-10 de 184
Máquinas de Turing paraconsistentes : una posible definición.
(2011-10-13)
Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...
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 ...
Máquinas sin engranajes y cuerpos sin mentes . ¿Cuán dualista es el Funcionalismo de Máquina de Turing ?
(Universidad de Chile, Facultad de Filosofía y Humanidades, 2011)
En este trabajo examino cómo el Funcionalismo de Máquina de Turing resulta compatible
con una forma de dualismo, lo que aleja a la IA clásica o fuerte del materialismo que la
inspiró originalmente en el siglo XIX. Para ...
Estrategias de modelización en Alan Turing: términos y conceptos de máquinaModelling Strategies in Alan Turing: Terms and Concepts of Machine
(Universidad Panamericana. Facultad de Filosofía, 2019-12-13)
En 1936 Alan Turing propuso sus máquinas automáticas como modelo de la computación realizada por un ser humano asistido sólo con recursos mecánicos. Sin embargo, tanto terminológicamente como conceptualmente, habría más ...
Algoritmos genéticos para la generación automática de máquinas de Turing
(Instituto Tecnológico y de Estudios Superiores de Monterrey, 1994)
Máquinas de Turing não determinísticas com combinadora para a computação de funções
(Florianópolis, SC., 2019)