logica computacional Tema 0: Introducción a la Lógica Computacional

Transcripción

1 Tema 0: Introducción a la Lógica Computacional

2 De qué trata la lógica? Introducción Porqué lógica computacional?

3 Introducción - De qué trata la lógica? Lenguaje humano, dimensiones Breve reseña histórica Sintáctica Semántica Pragmática Lógica clásica Lógica moderna

4 Motivación (I) 1. La lógica constituye una herramienta razonamiento formal para la mayor parte de las asignaturas de la carrera, (matemáticas y la programación), tales como: Álgebra, Análisis Matemático, Matemática Discreta, Electrónica Digital, Teoría de Autómatas y Lenguajes Formales, Programación (incluida la Programación Concurrente y la Programación Declarativa), Bases de Datos, etc.

5 Motivación (II) La inteligencia artificial: la lógica es el fundamento de todos los métodos de representación del conocimiento y del razonamiento, especialmente en sistemas expertos, razonamiento con incertidumbre (encadenamiento de reglas, lógica difusa, etc.), procesado del lenguaje natural, visión artificial, robótica, etc.. 3. En tercer lugar, los métodos formales tienen una aplicación inmediata en la ingeniería del software. De manera secundaria: Aplicaciones industriales en las empresas más importantes del mundo de la informática y las telecomunicaciones, como AT&T, BT, IBM, Intel, Motorola, Siemens, etc.. Mente ordenada, mente lógica = abordar problemas, diseño, programación, etc..

6 Artículos: Bibliografía E. M. Clarke and J. M. Wing, "Formal methods: State of the art and future directions," Tech. Rep. CMU-CS , Carnegie Mellon University (CMU), Sept Libros: [Cuena, 1985] J. Cuena. Lógica Informática. Alianza, [Deaño, 1993] A. Deaño. Introducción a la lógica formal. Alianza Universidad, Décima reimpresión. [Dalen, 1997] D. van Dalen. Logic and Structure Springer, a edición. Logic in Computer Science [Huth y Ryan, 2000]

7 CRITERIOS Organización de la asignatura Evaluación continuada: pruebas Posibilidad de aprobar sin presentarse al examen Examen final

8 Organización de la asignatura 0. Todo lo referido a la nota de prácticas es una opción del alumno. Si quiere puede simplemente presentarse al examen. 1. Durante el curso, se obtendrá una nota de prácticas que puede suponer el 75% de la nota final de la asignatura. 2. La nota de prácticas obtenida está asegurada de cara al examen final. El examen final se puntúa en porcentaje, y dicho porcentaje se aplica a la nota restante (no liberada).. Ejemplo: un 4 sobre 7,5 durante el año y un 3 sobre 10 en el examen 4 + 1,8 = 5,8

9 Organización de la asignatura 3. La nota de prácticas resulta sólo de la nota obtenida en tres pruebas de validación (una por bloque) que se celebrarán en horas de clase. La intención de dichas pruebas es comprobar que el alumno individual ha trabajado los contenidos de la unidad correspondiente, (cuaderno de prácticas). 4. Los ejercicios propuestos para los cuadernos proceden básicamente de las hojas de ejercicios de años anteriores, y sus soluciones se publicarán con anterioridad a la fecha de la prueba parcial correspondiente al bloque.

10 Organización de la asignatura 5. La prueba parcial de un bloque constará de una serie de ejercicios extraídos de los propuestos en clase, pudiendo existir pequeñas variaciones o preguntas adicionales para evitar la memorización de los mismos. 6. Las pruebas parciales de evaluación se realizarán sin libros ni apuntes, pudiéndose usar durante el examen sólo hojas de fórmulas.

11 Organización de la asignatura 7. Los alumnos formarán grupos cuya composición no variará en el curso de una unidad. Cuando se cambie de unidad se puede admitir algún cambio de grupo. 8. El trabajo del grupo (cuaderno) para cada unidad se entregará el día de la prueba de validación. Esta entrega es requisito necesario para obtener nota en la unidad correspondiente. Si no se presenta el cuaderno, no se podrá realizar la prueba.

12 Organización de la asignatura CLASE DE PRÁCTICAS 1. En clase se corregirán en pizarra algunos de los problemas, y se dará tiempo para trabajar individualmente o en grupo otros, con asesoramiento del profesor. 2. Cabe poner en las pruebas parciales problemas de los resueltos por el profesor, Aunque no todos los problemas se corregirán en clase, (de ahí que se publiquen algunas soluciones).

13 Planificación (I)

14 Planificación (II)

15 Dudas / Preguntas / Sugerencias