Presentació Objectius i competències Accés i preinscripció Perfil i requisits d'accés Preinscripció Llista d'admesos Pla d'estudis Pla d'estudis Reconeixement de crèdits Treball final de màster Pràctiques Pràctiques extracurriculars Metodologia docent i sistema d'avaluació Organització i metodologia docent Sistema d'avaluació Sortides professionals Suport a l'estudi Beques i ajuts Accions de suport i d'orientació Mobilitat Matrícula Calendari, horaris, aules i avaluació Calendari acadèmic Horaris de classe Avaluació Plans docents i professorat Plans docents Professorat Dades de l'ensenyament Informació per a futurs estudiants
Assignatura Tipus Llengua Crèdits Especialitat: Lògica Pura i Aplicada Àlgebra Universal OT 1r semestre 5 Algoritmes per a VSLI OT 1r semestre 6 Complexitat Computacional OT 2n semestre 6 Computabilitat OB 1r semestre 6 Demostració Automàtica de Teoremes OT 1r semestre 5 El Desenvolupament de la Lògica Formal OT 1r semestre 5 Introducció a la Lògica Matemàtica OT 1r semestre 5 Lògica Algebraica Abstracta OT 1r semestre 5 Lògica Algebraica OT 1r semestre 5 Lògica Matemàtica OB 1r semestre 6 Lògica Modal OT 1r semestre 5 Lògiques Multivalorades OT 1r semestre 5 Lògiques No Clàssiques OB 1r semestre 6 Models de la Teoria de Conjunts OT 1r semestre 5 Ordres, Reticles i Àlgebres de Boole OT 1r semestre 5 Resolució de Problemes Combinatoris OT 2n semestre 6 Teoria Avançada de Models OT 1r semestre 5 Teoria Bàsica de Conjunts OB 1r semestre 6 Teoria Bàsica de Models OB 1r semestre 6 Teoria Combinatòria de Conjunts OT 1r semestre 5 Teoria de la Demostració OT 1r semestre 5 Treball Final de Màster OB 2n semestre 20