UNIVERSIDAD DE CÓRDOBA

Prof. Dr. Nicolás Luis Fernández García

---

Página inicial     Datos personales      Docencia      Investigación      Enlaces de interés       Lista de actualizaciones

---

Lenguajes de Inteligencia Artificial

Ingeniería Técnica en Informática de Gestión e Ingeniería Técnica en Informática de Sistemas

 Departamento de Informática y Análisis Numérico

Escuela Politécnica Superior

Curso académico: 2009 - 2010

• Descripción de la asignatura
• Material docente
• Teoría 
• Prácticas 
• Trabajo de teoría 
  
• Exámenes y calificaciones 
• Enlaces
• Avisos 

• Guía docente de la asignatura
• Ingeniería Técnica en Informática de Sistemas
• Versión en castellano

• Asignatura
•  Lenguajes de Inteligencia Artificial
  
• Titulación: Ingeniería Técnica en Informática de Sistemas
  
• Segundo curso
• Primer cuatrimestre
• Asignatura optativa
• 4'5 créditos: 3 teóricos y 1'5 prácticos.

• Profesor
• Prof. Dr. Nicolás Luis Fernández García
• Horas de consulta en Rabanales

• Aulas de docencia
• Teoría: aula B4 del aulario Averroes del Campus de Rabanales  
• Prácticas: aula de informática B3 del edificio Ramón y Cajal

• Horario de clases: 3 horas semanales
  
• Primer cuatrimestre
  
• Teoría: miércoles de 8:30 a 10:30 horas
  
• Prácticas: martes de 17:00 a 18:00 horas

• Teoría
• Tema 1: Introducción al lenguaje Scheme
• Versión en castellano: 
• fichero pdf
• fichero pdf para tomar  notas
• English version
• pdf file
• pdf file for annotations

• Tema 4: Iteración y recursión
• Funciones pasadas como parámetros: 
• Series NO paramétricas (fichero pdf)
• Series paramétricas (fichero pdf)
• Funciones pasadas como parámetros y función devuelta como resultado
• Ejemplo en Scheme
• Función que compone funciones

• Tema 5: Tipos compuestos de datos
• Vectores
• Ejemplos básicos
• Producto de matrices en Scheme: producto.scm
• Ejemplos básicos de pares y listas
• Funciones con listas  (fichero pdf) 
• Ejemplos en Scheme
• Elementos
• Invertir
• Pertenece
• Funciones con parámetros variables (fichero pdf)
• Ejemplos en scheme
• Escritura de cadenas 
• Suma de números

• Tema 6: Abstracción de datos (fichero pdf)
• Ejemplos en Scheme
• Tipo abstracto libro 
• Tipo abstracto árbol 

• Tema 7: Lectura y escritura
• Programa de ejemplo de un "menú".
• Programa de ejemplo de gestión de donantes de sangre.
• Interacción entre ficheros y procedimientos
• Ejemplos en Scheme
• hanoi.scm
• ejemplo-with-output-to-file.scm
• ejemplo-with-input-from-file.scm
• ejemplo-call-with-input-file.scm
• ejemplo-call-with-output-file.scm

• Tema 8: Introducción al lenguaje Prolog 
• Fichero pdf
• Fichero pdf para poder tomar notas.
• Ejemplos de Prolog
• cosas.pl
• hombre.pl
• carretera.pl
• familia.pl

• Tema 9: Elementos básicos de Prolog
• Ejemplos de Prolog
• persona.pl
• fibonacci.pl
• factorial.pl
• primo.pl
• max.pl
• mcd.pl
• reinado.pl

• Tema 10: Listas
• Ejemplos de Prolog
• pertenece.pl
• concatenar.pl
• incluir.pl
• borrado.pl
• sublista.pl
• permutar.pl
• invertir.pl
• rotar.pl
• Problema de las ocho reinas:
• reinas.pl
• documento pdf

• Tema 11: La reeveluacion y el corte
• Ejemplos de Prolog
• Generación de múltiples soluciones
• mes.pl
• personas.pl
• donantes.pl
• El corte y equivalencia con not
• Evitar generar múltiples soluciones: solución única
• funcion.pl
• notas.pl
• max_corte.pl
• mcd_corte.pl
• pertenece.pl
• veces.pl
• crear_enteros.pl
• elementos.pl
• extremos.pl
• filtrar.pl
• Confirmar el uso de una regla
• libros.pl
• deportistas.pl
• borrar.pl
• comunes.pl
• factorial_corte.pl
• fibonacci_corte.pl
• incluir_con_corte.pl
• lugar.pl
• Provocar un fallo inmediato
• comida.pl
• animal.pl

• Tema 12: Lectura y escritura
• Escribir
• ejemplo.pl
• escribir1.pl
• escribir2.pl
• escribir3.pl
• escribir_cadena.pl
• estrellas.pl
• hanoi.pl
• preorden.pl
• Leer y escribir
• blancos.pl
• contar.pl   y entrada.txt
• cubos.pl
• padre.pl
• lee_frases.pl

• Prácticas
• Scheme:
• Práctica 1:  Introducción al lenguaje Scheme
• Primera función en Scheme: cuadrado.s
• Práctica 2: Predicados y sentencias condicionales 
• Práctica 3: Iteración y recursión
• Práctica 4: vectores, listas, tipos abstractos de datos  y entrada y salida

• Prolog
• Práctica 5: Introducción al lenguaje Prolog

• Trabajo de teoría

• Trabajo sobre Conceptos de Scheme
• Finalización del plazo de entrega: miércoles 16 de diciembre de 2009

• Convocatoria del primer cuatrimestre de 2010 
• Fecha: 26 de enero de 2010
  
• Hora: 9:00
• Aula: Aula 2 del edificio Leonardo Da Vinci
• Calificaciones (publicadas el 26 de enero de 2010)
• Solución del examen (no es la única)
• Scheme
• Prolog

• Convocatoria de septiembre de 2010
• Fecha: 15 de septiembre de 2010
  
• Hora: sin confirmar
  
• Aula: sin confirmar

• Convocatoria de diciembre de 2009
• Fecha: 2 de diciembre de 2009
  
• Hora: 11:00
  
• Aula: S 3 del edificio C 3
• Calificaciones 
  

• Examen del curso 2006 - 2007
• Enunciado del examen de 12 de febrero de 2007
• Soluciones del examenes (no son las únicas soluciones posibles)
• Parte de Scheme
• Parte de Prolog
  

• Examen del curso 2008 - 2009
• Enunciado del examen de 11 de febrero de 2009
• Solución del examen (no es la única)

• La asignatura de Lenguajes de inteligencia artificial en la plataforma de docencia virtual moodle
• Scheme
• Revised5 Report on the Algorithmic Language Scheme
• Manual de referencia en español (elaborado por el departamento de Ciencias de la computación e inteligencia artificial de la Universidad de Sevilla)
• Structure and Interpretation of Computer Programs, Abelson y Sussman, MIT Press 1996
• Dybvig, R. K.  The Scheme Programming Language. Second edition. Prentice Hall
• Dorai Sitaram. Teach Yourself Scheme in Fixnum Days
• Practical  Scheme
• Scheme in MIT

• Información relativa a DrScheme
  
• http://www.drscheme.org
• http://www.cs.rice.edu/CS/PLT
• A brief tour of DrScheme

•  Prolog:
• Manual de referencia de swi - prolog: swirefman.pdf.
• Fichero de instalación de swi - prolog  en diferentes sistemas operativos.
• Página principal de swi-prolog
  

• En esta sección, se publicarán noticias relacionadas con la asignatura.

• 21 de septiembre de 2009:
• Clases de teoría: las clases de teoría se impartirán junto con el grupo de Ingeniería Técnica de Informática de Gestión en el aula B4 del aulario Averrores