|
|
|
Renata de Freitas, IME-UFF freitas at vm.uff.br |
Petrucio Viana, IME-UFF petrucio at cos.ufrj.br |
![]() |
*** trabalho selecionado entre os 10 melhores da área de Ciências Exatas e da Terra, no Prêmio Vasconcelos Torres 2012 *** |
Semanalmente, às segundas, 11h, na Sala de Seminários do GAN (IME-UFF, 4o. andar).
Lógica para Ciência da Computação
GAN 00175 - Introdução à Lógica Matemática, para os cursos de Licenciatura e Bacharelado em Matemática
GAN 04130 - Lógica Matemática, para os cursos de Licenciatura e Bacharelado em Matemática