Grupo: Grupo de CLASES TEORICAS de LOGICA Y PROGRAMACION(878667)
ASIGNATURA:
"Lógica y Programación"
DATOS BÁSICOS DE LA ASIGNATURA/GRUPO
Titulación:
Asignatura: Código:
Curso:
Año del plan de estudio:
Tipo: Ciclo: Período de impartición: Departamento: Área: Dirección postal: Centro: Dirección electrónica: Horas totales (ECTS):
Créditos LRU teóricos: Créditos LRU prácticos:
Horas presenciales (ECTS): Horas no presenciales (ECTS): Créditos totales (LRU):
Créditos totales (ECTS):
90.0 6.0
0º
C/ TARFIA, S/N 41012 Segundo Cuatrimestre
INGENIERO EN INFORMÁTICA ( Plan 97 )
Lógica y Programación
60.0
http://www.cs.us.es
Escuela Técnica Superior de Ingeniería Informática
150.0
Ciencias de la Computación e Inteligencia Artificial CIENCIAS DE LA COMP. E INTEL. ARTIF.
6.0 3.0 1997 0º 3.0 Optativa 260046
Grupo de CLASES TEORICAS de LOGICA Y PROGRAMACION (1) Grupo:
PROFESORADO
CHAVEZ GONZALEZ, ANTONIA MARIA (COORDINADOR/A) 1
Titulacion: INGENIERO EN INFORMÁTICA ( Plan 97 )
Curso: 2009 - 2010
OBJETIVOS Y COMPETENCIAS
Competencias transversales/genéricas
Objetivos docentes específicos
Se conciencia al alumno sobre la importancia actual de la lógica proposicional para resolver problemas diversos y proporcionarle unos conocimientos básicos sobre distintos algoritmos de resolución del problema de satisfacibilidad proposicional, así como de las técnicas de implementación al uso. Se le adiestra en el conocimiento y utilización con propiedad del lenguage de la lógica así como de la terminología y expresiones escritas específicas. Se proporciona al alumno unos conocimientos básicos sobre distintos principios y técnicas de programación funcional. Resolución de problemas típicos con un lenguaje de programación representativo. Aplicaciones.
Competencias
Capacidad de organizar y planificar (Se entrena de forma moderada) Capacidad de análisis y síntesis (Se entrena de forma moderada) Conocimientos generales básicos (Se entrena de forma moderada) Comunicación escrita en la lengua nativa (Se entrena de forma moderada) Habilidades elementales en informática (Se entrena de forma moderada) Resolución de problemas (Se entrena de forma intensa)
Toma de decisiones (Se entrena de forma intensa)
Capacidad de crítica y autocrítica (Se entrena de forma moderada) Trabajo en equipo (Se entrena débilmente)
Capacidad para aplicar la teoría a la práctica (Se entrena de forma intensa) Capacidad de aprender (Se entrena de forma intensa)
Habilidad para trabajar de forma autónoma (Se entrena de forma intensa) Planificar y dirigir (Se entrena de forma moderada)
Iniciativa y espíritu emprendedor (Se entrena de forma moderada) Inquietud por la calidad (Se entrena de forma moderada) Inquietud por el éxito (Se entrena de forma moderada)
CONTENIDOS DE LA ASIGNATURA
Implementación de algoritmos de la lógica proposicional mediante programación funcional.
Bloque 1: Programación Funcional
Tema 1: Introducción a la programación funcional
Funciones. Sesiones y declaraciones. Reducción. Sobre Haskell. Tema 2: Programación Funcional con Haskell
El lenguaje Haskell. Tipos y clases de tipos. Jerarquía. Contextos. Subclases.
La clase Read y Show.Tipos simples predefinidos. Constructores de tipos predefinidos. Operadores.Patrones. Parcialización. Polimorfismo.Sinónimos. Definición de tipos de datos. Sobrecarga
y polimorfismo restringido.Tipos y clases de tipos. Jerarquía. Contextos. Subclases.
La clase Read y Show. El tipo Lista. Concatenación. Inducción sobre listas. Selectores. Listas por comprensión. Map.Plegado. Ordenación. Bloque 2: Lógica Proposicional
Tema 3: Sintaxis y Semántica de la Lógica Proposicional Tema 4: Formas Normales
Tema 5: Cláusulas y Formas Clausales Tema 6: Tableros Semánticos Tema 7: Cálculo de Secuentes
Tema 8: El Procedimiento de Davis y Putnam Tema 9: Resolución Proposicional
Tema 10: Refinamientos de Resolución
Relación sucinta de los contenidos (bloques temáticos en su caso)
Relación detallada y ordenación temporal de los contenidos
ACTIVIDADES FORMATIVAS
Horas presenciales: Horas no presenciales: 30.0 45.0 Prácticas de Laboratorio Horas presenciales: Horas no presenciales: 30.0 45.0 Clases teóricas
BIBLIOGRAFÍA Y OTROS RECURSOS DOCENTES Bibliografía general
Razonando con Haskell :un curso sobre programación funcional /Blas Carlos Ruiz Jimenez ... [et al.]
NULL NULL
D.L. 2004.
Autores: Edición:
Publicación: ISBN: 84-9732-277-0
The haskell school of Expression
paul hudak NULL
NULL
Autores: Edición:
Publicación: ISBN: 0-521-64408-9
Symbolic Logic and Mechanical Theorem Proving.
Chang, C.L. y Lee, R.C.T NULL
NULL
Autores: Edición:
Publicación: ISBN: NULL
Iniciación a la Lógica
Díez Calzada, J. A. NULL
NULL
Autores: Edición:
Publicación: ISBN: 84-344-8764-0
The Haskell Road to Logic, Maths and programming Vol 4.
Doets, K., van Eijck, J. NULL
2004
Autores: Edición:
Publicación: ISBN: NULL
Logical Foundations of Artificial Intelligence
Genesereth, M.R. y Nilsson, N.J. NULL NULL
Autores: Edición:
Publicación: ISBN: NULL
Inteligencia Artificial: un enfoque moderno
Russel, S., Norvig, P. NULL
NULL
Autores: Edición:
Publicación: ISBN: 84-205-4003-x
En la página de la asignatura se encuentra material complementario como manuales, ejercicios y enlaces relacionados.
Otros recursos docentes
Razonamento con HaskellL: Un curso so¡bre programación Funcional
Ruiz, Gutiérrez, Guerrero, Gallardo. NULL NULL
Autores: Edición:
Publicación: ISBN: 84-9732-277-0
SISTEMAS Y CRITERIOS DE EVALUACIÓN Y CALIFICACIÓN Sistema de evaluación
SISTEMAS: Evaluación tradicional en convocatorias oficiales y evaluación alternativa a la tradicional.
Evaluación tradicional: examen final teórico-práctico en convocatoria oficial.
La evaluación alternativa consistirá en la realización de pruebas de carácter teórico y/o práctico.
Los criterios de evaluación coinciden por las competencias y objetivos marcados por la asignatura y el nivel de desarrollo adquirido por los alumnos.
Criterios de calificación
TRIBUNALES ESPECÍFICOS DE EVALUACIÓN Y APELACIÓN
JOSE A. ALONSO JIMENEZ
Presidente:
Vocal: ALEJANDRO FERNANDEZ MARGARIT
MARIO DE JESÚS PÉREZ JIMÉNEZ
Secretario:
Primer suplente: FRANCISCO FELIX LARA MARTIN
JOAQUIN BORREGO DIAZ
Segundo suplente:
MARIA JOSE HIDALGO DOBLADO
ANEXO 1:
HORARIOS DE LOS GRUPOS NO PRINCIPALES DE LA ASIGNATURA Y DEL GRUPO DEL PROYECTO DOCENTE
GRUPO: Grupo de CLASES DE LABORATORIO de LOGICA Y PROGRAMACION (879896)
Calendario del grupo
CLASES DEL PROFESOR: RISCOS NUÑEZ, AGUSTIN
Del al De a
SIN
Fecha: Hora:
Aula:
GRUPO: Grupo de CLASES DE LABORATORIO de LOGICA Y PROGRAMACION (894630)
Calendario del grupo
CLASES DEL PROFESOR: GRACIANI DIAZ, MARIA CARMEN
Del al De a
SIN
Fecha: Hora:
Aula:
GRUPO: Grupo de CLASES TEORICAS de LOGICA Y PROGRAMACION (878667)
Calendario del grupo
CLASES DEL PROFESOR: CHAVEZ GONZALEZ, ANTONIA MARIA
Lunes
Del 15/02/10 al 11/06/10 De 08:30 a 10:30 AULA H0.10
Fecha: Hora: