Informações que irão auxiliá-lo a cursar bem a disciplina e a compreender sua importância para o curso.

Ementa

• Noção de argumento e validade.
• Lógica proposicional (sintaxe e semântica)
• Formas normais
• Métodos de decisão.
• Lógica de 1ª ordem (linguagem e modelos)
• Resolução
• Métodos e estratégias de resolução

Visão Geral

O principal objetivo do curso é apresentar ao aluno as lógicas formais utilizadas na verificação e análise de programas. A cadeira possui um projeto final, geralmente usando Alloy, cuja especificação será passada pelo professor.

Dicas

• Deixar a primeira prova para repor pode ser uma péssima ideia, pois pode dificultar o entendimento de assuntos que serão necessários nas provas seguintes.
• Alguns assuntos exigem que você pratique para poder realmente entender. Então, sempre faça as listas de exercícios.
• No assunto de dedução, o segredo é praticar para entender o assunto de verdade, faça muitas questões!