Guia docente 2012_13 E. S. de Ingeniería Informática

Contidos

Tema	Subtema
TEMA 1 Paradigma imperativo	1.1.- Máquinas de Turing (MTs): Lenguajes recursivos y recursivos enumerables. Funciones total y parcialmente recursivas. Hipótesis de Church. 1.2.- Construcción de MTs: Técnicas de construcción. Modificaciones del modelo. Modelos restringuidos. 1.3.- Decidibilidad: Problema de la parada. Reducción de problemas. Problemas no decidibles.
TEMA 2: Paradigma funcional	2.1.- Lambda cálculo: Lambda términos. Reducción. Confluencia y noetherianidad. 2.2.- Sistemas de reescritura: Normalización. Confluencia y noetherianidad. Teorema de Church-Rosser.
TEMA 3: Paradigma lógico	3.1.- Cálculo de proposiciones: Evaluación, leyes de equivalencia y reglas de inferencia. 3.2.- Cálculo de predicados: Cuantificadores y sustituciones. Unificación. Resolución. Control y negación.
TEMA 4: Programación orientada a objetos	4.1.- Técnicas de implementación