Los programas While: bases para una teoría de la computabilidad

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 un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.

Concepción de un proyecto de teleformación para una asignatura universitaria

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 a la realización de un Proyecto de Fin de Carrera (PFC) de Ingeniería Informática siendo su objetivo llevar a cabo estudios, de coste y esfuerzo, previos al desarrollo de iniciativas del tipo señalado. Este planteamiento exige la necesidad de un estudio previo para ajustar expectativas de los diferentes agentes implicados, de forma que pueda asegurarse la realización del proyecto fin de carrera en los términos técnicos y temporales necesarios. Tras esta fase previa se siguen otras cinco fases de trabajo divididas en dos grupos: el desarrollo de un prototipo con parte de los contenidos de la asignatura y el diseño del curso completo. de las experiencias desarrolladas se puede concluir que los diseños de las asignaturas completas tendrán elevados costes económicos y de trabajo e implicación, por lo que la rentabilidad de la puesta en marcha de este tipo de formación deberá ser cuidadosamente estudiada.