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ácticas; 2) interpretar semanticamente essas linguagens, ensinando a formalizar asserções e a raciocinar dedutivamente (formal e informalmente).