BackBrowsing INVESTIGACIÓN by Author "Ibáñez, Jesús"
Now showing items 1-11 of 11
-
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 ... -
Aprendizaje basado en proyectos aplicado a la asignatura Ingeniería del software : guía del docente y guía del estudiante
; Ibáñez Martínez-Conde, Jesús; Iturrioz Sánchez, Juan Ignacio ; Vadillo Zorita, José Ángel (2012)
Este informe recoge las guías del docente y del estudiante para la puesta en marcha, seguimiento continuo y evaluación de la asignatura Ingeniería del Software del segundo curso del Grado en Ingeniería Informática. Todo ... -
Aprendizaje Basado en Proyectos para la asignatura Ingeniería del Software
Goñi Sarriguren, Alfredo; Vadillo Zorita, José Ángel; Iturrioz Sánchez, Juan Ignacio ; Ibáñez Martínez-Conde, Jesús (Vicerrectorado de Calidad e Innovación Docente, 2013-12-16)
En este recurso se presenta una experiencia docente diseñada e implementada que utiliza la metodología de Aprendizaje Basado en Proyectos en la asignatura Ingeniería del Software I, correspondiente al cuarto cuatrimestre ... -
Ikasketa automatiko teknikak Super Mario bideo-jokoan
(2020-12-04)Proiektu honetan hainbat errefortzu bidezko ikasketa automatiko teknika aplikatzen dira urteetan zehar nola eboluzionatu duten ikusteko. Super Mario (NES) bideo-jokoa erabiliko da ikusmen bidez ikasteko. -
Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (2000)
Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan ... -
Konputagarritasunerako oinarrizko teknikak
Irastorza Goñi, María Aránzazu; Sánchez Ortega, Ana ; Ibáñez Martínez-Conde, Jesús (2017)
Konputagarritasunaren Teoriak sistema informatikoek algoritmoen diseinuaren bitartez problemak ebaztean dituzten muga logikoak ezartzea du helburu. Txosten honetan teoria horren alderdi sinpleena aztertzen da. Konputagar ... -
El método de reducción en Teoría de la Computabilidad
Sánchez Ortega, Ana; Ibáñez Martínez-Conde, Jesús ; Irastorza Goñi, María Aránzazu (2010)
La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante ... -
Oinarrizko programazioa
Azpeitia Lakuntza, Iker Aitor; Ibáñez Martínez-Conde, Jesús (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2020)
Eskuliburu honen helburua informatikaren oinarriak erakustea da, programazioari dagozkion funtsak aditzera eman arte. Gipuzkoako Ingeniaritza Eskolako (Eibarko atala) Informatika irakasgaian erabiltzeko sortu da. Energia ... -
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 ... -
Técnicas básicas de computabilidad
Irastorza Goñi, María Aránzazu; Sánchez Ortega, Ana ; Ibáñez Martínez-Conde, Jesús (2003)
La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante ... -
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 ...