Licenciatura Bolonha em Engenharia Informática

Esta disciplina é uma introdução à Lógica, focando a relação entre linguagens formais e suas interpretações. Pretende-se que o aluno • compreenda as noções elementares da Lógica de Primeira Ordem, incluindo sintaxe e semântica; • desenvolva as capacidades de raciocínio dedutivo, tanto em contextos informais quanto no uso de sistemas formais; • aprenda algumas técnicas básicas da Ciência da Computação, como o algoritmo de Horn e o método de resolução.