| Setmana 1 | Setmana 2 | |
| Setmana 3 | Setmana 4 | |
| Setmana 5 | Setmana 6 | |
| Setmana 7 | Setmana 8 | |
| Setmana 9 | Setmana 10 | |
| Setmana 11 | Setmana 12 | |
| Setmana 13 | Setmana 14 |
Fixeu-vos que a la fí de les notes n'hi ha un esquema amb referencies al llibre. El dimecres i el dijous vam repasar lògica propocicional classica. Vam repassar nocions com assignació, taula de veritat, tautologia, contingencia, contradicció, conseqüència lògica, equivalencia, etc. En breu, vam repassar els capítols 6,7,8 i 9 del llibre.
Vam repassar la sintaxi de lògica classica de predicats. Un llenguatge consisteix de tres elements: noms propis, predicats i relacions. Vam repassar el capítol 12 del llibre i el principi del capítol 13. Vam fer els exercisis 6 i 7 del capítol 12 i l'exercisi 32 del capítol 13.
Vam repassar semantica formal de lògica classica de predicats i vam fer l'exercisi 1 del capitol 13. Es recomana llegir 13.1 i 13.2 per al dimecres.
Vam parlar del concepte de conjunts reflexionant del nostre concepte. Vam veure mitjançant la paradoxa de Russell que comprensió naiva es inconsistent. Vam definir les operacions basics de unió, intersecció i diferencia de dos conjunts. Per a deures del dijous: l'exercisi 1 del capítol 2.
Hem repassat els apartats 1 i 2 del capitol 2 del llibre.
Vam demostrar amb detall una equació de conjunts corresponent amb la tautologia
p/\ (q \/ r) <--> ( p/\q ) \/ ( p/\r )
A més vam parlar de les relaccions i la seva representació en la teoria de conjunts
Vam parlar de tipos de relacions i vam encontrar una relació que no és reflexiva ni irreflexiva.
Vam parlar de tipus de relacion (transitiva, anti-simètrica, asimètrica, etc). Vam parlar de la relació nula, la relació total i la identitat. Hem fet un parell d'exercisis quin tipus de relació implica quin altre tipus de relació (per exemple, R és transitiva no implica que sigui reflexiva).
Vam parlar de relacions d'equivalència per una banda i particions per una altra banda. Vam veure que en un cert sentit són iguals. Com a deures tenim els exercisis 26, 27 i 28 de la pàgina 97.
Vam parlar del capítol 4, parlant de biyectabilitat. Vam parlar del Coninuum Hypothesis. Deures: ex 1, 2 i 6.
Vam parlar de ocurrencies de viarables que poden ser lliures o lligades. Deures eran els exercisis 7 i 8 del capítol 12 (p 237 de la segona edició).
Vam repassar la definició formal de semantica de primer ordre. A més vam donar la definició de verdad dintre un model (només per a formules atomiques).
Hem acabat la definició formal de veritat en un model. Encara que no hem vist tots els detalls, sí vam parlar de que és precis fer una extensió del llenguatge formal afegint simbols nous per a denotar elements del model. Hem vist un parell d'exemples.
Vam repassar tot el que hem vist per tal de preparar el primer parcial.
Dijous 27 d'octubre: primer parcial al lloc de sempre. Important: Començem a les 18:00 hores en comptes de les 19:00. La duració per a fer l'examen és de una hora.
Esta semana hemos repasado los ejercicios y dudas del examen parcial de la semana pasada. También hemos visto la definición de verdad de una sentencia en una estructura junto con conjuntos y relaciones definibles en una estructura. Para practicar la noción de conjunto definible hemos hecho el ejercicio 56 de la página 271.
Vam parlar de conseqüència lògica, equivalencia lògica i satisfactibilitat per a la lògica de predicats. Vam fer un parell d'exercisis.
Hem `demostrat' que qualsevol fòrmula és equivalent a una formula en forma prenex normal i hem fet un parell d'exercisis.
Hem començat amb el calcul! Aquí teniu unes notes.
Hem fet les regles de introducció i eliminació per la conjunció i per la implicació.
Hem fet exercisis amb les regles de introducció i eliminació per la conjunció i per la implicació.
Només tenim clases el dimecres. Aquí hi ha un examen de prova. Les clases del dimecres les farà en Eduardo Hermo Reyes.
Dijous 22 de desembre: segon parcial al lloc de sempre. Important: Començem a les 18:00 hores en comptes de les 19:00. La duració per fer l'examen és de una hora.
Evaluacio ́n Evaluacio ́n continua: Dos ex ́amenes parciales, el primero el d ́ıa 27 de octubre y el segundo el d ́ıa 22 de diciembre. Si la nota de cada uno de los exa ́menes parciales es igual o superior a 2, la nota de la evaluaci ́on continua ser ́a la media de las notas obtenidas en los dos exa ́menes parciales. Si un estudiante se presenta a los dos parciales y la nota de uno cualquiera de ellos es inferior a 2, se considerara ́ que ha suspendido la evaluacio ́n continua (y podra ́ presentarse al examen de revaluaci ́on en caso de que su nota media sea igual o superior a 3). Si un estudiante no se presenta a alguno de los dos ex ́amenes parciales se considerara ́ que no se ha presentado a evaluaci ́on continua. Evaluacio ́n u ́nica: Examen final. Elecci ́on del m ́etodo de evaluacio ́n El sistema de evaluaci ́on por defecto es el de evaluaci ́on continua. Todo estudiante puede elegir entre ser evaluado por el sistema de evaluacio ́n continua o por el sistema de evaluaci ́on u ́nica. Todos los estudiantes que no se han presentado a la evaluaci ́on continua, pueden optar por el sistema de evaluaci ́on u ́nica. Reevaluacio ́n Examen del mismo tipo que el examen final. Para tener derecho al examen de reevaluacio ́n es necesario haberse presentado o bien a la evaluaci ́on la continua o bien a la u ́nica, y haber obtenido una nota igual o superior a 3.