P1 Lógica proposicional (I)

P2 Lógica proposicional (II)
P3 Lógica de Primeira Ordem (I)
P4 Lógica de Primeira Ordem (II) 
P5 Programação em Lógica

P6 Prolog: Programação Básicos
P7 (a) Listas e P7 (b) Aritmética
P8 (a) Corte P8 (b) Negacão 
P9 (a) Tabeas de Verdade P9 (b) Functores
P10 SAT