|
||||||
|
||||||
Antes del curso 2007-08 Asignaturas troncales y optativas de Filosofía 1. Metodología de la Ciencia. 2. Lógica I (Lógica de primer orden e iniciación a la Teoría de conjuntos), para alumnos de segundo año de Filosofía Plan antiguo. 3. Lógica II (Teoría de modelos y Teoría de conjuntos), para alumnos de tercer año de Filosofía. Plan antiguo. 4. Introducción a la Lógica I. (Lógica sentencial, Iniciación a la Teoría intuitiva de Conjuntos), asignatura semestral para alumnos de primer ciclo de Filosofía. Plan nuevo. 5. Introducción a la Lógica II. (Relaciones y Funciones en Teoría intuitiva de Conjuntos, Lógica de primer orden), asignatura semestral para alumnos de primer ciclo de Filosofía. Plan nuevo. 6. Teoría de Modelos I. (Álgebra Universal, Semántica de Primer Orden, Completud de la Lógica de primer Orden), asignatura semestral para alumnos de segundo ciclo de Filosofía. Plan nuevo. 7. Teoría de Modelos II. (Nociones Básicas. El Teorema de Compacidad y sus implicaciones Matemáticas, Los Teoremas de Löwenheim-Skolem y sus consecuencias, Teorías completas y Categóricas), asignatura semestral para alumnos de segundo ciclo de Filosofía. Plan nuevo. 8. Las lógicas de orden superior (Lógica de segundo orden y Teoría de tipos), para alumnos de cuarto y quinto de Filosofía. Plan antiguo. 9. La Aritmética (Aritmética de Peano en primer orden y en segundo orden. Modelos inductivos en segundo orden. Los números naturales en Teoría de tipos), para alumnos de cuarto y quinto de Filosofía. Plan antiguo. 10. Lógicas no clásicas (Lógica modal, temporal y lógica multivalorada), para alumnos de cuarto y quinto de Filosofía. Plan antiguo. 11. Teoría de tipos (Teoría de tipos de Russell: simple y ramificada, Teoría de tipos de Church, Cálculo lambda, Completud de Henkin), para alumnos de cuarto y quinto de Filosofía . Plan antiguo. 12. El Álgebra de la lógica (Álgebras de Boole, Ultraproductos, su aplicación para probar propiedades de la lógica sentencial y de la de primer orden), para alumnos de cuarto y quinto de Filosofía. Plan antiguo. 13. Teoría de Modelos (Álgebra Universal, Semántica de primer orden, Completud, Compacidad y sus consecuencias, Löwenheim-Skolem y sus aplicaciones matemáticas, Teorías completas, modelo-completas y categóricas), para alumnos de cuarto y quinto de Filosofía. Plan antiguo. 14. Lógicas alternativas. (Lógica modal, Dinámica, Parcial y No-monotónica), asignatura semestral para alumnos de segundo ciclo de Filosofía. Plan nuevo. 15. Fundamentos de lógicas no clásicas. (Lógica modal y temporal.) Asignatura optativa de primer ciclo. Plan nuevo. 16. Lógica y semántica. Asignatura optativa de filosofía. Programa. 17. Extensiones y aplicaciones de la lógica. Programa. Cursos de doctorado 1. Lógicas no clásicas. (Lógica modal, Temporal y Dinámica), para alumnos de doctorado de los programas de: (1) Lógica pura y aplicada, para matemáticos, informáticos y filósofos, (2) Ciencia Cognitiva y Lenguaje, para lingüistas, psicólogos, informáticos y filósofos. 2. Lógica e informática (Influencia mutua desde los inicios de la Informática a la actualidad, Lógicas de corrección de programas, Lógicas para la especificación y verificación del software), para alumnos de doctorado del programa de Lógica pura y aplicada, para matemáticos, informáticos y filósofos. 3. Extensiones de la Lógica de primer orden y su aplicación en la Informática (Lógica multivariada, traducción de la lógica de segundo orden a lógica multivariada, traducción de la lógica dinámica a lógica multivariada), para alumnos de doctorado del programa de Lógica para matemáticos y filósofos. 4. Lógicas de Programas (Lógicas de Hoare-Floyd, Lógicas dinámicas), para alumnos de doctorado del programa de Lógica para matemáticos y filósofos. 5. Las virtudes de los círculos viciosos. (Paradojas, círculos viciosos, axiomas conjuntistas, teoría de tipos simple y ramificada.) Doctorado en Filosofía. 6. Extensiones de la Lógica de Primer orden. (Lógica de segundo orden. Teoría de Tipos. Lógica Multivariada. Aplicaciones de la Lógica Multivariada.) Doctorado en Informática y Automática. 3 créditos. Programa. 7. Análisis básico de ciencia y tecnología. Asignatura de doctorado en filosofía. 8. Lógica y lenguajes programables. Asignatura de doctorado en Informática y Automática. Programa. Asignaturas optativas de Ingeniería en Informática 1. Lógica matemática. (Lógica Proposicional, Lógica de Primer Orden). Asignatura optativa primer ciclo de Ingeniería Técnica en Informática. 6 créditos. 2. Lógicas para la informática y la inteligencia artificial. (Lógicas modales, temporales y dinámicas. Cálculo lambda. Lógicas de representación del conocimiento.). Asignatura optativa segundo ciclo de Ingeniería en Informática. 6 créditos. De libre elección: 1. Teoría de conjuntos. (Teoría intuitiva de conjuntos, El Universo matemático: Axiomas de Zermelo-Fraenkel). Asignatura de libre elección. 2. Lógicas de Programas (Lógica sentencial clásica, Lógica modal y Lógica dinámica), para alumnos de todas las carreras. Plan nuevo, asignatura de libre elección. Actividad docente: Tutoriales y Cursos de Verano 1. Profesores: María Manzano y Antonia Huertas Título: Extensions of First Order Logic Tipo de participación: Curso de 20 horas Congreso: Eight European Summer School in Logic, Language and Information Publicación: Reader del curso, 80 páginas Lugar celebración: University of Prague Fecha: 12-23 Agosto 1996 2. Profesores: María Manzano Título: Lógicas Multiespecie: Fundamentos y Aplicaciones Tipo de participación: Curso diez horas Congreso: IV Escuela de Verano de Lógica Lugar celebración: San Sebastián Fecha: Julio 1998 3. Profesores: María Manzano Título: Teoría de Modelos Tipo de participación: Tutorial de cuatro horas. Congreso: VIII Congreso de Lenguajes Naturales y Lenguajes Formales Publicación: Actas del Congreso Lugar celebración: Universidad de Gerona Fecha: 21-25 Septiembre, 1992 4. Profesores: María Manzano Título: Model Theory Tipo de participación: Curso de veinte horas Congreso: Forth European Summer School in Logic, Language and Information Publicación: Actas del Congreso Lugar celebración: University of Essex, Colchester, UK. Fecha: 17-28 Agosto, 1992 Actividad docente: Enseñanza a distancia 1. Profesores: Eduardo Bustos y María Manzano Título: De Pura Lógica (Programa de Formación del Profesorado) Tipo de participación: Elaboración del texto del curso y de las páginas web con las transparencias y ejercicios, así como de material para un CD-ROM Publicación: Lógica para principiantes en Textos de Educación Permanente (UNED) Lugar celebración: WWW Fecha: 2001 y 2002 |
||||||