Esta é uma versão antiga do documento!

Trabalhos

No.	Trabalho	Grupo
1	Lógica fuzzy	William, Eduardo, Adriano
2	Lógica temporal	Fernando Canto, Giancarlo, Rubem
3	Lógica intuitionística
4	Lógica modal	Rosália, Maurício
5	Resolução na lógica propositional
6	A linguagem de programação Prolog	Gustavo, Bruno, Rodrigo Santos
7	O cálculo de Hoare	Vanius, Gabriel Hernandez, Daniel
8	Especificação formal com Z
9	Minização de funções booleanas	Ricardo, Clóvis, Rodrigo Dobler
10	BDDs	Leonardo Borba, Leonardo Pavan, Vagner Kolberg
11	Verificação de modelos com Alloy	Rafael, Carolina
12	Lógica em bancos de dados	Francis, Omar
13	Fundamentos e paradoxas na teoria dos conjuntos
14	Os axiomas de Zermelo-Fraenkel pela teoria dos conjuntos	Mell, Jonas, Gabriel Portal
15	Falácias	Guilherme Stocco, Rodrigo Brauwers, Vinicius
16	Indecibilidade da lógica de predicados.	Luiz Fernando, Guilherme, Felipe

#Escolhas: 32/44

Marcus Ritt