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 em Computação III: Introdução à Bioinformática: Algoritmos (2003/1) - Pós-Graduação

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...)

 


Michael Faraday, after a public demonstration of an electrical experiment, was asked what was the use of electricity?

He replied, “What use, madam, is a new-born baby?”

 

 

homepage