Informações sobre as disciplinas são fornecidas em aula.
Por que devemos ensinar lógica em
computação?
Links (muito)
interessantes sobre Lógica, Matemática e Ciência da Computação.
Algumas disciplinas ministradas:
Lógica para
Computação (INF05508) – Graduação (2002/2,2003,
2004, 2006, 2007, 2008, 2009...)
Teoria da Computacao N (INF05501) – Graduação
(2002/1)
Tópicos Especiais em Computação: Verificação Formal (2003/2) (com L. Ribeiro e A.F. Moreira) – Graduação/Pós-Graduação
Tópicos Especiais
Projeto Avançado
de Pesquisa I e II (2008)– Pós-Graduação
Projeto de
Pesquisa (2006-2008) – Pós-Graduação
Lógica Aplicada
(CMP253) – Pós-Graduação (2006, 2007, 2008, 2009...)
He replied, “What
use, madam, is a new-born baby?”