Curs: Lògica

	Avisos generals Ya han salido las notas finales de la asignatura. notes globals de l'assignatura PDF notes de les classes de problemes PDF segona convocatòria PDF

1	Teoria Resum del tema de llenguatges de proposicions PDF Resum del tema de llenguatges de predicats PDF Resum del tema de demostracio automatica 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 Notes de la primera prova parcial de problemes PDF Notes de la segona prova parcial de problemes PDF Alumnes aprovats en les proves de problemes PDF

Aquest tema3	Laboratori de 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 practica2.pl fitxer test1.pl fitxer practica3.pl fitxer practica4.pl fitxer test2.pl fitxer NOTES DELS TESTS 1 i 2 PDF practica5.pl fitxer practica6.pl fitxer test3x.pl fitxer test3y.pl fitxer practica7.pl fitxer NOTES DELS TESTS 3 i 4 PDF practica8.pl fitxer practica9.pl fitxer NOTES DEL TEST 5 PDF practica10.pl fitxer practica11.pl fitxer test6.pl fitxer NOTES DEL TEST 6 i NOTES MITJANES PDF examenGener10.pl fitxer