Search this site
Embedded Files
Skip to main content
Skip to navigation
Homepage of Joao Marcos
The Suszkian Odyssey
test
courses
Fundamentos Matemáticos da Computação 3
Especificações Algébricas de Tipos de Dados Abstratos
Raciocínio Equacional
Tipos de Dados Recursivos
LC (DGM versão 2006.2)
Lógica Aplicada à Computação
Dedução Natural para a Lógica Clássica de Primeira Ordem
Dedução Natural para a Lógica Clássica Proposicional
Imagem & Som
Método de Resolução & Prolog
Recursão & Indução (revisão)
Representação do Conhecimento e Argumentação (LCP)
Semântica de Primeira Ordem Clássica
Semântica Proposicional Clássica
Teoria dos Conjuntos (revisão)
Teoria dos Conjuntos [material parcial]
Proposta para FMCnx
Google Sites
Report abuse
Google Sites
Report abuse