| title |
|---|
Visão Geral e Dicas |
Informações que irão auxiliá-lo a cursar bem a disciplina e a compreender sua importância para o curso.
- 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
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.
-
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!