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)