PROYECTO DOCENTE ASIGNATURA: "Lógica Informática"

Transcripción

1 PROYECTO DOCENTE ASIGNATURA: "Lógica Informática" Grupo: Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS)(948465) Titulacion: Grado en Ingeniería Informática-Ingeniería del Software Curso: DATOS BÁSICOS DE LA ASIGNATURA/GRUPO Titulación: Año del plan de estudio: Centro: Asignatura: Código: Tipo: Curso: Período de impartición: Ciclo: Grupo: Créditos: Horas: Área: Departamento: Dirección postal: Dirección electrónica: Grado en Ingeniería Informática-Ingeniería del Software 2010 E.T.S. Ingeniería Informática Lógica Informática Obligatoria 2º Primer Cuatrimestre 0º Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS) (4 INGLES) Ciencia de la Computación e Inteligenc. Artificial (Área principal) Ciencias de la Comput. e Int. Artificial (Departamento responsable) ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA, C/ TARFIA, S/N SEVILLA COORDINADOR DE LA ASIGNATURA ALONSO JIMENEZ, JOSE ANTONIO PROFESORADO 1 CORDON FRANCO, ANDRES Curso académico: 2015/2016 Última modificación: de 6

2 OBJETIVOS Y COMPETENCIAS Objetivos docentes específicos Estudiar la representación del conocimiento (mediante la lógica proposicional y de primer orden) y métodos de razonamiento (deducción natural, tableros semánticos y resolución). Competencias Competencias transversales/genéricas G08: Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones. G09: Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero Técnico en Informática. Competencias específicas E01: Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar los conocimientos sobre: álgebra lineal; cálculo diferencial e integral; métodos numéricos; algorítmica numérica; estadística y optimización. E03: Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería. E12: Conocimiento y aplicación de los procedimientos algorítmicos básicos de las tecnologías informáticas para diseñar soluciones a problemas, analizando la idoneidad y complejidad de los algoritmos propuestos. E13: Conocimiento, diseño y utilización de forma eficiente los tipos y estructuras de datos más adecuados a la resolución de un problema. E14: Capacidad para analizar, diseñar, construir y mantener aplicaciones de forma robusta, segura y eficiente, eligiendo el paradigma y los lenguajes de programación más adecuados. E21: Conocimiento y aplicación de los principios fundamentales y técnicas básicas de los sistemas inteligentes y su aplicación práctica. E41: Capacidad para conocer los fundamentos, paradigmas y técnicas propias de los sistemas inteligentes y analizar, diseñar y construir sistemas, servicios y aplicaciones informáticas que utilicen dichas técnicas en cualquier ámbito de aplicación. Capacidad para la resolución de los problemas lógicos que puedan plantearse en la ingeniería. Capacidad para comprender y dominar los conceptos fundamentales de la lógica computacional y su aplicación para la resolución de problemas propios de la ingeniería. Conocimiento y aplicación de los procedimientos algorítmicos para diseñar soluciones a problemas lógicos, considerando la idoneidad y complejidad de los algoritmos propuestos. Conocimiento de las estructuras de datos más adecuadas a la resolución de problemas de la lógica computacional. Capacidad para construir aplicaciones de lógica computacional eligiendo el paradigma y lenguaje de programación más adecuado. Capacidad para conocer analizar, diseñar y construir sistemas de lógica computacional utilizando técnicas propias de los sistemas inteligentes. Capacidad para formalizar y representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático. Capacidad de representar lógicamente el conocimiento. Capacidad para entender el significado de las fórmulas lógicas, traducirlas al castellano y viceversa. Capacidad de razonar usando distintos cálculos lógicos. Capacidad de demostrar y refutar argumentos usando distintas técnicas. Capacidad de comprender la relaciones entre los distintos cálculos lógicos. Capacidad de apreciar las relaciones entre la lógica y la informática. Capacidad de conocer propiedades fundamentales de los cálculos lógicos, tales como adecuación y completitud. Habilidad para construir y desarrollar argumentos lógicos, identificando claramente las hipótesis y las conclusiones. Curso académico: 2015/2016 Última modificación: de 6

3 Habilidad para presentar argumentos y conclusiones con claridad y exactitud. Capacidad de usar la lógica para especificar, verificar y razonar sobre programas informáticos. Capacidad para identificar problemas que pueden expresarse como problemas problemas lógicos, traducirlo a la forma apropiada y conocer cómo resolverlos mediante los correspondientes algoritmos. CONTENIDOS DE LA ASIGNATURA Relación sucinta de los contenidos (bloques temáticos en su caso) * Sistemas lógicos de representación del conocimiento: Sintaxis y semántica de la Lógica proposicional y de la Lógica de primer orden. * Cálculos lógicos: Deducción natural, tableros semánticos y resolución. Relación detallada y ordenación temporal de los contenidos Tema 1: Sintaxis y semántica de la lógica proposicional. Tema 2: Cálculo para la lógica proposicional. Tema 3: Tableros semánticos proposicionales. Tema 4: Formas normales. Tema 5: Resolución proposicional. Tema 6: Sintaxis y semántica de la lógica de primer orden. Tema 7: Cálculo para la lógica de primer orden. Tema 8: Tableros semánticos en lógica de primer orden. Tema 9: Formas normales de Skolem y cláusulas. Modelos de Herbrand. Tema 10: Resolución en lógica de primer orden. El tiempo del curso se reparte de manera equitativa entre cada uno de los temas aproximadamente. ACTIVIDADES FORMATIVAS Relación de actividades formativas del cuatrimestre Clases teóricas Horas presenciales: Horas no presenciales: Metodología de enseñanza-aprendizaje: La metodología empleada en las actividades lectivas será activa, buscando en todo momento la implicación por parte del alumnado en el proceso de aprendizaje. Competencias que desarrolla: Todas. Clases prácticas en el aula Horas presenciales: Horas no presenciales: Metodología de enseñanza-aprendizaje: La metodología empleada en las actividades lectivas será activa, buscando en todo momento la implicación por parte del alumnado en el proceso de aprendizaje. Competencias que desarrolla: Todas. BIBLIOGRAFÍA E INFORMACIÓN ADICIONAL Bibliografía general Elementos de lógica formal C. Badesa, I. Jané y R. Jansana Edición: 1998 Publicación: Ariel Curso académico: 2015/2016 Última modificación: de 6

4 Mathematical logic for computer science M. Ben-Ari Edición: 2012 Publicación: Springer Verlag Logic in computer science: modelling and reasoning about systems M. Huth y M. Ryan Edición: 2004 Publicación: Cambridge University Press Logic for computer scientists U. Schöning Edición: 1989 Publicación: Birkhäuser Bibliografía específica Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) J.A. Alonso y J. Borrego Edición: 2002 Publicación: Ed. Kronos Información adicional En la página de la asignatura en la Red ( se encuentra los apuntes, las transparencias, las relaciones de ejercicios y los exámenes resueltos de cursos anteriores. SISTEMAS Y CRITERIOS DE EVALUACIÓN Y CALIFICACIÓN Sistema de evaluación Sistema de evaluación y calificación La evaluación de los resultados de aprendizaje se realizará usando algunos de los mecanismos descritos en el Reglamento de Actividades Docentes de la Universidad de Sevilla, lo que incluye, entre otros, exámenes escritos o de laboratorio y trabajos académicamente dirigidos. La calificación se realizará de acuerdo con el Reglamento de Actividades Docentes de la Universidad de Sevilla Evaluación por curso La evaluación por curso consta de exámenes parciales y trabajos. La nota por curso se obtiene a partir de las notas de los exámenes parciales y de los trabajos. Evaluación final Los alumnos que no hayan aprobado por curso podrán presentarse al examen final. Criterios de calificación En la evaluación por curso, la nota final se calcula a partir de las notas de las actividades de evaluación. En las convocatorias oficiales la nota es la nota del examen. Para aprobar la asignatura basta obtener al menos un 5 en la evaluación por curso o en alguna de las convocatorias oficiales. CALENDARIO DE EXÁMENES La información que aparece a continuación es susceptible de cambios por lo que le recomendamos que la confirme con el Centro cuando se aproxime la fecha de los exámenes. Curso académico: 2015/2016 Última modificación: de 6

5 CENTRO: E.T.S. Ingeniería Informática 1 ª Convocatoria 4/2/2016 Hora: 9:0 A determinar CENTRO: E.T.S. Ingeniería Informática 2 ª Convocatoria 7/9/2016 Hora: 9:0 A determinar CENTRO: E.T.S. Ingeniería Informática Diciembre 10/12/2015 Hora: 9:0 A determinar TRIBUNALES ESPECÍFICOS DE EVALUACIÓN Y APELACIÓN Presidente: Vocal: Secretario: Primer suplente: Segundo suplente: Tercer suplente: MARIO DE JESUS PEREZ JIMENEZ JOSE ANTONIO ALONSO JIMENEZ JOAQUIN BORREGO DIAZ FRANCISCO FELIX LARA MARTIN MARIA JOSE HIDALGO DOBLADO JOSE LUIS RUIZ REINA ANEXO 1: HORARIOS DEL GRUPO DEL PROYECTO DOCENTE Los horarios de las actividades no principales se facilitarán durante el curso. GRUPO: Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS) (948465) Calendario del grupo CLASES DEL PROFESOR: CORDON FRANCO, ANDRES Martes Del 21/09/2015 al 15/01/2016 Hora: De 12:35 a 14:35 AULA A2.15 Jueves Del 21/09/2015 al 15/01/2016 Hora: De 12:35 a 14:35 AULA A2.15 Curso académico: 2015/2016 Última modificación: de 6

6 Curso académico: 2015/2016 Última modificación: de 6