Buscar
Mostrando ítems 1-10 de 80
Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2006-05-19)
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 ...
Computabilidad y logica
(1994)
ENTREVISTA COM O PROF. DR. WALTER ALEXANDRE CARNIELLI
(Faculdade de Filosofia e Ciências, 2012)
Computabilidad y decidibilidad
(Universidad Nacional de Ingeniería, 2013)
Dificultades en la apropiación del concepto de computabilidad en estudiantes de Ingeniería de Sistemas.
(Corporación Universitaria Minuto de Dios.PosgradoMaestría en Educación, 2020-11-22)
El proyecto de investigación “dificultades en la apropiación del concepto de computabilidad en
estudiantes de ingeniería de sistemas” se realizó en la ciudad de Bogotá, durante el primer semestre
del año 2020, en la ...
Computabilidad y decidibilidad
(Universidad Nacional de Ingeniería, 2013)
Computabilidad y equivalencias al problema de la detención
(Universidad Michoacana de San Nicolás de Hidalgo, 2016-01)
In this project a tool named Turing machine is used for classifying math problems through their complexity, that is, one is harder than other if it has a major complexity degree. The complexity degree of a math problem is ...