A lógica busca formalizar matematicamente o raciocínio, eliminando ambiguidades e criando ferramentas de análise e dedução baseadas em regras bem estabelecidas. Na computação a lógica matemática tem uma especial importância, pois é capaz de modelar em uma uma estrutura dicotômica (binária), capaz de ser processada por computadores. Nessa disciplina foram introduzidos os conceitos básicos da lógica proposicional, bem como a álgebra e o cálculo proposicional. O referencial teórico foi essa apostila.
Lógica proposicional
Na primeira parte do curso fomos introduzidos à lógica proposicional, tratando de diversos tópicos que a compõe:
Sintaxe da lógica proposicional
Semântica da lógica proposicional
Consequência e equivalência lógica
Álgebra da lógica proposicional
Cálculo proposicional
Técnicas dedutivas
Lógica de predicados
Nessa parte do curso estudamos a lógica de predicados, uma forma mais complexa e poderosa de representação.
Sintaxe da lógica de predicados
Semântica da lógica de predicados
Consequência e equivalência lógica na lógica de predicados
Inferência na lógica de predicados
Unificação e Substituição
Forma Normal Conjuntiva na Lógica de Predicados
Resolução na lógica de predicados