Lógica e Computação

A Lógica proporciona um enquadramento formal para descrever e analisar com rigor um determinado assunto.

O objetivo principal deste texto é apresentar a Lógica como uma ferramenta para a descrição e análise de sistemas informáticos.

Esquema de Programa

Para concretizar o objetivo deste curso o programa segue os seguintes assuntos:

1. A lógica proposicional é relativamente simples e flexível para descrever alguns domínios simples. No entanto tem limitações que limitam o seu uso em casos reais.
2. A lógica de primeira ordem é significativamente mais expressiva e resolve muitas das limitações da lógica proposicional. Essa expressividade vem à custa de alguma complexidade e limites computacionais.
3. A verificação de programas ilustra uma aplicação da lógica à informática:
   • Dada a especificação formal do comportamento de um programa, como deduzir com rigor que o programa funciona como pretendido?