Curs: Introducció a la Lògica Matemàtica (Curs acadèmic 09/10)

	Avisos generals Fòrum de notícies Bibliografia recomanada fitxer Pla docent fitxer Notes finals de la convocatòria de juny PDF

1	Classe de Teoria

2	Classe de Problemes: Ja teniu penjades les notes del segon parcial i de la qualificació final per curs Notes del parcial de problemes de Lògica Proposicional fitxer Notes del parcial de problemes de Lògica de Primer Ordre fitxer Qualificació final del curs de la part de problemes fitxer

3	Laboratori de Prolog Document 1: Instruccions generals fitxer Document 2: La sintaxi del Prolog PDF Dcoument 3: Control de Prolog fitxer Document 4: La relació entre Prolog i la Lògica PDF Notes dels dos darrers tests i notes finals del Laboratori PDF