Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Ferramentas de Utilizador
Barra Lateral
inf05508-2006-1-trabalhos
Esta é uma versão antiga do documento!
Trabalhos
- O trabalho pode ser feito em grupos até três.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
| 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 |
| 3 | Especificação formal com Z | Luciano Gomes, Cleber Machado, Roger Nobre de Gouveia |
| 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 |
| 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: 23
Agenda
Faz favor de comunicar preferências até 01/06/2006.
| Dia | Hora | Grupo |
|---|---|---|
| 08/06 | 8.30 | NN |
| 08/06 | 8.50 | NN |
| 08/06 | 9.10 | NN |
| 08/06 | 9.30 | NN |
| 08/06 | 9.50 | NN |
| 13/06 | 8.30 | 6 (Lógica temporal) |
| 13/06 | 8.50 | NN |
| 13/06 | 9.10 | NN |
| 13/06 | 9.30 | 3 (Z) |
| 13/06 | 9.50 | NN |
inf05508-2006-1-trabalhos.1148663709.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
