Curs: Lògica

Inscriu-me en aquest curs

	Avisos generals Atenció a la composició dels grups! No s'acceptarà cap canvi de grup que no hagi estat autoritzat pel responsable de l'assignatura, professor Martínez, `jcmartinez@ub.edu`. La primera prueba parcial de problemas tendra lugar el martes 3 de Noviembre. Los alumnos del grupo A de problemas realizaran la prueba en el aula T1, y los alumnos del grupo B la realizaran en el aula B5. Horaris de consulta PDF

1	Teoria Resum del tema de llenguatges de proposicions PDF Resum del tema de llenguatges de predicats PDF

2	Problemes Grups: A: A – M ; B: N – Z . Exercicis sobre llenguatges proposicionals PDF Exercicis sobre llenguatges de predicats PDF Exercicis sobre resolucio PDF

Aquest tema3	Laboratori de Prolog Grups: a: A – F ; b: G – Ma ; c: Me – Sánchez ; d: Santillán – Z . La sessió dels dies 24 i 26 de novembre consistirà en la continuació de la sessió dels dies 17 i 19 i el Test 5 sobre el contingut d'aquestes dues sessions (pràctiques 8 i 9). Per a aquestes sessions cal haver llegit la part final del Document 3 sobre el mode de seguiment del Prolog. Document 1: Instruccions per a les pràctiques fitxer Document 2: Sintaxi del Prolog PDF Document 3: Control del SWI-Prolog fitxer practica1.pl fitxer Pràctica 1 comentada fitxer practica2.pl fitxer Pràctica 2 comentada fitxer test1.pl fitxer Solucions del Test 1 fitxer practica3.pl fitxer Pràctica 3 comentada fitxer practica4.pl fitxer test2.pl fitxer Solucions del Test 2 fitxer NOTES DELS TESTS 1 i 2 PDF practica5.pl fitxer Pràctica 5 comentada fitxer practica6.pl fitxer Pràctica 6 comentada fitxer test3x.pl fitxer test3y.pl fitxer Solucions del Test 3 fitxer practica7.pl fitxer Pràctica 7 comentada fitxer Solucions del Test 4 fitxer NOTES DELS TESTS 3 I 4 PDF practica8.pl fitxer practica9.pl fitxer