IF153 - Trabalho de Graduação em Teoria da Computação

 

Pré-requisitos

1. Teoria dos Grafos, IF128 ou
2. Categorias para Computação, IF140 ou
3. Teoria dos Modelos, IF130 ou
4. Teoria da Prova, IF142 ou
5. Semântica de Linguagens, IF137

Ementa

Síntese dos conhecimentos adquiridos na área, aplicado a um tema desenvolvido como monografia.