Introdução à Lógica Matemática - Ambiente Professores
(ILM_Prof)

Este curso é uma introdução à Lógica Matemática, um instrumento absolutamente necessário à compreensão de grande parte da Ciência da Computação. O curso apresenta o Cálculo Proposicional e a Lógica de Primeira Ordem. A lógica é relacionada com outras áreas da computação e são dados exemplos de aplicação dos tópicos estudados.