BackTxosten teknikoak eta Lan dokumentuak;;Informes técnicos y Documentos de trabajo: Recent submissions
Now showing items 33-36 of 92
-
Algunas demostraciones de incomputabilidad usando la técnica de diagonalización
Ibáñez Martínez-Conde, Jesús
; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (2000)
Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido ... -
While programak: konputagarritasun teoria oinarritzeko tresna
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (1998)
Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen ... -
Los programas While: bases para una teoría de la computabilidad
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (1996)
La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a ... -
Hacia la adaptación al crédito europeo en autómatas y lenguajes formales
Sánchez Ortega, Ana (2007)
Durante el curso 2006-2007 la asignatura Autómatas y Lenguajes Formales se ha incorporado al proyecto SICRE (Seguimiento para la Introducción de los CRéditos Europeos). El presente documento recoge cuál ha sido la orientación ...