ItzuliZerendatu Lan Dokumentuak eta Txosten Teknikoak honen arabera: egilea"SÁNCHEZ ORTEGA, ANA"
12-tik 1-12 emaitza erakusten
-
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 ... -
Aplicación de nuevas tecnologías a la enseñanza
; Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2003)
La aplicación de las nuevas tecnologías de la información y las comunicaciones (NTIC) en la enseñanza se presenta, a menudo,como una innovación metodológica. Sin embargo, nuestra participación en algunas experiencias como ... -
Complemento práctico en la enseñanza de lenguajes formales usando las expresiones regulares en el contexto de aplicaciones web
Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2007)
Tradicionalmente la enseñanza de los autómatas y lenguajes formales basa su principal aplicación práctica en la construcción de compiladores. Sin embargo, las tareas de diseño y programación necesarias son excesivamente ... -
Concepción de un proyecto de teleformación para una asignatura universitaria
Bermejo Llopis, Miren Arantzazu; Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2003)
En este trabajo se presenta un modelo de estudio de viabilidad para el desarrollo de iniciativas de creación de software educativo on-line en el entorno universitario. Este modelo se articula de forma que pueda adaptarse ... -
Documentos de soporte para una práctica interuniversitaria de bases de datos
Sánchez Ortega, Ana; Jaime, Arturo; Blanco Arbe, José Miguel ; Domínguez, César (2011)
Este informe recoge la documentación generada para llevar a cabo una práctica interuniversitaria en el área de base de datos durante los cursos 09/10 y 10/11. Se ha desarrollado una experiencia entre la UPV/EHU y la ... -
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 ... -
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 ... -
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 ...