Í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:2008-2-trabalhos
Tabela de Conteúdos
Trabalhos
- O trabalho é em grupos de dois.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
Grupos e trabalhos selecionados
| No. | Trabalho | Alunos |
|---|---|---|
| 1 | Lógica fuzzy | Felipe, Maurício |
| 2 | Falácias | Luis Felipe Rodrigues, Murilo Santos Bueno |
| 3 | Jape | Guilherme Dadall, Nellison |
| 4 | Lógica nao-monotonica | Jordan, Jonathan |
| 5 | Lógica temporal | Kim, Bruna |
| 6 | BDD | João, Norton |
| 7 | Cálculo Hoare | Humberto, Gabriel |
| 8 | Lógica intuicionista | Lucas, Kauê |
| 9 | Lógica modal | Guilherme Bender, Leonardo Goron |
| 10 | Lógica multi-valorada | Ahmed |
| 11 | Satisfatibilidade | Dalbem |
#Escolhas: 20/23.
Agenda
| Data | Hora | Apresentação |
|---|---|---|
| 02/12 | 15.30 | 4 |
| 02/12 | 15.50 | 3 |
| 02/12 | 16.10 | 10 |
| 02/12 | 16.30 | 5 |
| 02/12 | 16.50 | 1 |
| 04/12 | 15.30 | 2 |
| 04/12 | 15.50 | 7 |
| 04/12 | 16.10 | 9 |
| 04/12 | 16.30 | 6 |
| 04/12 | 16.50 | 8 |
| 04/12 | 17.10 | 11 |
inf05508/2008-2-trabalhos.txt · 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
