• EdwardHermann
• MaterialCursos

Cursos

• Analisadores Léxicos e Sintáticos

• Complexidade Computacional

• Lógica Graduação

• Seminar on Logical Reasoners

• Linguagens Formais e Autômatos

• Lógica e Especificação

• Introdução à Engenharia

• Seminários em Teoria da Computação

• Analise e Especificacao Formal de Sistemas

• Computabilidade

• Tópicos em Teoria da Computação IV (Lógica II)

• Foundations of Databases

Outros Cursos (edições anteriores)

Fundamentos de Análise Formal (Tópicos em Teoria da Computação 2006-2)

• Programa da Disciplina

Lógica 2 (2005-2)

Apresentações dos alunos:

• Fábio Mascarenhas