CES Felipe II - Web oficial  Ingeniería Técnica en Informática de Sistemas 
    Bienvenido/a       
Secciones

· Transparencias

· Varios

· Laboratorio

· Ficha de la Asignatura

· Listado de Asignaturas



Programación Lógica     
Titulación: Ingeniería Técnica en Informática de Sistemas Plan: 98 Curso académico: 2014-2015
Asignatura: Programación Lógica Código: 21116679 Tipo: Optativa Primer Cuatrimestre
Créditos BOE: 4.5
Créditos ECTS: Por determinar
Horas/semana primer cuatrimestre: 3 en aula
Profesor coordinador: Félix de Marcos Briones

Objetivos:
Esta asignatura optativa va dirigida a alumnos de segundo o tercer cursos de Ingeniería Técnica de Informática de Sistemas del CES Felipe II, que habrán recibido un curso de introducción a la programación en estilo imperativo y estarán estudiando simultáneamente, o habrán estudiado en el curso anterior, una asignatura de estructuras de datos. El objetivo principal del curso es dar a conocer la programación lógica destacando, por un lado, la precisión y sencillez de sus fundamentos lógicos; por otro lado, sus ventajas prácticas para el desarrollo de programas a un nivel de abstracción elevado, que facilita la concisión, la claridad, la corrección y la modificabilidad.
Conocimientos y destrezas que se requieren:
Idioma en que se imparte la asignatura: Español
Contenidos:
En el curso se exponen aspectos referentes a la semántica y modelo de cómputo y las técnicas específicas de programación que se ilustran por medio de ejemplos típicos, usando Prolog como lenguaje de referencia. Se espera que los alumnos adquieran la capacidad de manejar algoritmos y estructuras de datos en un lenguaje lógico, y que puedan demostrar dicha capacidad en la resolución de problemas de programación de mediana envergadura.
Conocimientos y destrezas que se adquieren:
Método docente:
La asignatura se impartirá sin una separación estricta entre clases teóricas y clases de problemas. La exposición de los temas del programa se irá intercalando en las clases con el planteamiento y resolución de ejercicios y problemas de programación. En principio, no se han planificado sesiones de laboratorio regulares para esta asignatura. No obstante, según avance el curso se dedicarán algunas sesiones a la realización de prácticas en Laboratorio, supervisadas por el profesor, con en el compilador SWI-Prolog. Esta herramienta es de dominio público y se puede descargar desde la página web http://www.swi-prolog.org/
Exámenes:
  • Examen Final en febrero
  • Examen Final en septiembre

Método de evaluación:
Evaluación continua basada en la asistencia obligatoria a clase. La calificación final dependerá de una serie de pruebas de evaluación a lo largo del curso, de la participación activa en las clases teóricas y prácticas, y de una prueba final. Los alumnos que no asistan a todas las clases o no superen el curso mediante la evaluación continua tendrán opción a realizar un examen final.
Bibliografía:
    1.- · PROLOG. Programming for Artificial Intelligence. I. Bratko. 3ª ed. Addison-Wesley, 2001.
    2.- · Programación en PROLOG. W. F. Clocksin, C. S. Mellish. 2ª ed. Gustavo Gili, 1990.
    3.- · The Art of Prolog. Advanced Programming Techniques. L. Sterling, E. Shapiro. The MIT Press, 1986.



[Volver]

 
Sugerencias, comentarios, errores ...
Escribe al Webmaster: webmaster seguido de @ y ajz.ucm.es