DISCIPLINAS

Disciplinas assistidas como ouvinte em 2004.2

HF009 - Computabilidade - Prof. Walter Carnielli

Disciplinas concluídas em 2004.1

MAC5853 - Desenvolvimento de Sistemas de Computação (Exame de Sistemas de Computação) - Prof. Fábio Kon
HF001 - Introdução à Lógica - Prof. Marcelo Coniglio

Disciplinas concluídas em 2004.1 (Verão)

MAC5700 - Projeto e Análise de Algoritmos (Exame de Análise de Algoritmos) - Prof. Arnaldo Mandel

Disciplinas concluídas em 2003.2

MAC5715 - Tópicos em Programação Orientada a Objetos - Prof. Fábio Kon
MAC5728 - Tópicos em Lógica Computacional - Prof. Marcelo Finger
MAC5700 - Seminários em Ciência da Computação - Prof. Yoshiharu Kohayakawa
GEN5711 - Preparação à Docência de Graduação - Prof. Oscar Abdounur

Disciplinas concluídas em 2003.1

MAC5711 - Análise de Algoritmos - Prof. Carlos Eduardo Ferreira
MAC5714 - Programação Orientada a Objetos - Prof. Alan Durham
MAC5734 - Técnicas de Programação Declarativa - Prof.  Marcelo Finger