Esta é uma versão antiga do documento!

Trabalhos

No.	Trabalho	Grupo
1	Lógica fuzzy
2	Lógica temporal
3	Lógica intuitionística
4	Lógica modal
5	Resolução na lógica propositional
6	A linguagem de programação Prolog	Gustavo, Bruno, Rodrigo Santos.
7	O cálculo de Hoare
8	Especificação formal com Z
9	Minização de funções booleanas	Ricardo,
10	BDDs
11	Verificação de modelos com Alloy
12	Lógica em bancos de dados	Francis,
13	Fundamentos e paradoxas na teoria dos conjuntos
14	Os axiomas de Zermelo-Fraenkel pela teoria dos conjuntos
15	Falácias	Guilherme Stocco, Rodrigo Brauwers.
16	Indecibilidade da lógica de predicados.	Luiz Fernando, Guilherme.

#Escolhas: 7/44

Marcus Ritt