Estudo dos fundamentos matemáticos da computabilidade. Enumerabilidade e decibilidade. Conjuntos recursivamente enumeráveis. Teorema da recursão. Introdução à semântica denotacional e ao lambda cálculo. Teorema da incompletude de Gödel. Funções recursivas.
- Professor: Ruiter Caldas