Lógica Aplicada à Computação-2018.2

Autoinscrição

LAC

-Introdução geral a Lógica;

- Lógica Proposicional;

- Lógica de Predicados;

- Princípio da Resolução;

- Prova Automátca de Teoremas.