Sumários

Not Taught.

10 Outubro 2019, 18:30 • Graça Gaspar

Não houve aula.

Not Taught.

10 Outubro 2019, 16:30 • Graça Gaspar

Não houve aula.

Prolog e lógica proposicional

3 Outubro 2019, 18:30 • Graça Gaspar

Exercício em Prolog.

Exercícios sobre lógica proposicional.

Lógica proposicional

3 Outubro 2019, 16:30 • Graça Gaspar

Introdução e panorâmica sobre lógica proposicional: exemplos de modelação e resolução de problemas em lógica proposicional, satisfabialidade em lógica proposicional, regra da resolução.

Not Taught.

26 Setembro 2019, 18:30 • Graça Gaspar

Por motivo de doença não houve aula.