Curso: Licenciatura em Engenharia Informática

Área Científica: Informática/CC

Uc Anual      

Semestral    

Trimestral  

Obrigatória   T

Opcional     

Outra         T

Objectivos Gerais

Introdução à Lógica da perspectiva da resolução de problemas.

Objecto da Aprendizagem (conteúdo programático)

Lógica Proposicional e Lógica de primeira ordem: sintaxe, semântica, sistemas dedutivos e limitações.

Processo de Avaliação – Classificação

Exame: 60%;  Trabalho prático: 40%