- Ficha 1 - Programação em Lógica.
- Ficha 2 - Programação em Lógica.
- Ficha 3 - Programação em Lógica.
- Ficha 4 - Programação em Lógica.
- Ficha 5 - Invariantes Estruturais e Referenciais.
- Ficha 6 - Extensão à Programação em Lógica.
- Ficha 7 - Conhecimento Imperfeito.
- Ficha 8 - Conhecimento Imperfeito.
- Ficha 9 - Grafos.
- Ficha 10 - Grafos: representação e operações.
- Ficha 11 - Formulação de Problemas de Pesquisa e Resolução de Problemas utilizando Pesquisa Não Informada.
- Ficha 12 - Formulação de Problemas de Pesquisa e Resolução de Problemas utilizando Pesquisa Informada.
- Ficha 13 - Conhecimento não simbólico: Redes Neuronais Artificias.
- Ficha 14 - Conhecimento não simbólico: Redes Neuronais Artificias.