FACULTAD DE FILOSOFíA Y LETRAS

Acrónimo un

Universidad de NavarraOpenCourseWare
 DEPARTAMENTO DE FILOSOFíA
 

Cabecera

Asignatura: Lógica I [2007/2008]
 

Contenido

Recursos docentes

Sobre la actividad de lectura de textos
Sobre los resúmenes obligatorios

Examen: qué hay que saber hacer
Sobre la evaluación
Teoría

tema 1: qué es la lógica y para qué sirve
nociones de teoría de conjuntos
tema 2.2: lenguajes formales
tema Frege
tema 3: lógica y argumentación
presentación lógica y argumentación
definiciones tema 3
tema 4.1: sintaxis de LP
definiciones tema 4.1.
tema 5.1: presupuestos de la semántica
presentación presupuestos semántica
el significado de las conectivas
tema Lukasiewicz
tema 5.2: Semántica formal para LP
presentación semántica
tema 5.3: propiedades y relaciones semánticas
presentación propiedades y relaciones semánticas (I)
presentación propiedades y relaciones semánticas (II)
otras notaciones
tema lenguaje natural
tema 6: métodos de decisión
tema Boole
presentación sistemas formales
tema 7: sistemas formales
apuntes tema 7
presentación DNP
tema 8: lógicas no clásicas

Ejercicios
prácticas 11 de octubre
prácticas extra sintaxis

prácticas 19 de octubre
prácticas 26 de octubre
demostrar metateoremas (modelo de respuesta)
prácticas extra semántica
prácticas 8 de noviembre
prácticas 16 de noviembre
prácticas extra formalización
prácticas 23 de noviembre
prácticas extra tablas analíticas
prácticas extra deducción natural
deducción natural: ejercicios-tipo

Modelos de exámenes
modelo de examen (curso 2004-05)
examen enero 2005
respuestas examen enero 2005
modelo de examen (curso 2005-06)
modelo de respuestas examen diciembre 05
examen enero 2006
respuestas examen enero 2006
modelo de examen (curso 2006-07)
modelo de respuestas examen diciembre 2006
examen enero 2007
respuestas examen enero 2007

modelo de examen (curso 2007-08)
modelo de respuestas examen diciembre 2007
examen enero 2008
respuestas examen enero 2008



 

Pie

© Universidad de Navarra  |  contacto pilzarbe@unav.es  |  2007-2008Creative Commons License Esta obra está bajo una licencia de Creative Commons.