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	Vágner
4	Lógica modal	Rosália, Maurício, Diego
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	Rafael, Carolina
9	Minimizaçã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
12	Lógica em bancos de dados	Francis, Omar, Matheus
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: 35/44

Agenda

Dia	Hora	Apresentação
21/11	10.30	A linguagem de programação Prolog
21/11	10.50	Minimização de funções booleanas
21/11	11.10	O cálculo de Hoare
21/11	11.30	Especificação formal com Z
21/11	11.50	Lógica temporal
23/11	10.30	Os axiomas de Zermelo-Fraenkel
23/11	10.50	BDDs
23/11	11.10	Indecibilidade da lógica de predicados.
23/11	11.30	Lógica intuitionística
23/11	11.50	Falácias
28/11	10.30	Lógica fuzzy
28/11	10.50	Lógica modal
28/11	11.10	Lógica em bancos de dados
28/11	11.30
28/11	11.50

Marcus Ritt