Anda di halaman 1dari 3

CICLO ESCOLAR JULIO DICIEMBRE 2013-1

CATEDRTICO MATERIA Lic. Rafael Gamas Gutirrez. Programacin declarativa


HORARIO (Da(s) y Hora)

Sbado 13:30- 15:30

TEMA
1. PROGRAMACIN FUNCIONAL 1.1 Conceptos fundamentales 1.1.1 Estilos de programacin 1.1.2 Evaluacin de expresiones 1.1.3 Definicin de funciones 1.1.4 El clculo l 1.1.5 Disciplina de tipos 1.2 Tipos de datos 1.2.1 Valores numricos y booleanos 1.2.2 Caracteres y cadenas 1.2.3 Tipos enumerados 1.2.4 Tuplas 1.2.5 Tipos construidos 1.2.6 Tipos sinnimos 1.3 Programacin funcional con listas 1.3.1 El tipo de datos de las listas 1.3.2 Funciones que operan con listas 1.3.3 Intervalos y listas intencionales 1.3.4 Operadores de acumulacin 1.3.5 Aplicaciones de las listas

OBJETIVO(s) DE APRENDIZAJE
El alumno comprender los conceptos bsicos de la programacin funcional a travs del conocimiento del lenguaje Haskell El alumno conocer los operadores de clculo de Haskell El alumno conocer los tipos de datos y las conversiones de tipos manejadas por Haskell

ACTIVIDADES DE ENSEANZA APRENDIZAJE


Investigacin, comparacin con los conceptos bsicos de programacin estructurada

FECHA

HORAS

15/08/2012

Prcticas, Resolucin de problemas Prcticas, Investigacin

22/08/2012

29/08/2012

EL alumno aprender a manejar las listas en Haskell

Prcticas, Investigacin, problemas

Resolucin

de

5/09/2012

El alumno comprender el funcionamiento de los operadores de acumulacin y los aplicara a problemas con listas en Haskell

Prcticas, Investigacin

12/09/2012

TEMA
1.4 Programacin funcional con otros tipos de datos 1.4.1 Arboles 1.4.2 Aplicaciones de los rboles 1.4.3 Otros tipos de datos recursivos 1.4.4 Tipos de datos abstractos 1.5 Evaluacin perezosa 1039 1.5.1 La estrategia de evaluacin perezosa 1.5.2 Tcnicas de programacin funcional perezosa 2. PROGRAMACIN LGICA 2.1 Clculos con relaciones 2.1.1 Relaciones 2.1.2 Reglas y hechos 2.1.3 Consultas 2.1.4 Programacin lgica 2.2 Introduccin a Prolog 2.2.1 Trminos 2.2.2 Interaccin con Prolog 2.2.3 Consultas de existencia 2.2.4 Hechos y reglas universales 2.2.5 La negacin como fracaso 2.2.6 Unificacin 2.2.7 Aritmtica 2.3 Estructuras de datos en Prolog 2.3.1 Listas

OBJETIVO(s) DE APRENDIZAJE
El alumno aprender a resolver problemas con rboles en Haskell

ACTIVIDADES DE ENSEANZA APRENDIZAJE


Prcticas, Resolucin de problemas

FECHA

HORAS

19/09/2012
Prcticas, Resolucin de problemas

El alumno aprender a trabajar con colas en Haskell El alumno aprender a usar la tcnica de evaluacin perezosa en Haskell

26/09/2012
Prcticas, Investigacin.

03/10/2012

El alumno aprender las principales reglas y conceptos bsicos de la programacin lgica a travs del uso de Prolog

Prcticas, Investigacin

10/10/2012

El alumno se familiarizara con las consultas de informacin a travs de prolog. El alumno aprender a usar reglas de universalidad en la representacin de los hechos en prolog. El alumno aprender a unificar las reglas lgicas representadas en prolog y a incorporar operaciones aritmticas El alumno aprender a crear y manejar listas en prolog.

Prcticas, Resolucin de problemas

17/10/2012
Prcticas, Investigacin.

24/10/2012
Prcticas, Investigacin, problemas Resolucin de

31/10/2012

Prcticas, resolucin de problemas

7/11/2012

TEMA
2.3.2 Trminos como datos 2.4 Tcnicas de programacin 2.5 Control en Prolog 2.6 Corte
SUGERENCIAS DE ACTUALIZACIN DE CONTENIDOS

OBJETIVO(s) DE APRENDIZAJE
El alumno aprender las tcnicas de programacin de prolog El alumno aprender a usar estructuras de control en prolog

ACTIVIDADES DE ENSEANZA APRENDIZAJE


Prcticas, Investigacin

FECHA

HORAS

14/11/2012
Prcticas, Resolucin de ejercicios

21/11/2012

Incorporar el aprendizaje de lenguajes de programacin para robtica

CRITERIOS Y PROCEDIMIENTOS DE EVALUACIN Y ACREDITACIN


PRIMER PARCIAL SEGUNDO PARCIAL TERCER PARCIAL FINAL
Examen prctico (70%), practicas (20%), Investigacin (10%) Examen prctico (70%), practicas (20%), Investigacin (10%) Examen prctico (70%), practicas (20%), Investigacin (10%) Examen prctico (100%)

FECHA
12/09/2012 17/10/2012 21/11/2012 05/12/2012

BIBLIOGRAFA BSICA Y COMPLEMENTARIA TTULO


Introduccin al lenguaje Haskell The Art of Prolog Java 2 (Curso de Programacin Microsoft Windows, Linux, Solaris y Otros) Microprocesadores RICS Amplificadores Operacionales y Circuitos Lineales Jose E. Labra G. L.Sterling, E.Shapiro Ceballos, Fco. Javier Rodrguez, Clemente. Et, al Coughlin, Robert F. y Driscoll, Frederick F.

AUTOR

EDITORIAL
Universidad de Oviedo, Departamento de Informtica The MIT Press, Cambridge, Massachusetts Alfaomega Alfaomega Prentice Hall