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.

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!
Edite esta página