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	Fernando Coelho, Henrique
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: 37/44

Agenda

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