Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Esta é uma versão antiga do documento!
No. | Trabalho | Grupo |
---|---|---|
1 | A linguagem de programação Prolog | Diego de Matos Lautenchleger |
2 | O cálculo de Hoare | Ronei Lutz, Matheus Menegazzo Linassi, Roger Nobre de Gouveia |
3 | Especificação formal com Z | Luciano Gomes, Cleber Machado |
4 | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa |
5 | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke |
6 | Lógica temporal | Livia Freire Pinto, Tiago Peterlevitz Zini, Eduardo Martins da Rocha |
7 | Falácias | Marcelo Sizer, Rodrigo Castilhos Furtado, Ricardo Wischral Bastos |
8 | Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum |
9 | Dedução natural com Jape | Rafael Pestano, Vinicius Callegaro, Henrique Prass |
10 | Implementação: Avaliação semântica da lógica propositional | |
11 | Lógica modal | Leandro Sandri de Vasconcellos, Gabriel Richter Gomes |
#Escolhas: 25
Faz favor de comunicar preferências até 01/06/2006.
Dia | Hora | Grupo | Texto | Apresentação |
---|---|---|---|---|
08/06 | 8.30 | 1 (Prolog) | n/a | n/a |
08/06 | 8.50 | 2 (Hoare) | lpc-t02-hoare.doc | lpc-t02-hoare-slides.ppt |
08/06 | 9.10 | 4 (BDDs) | ||
08/06 | 9.30 | 5 (Fuzzy) | lpc-t05-fuzzy-logic.pdf | lpc-t05-fuzzy-logic-slides.pdf |
08/06 | 9.50 | 7 (Falácias) | lpc-t07-falacias.doc | lpc-t07-falacias-slides.ppt |
13/06 | 8.30 | 6a (Lógica temporal) | ||
13/06 | 8.50 | 8 (Banco de dados) | lpc-t08-bd.doc | lpc-t08-bd-slides.ppt |
13/06 | 9.10 | 11 (Lógica modal) | n/a | n/a |
13/06 | 9.30 | 3 (Z) | ||
13/06 | 9.50 | 9 (Jape) | lpc-t09-jape.pdf | |
13/06 | 6b (Lógica temporal) | lpc-t06-logica-temporal.pdf | lpc-t06-logica-temporal-slides.ppt |