Descrição:

Esta disciplina é uma introdução à lógica, focando a relação entre linguagens formais e suas interpretações. Pretende-se: (1) introduzir linguagens formais - via as linguagens da lógica de primeira ordem - e suas manipulações sintáticas; (2) interpretar semanticamente essas linguagens, ensinando a formalizar asserções e a raciocinar dedutivamente (formal e informalmente); (3) ensinar algumas noções e técnicas básicas da Ciência da Computação, como fórmulas de Horn, resolução, unificação, etc.