Para fazer DURANTE a aula (se conseguirem resistir até lá):
Episódio 1 (Dedução Natural - CP) (2/12): Link
Episódio 2 (Resolução - CP) (2/12): Link
Episódio 3 (Dedução Natural - LPO) (7/12): Link
Episódio 4 (Representação do Conhecimento): Link
Episódio 5 (UMG): Link
Episódio 6 (Resolução - LPO): Link
Episódio 7 (Programação em Lógica): Link (season final)