Lógica para Computação: Sistemas de Informação

Notas de Aula

• Notas de Aula : Programa e Objetivos
• Notas de Aula : Histórico - Lógica e Computação
• Notas de Aula : (Proposicional) Sintaxe e Semântica
• Notas de Aula : (Proposicional) Conseqüência Semântica e  Argumentos
• Notas de Aula : (Proposicional) Equivalências e Formas Normais
• Notas de Aula : (Proposicional e Predicados) Dedução Natural
• Notas de Aula : (Predicados) Sintaxe e Semântica

Lista de Exercícios:

• Sintaxe e Semântica (Lógica Proposicional)
• Formalização e Verificação de Argumentos (Lógica Proposicional)
• Sintaxe e Semântica (Lógica de Predicados)
• Formalização em Lógica de Predicados
• Dedução Natural (Lógica de Predicados)

Aulas de Laboratório:

• Prática de Laboratório 01
• Prática de Laboratório 02
• Prática de Laboratório 03
• Script Alloy - Lovers (Alfio)
• Script Alloy - Lovers_Two (Alfio)
• Script Alloy - Relações Políticas (Alfio)

Softwares, Pacotes e Documentações

• Jape
• Latex Online Tutorial
• Latex Tutorial (em Português)
• Alloy System Analyzer

Links Úteis

• Wikipedia (Computação)
• Portal de Métodos Formais