Universidade Federal do Rio de Janeiro
Centro de Ciências Matemáticas e da Natureza
Instituto de Matemática
Departamento de Ciência da Computação

 

Lógica


Prof. Mário Benevides
mario@cos.ufrj.br

Esta é a página do curso de Lógica do professor Mário Benevides. Sejam bem-vindos!



1 - Curso de Lógica
3 - Notas (P1, P2, PF, 2C e MF)