Í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-1-trabalhos
Tabela de Conteúdos
Trabalhos
- O trabalho é individual.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
Grupos e trabalhos selecionados
| No. | Trabalho | Aluno |
|---|---|---|
| 1 | Lógica fuzzy | Aline Lermen |
| 2 | Falácias | Thais Krischer |
| 3 | Lógica modal | Alexsander |
| 4 | Lógica temporal | André |
| 5 | BDDs | Rodrigo |
| 6 | Lógica intuicionista | Ana |
| 7 | Cálculo Hoare | Felipe |
| 8 | Evolução da lógica | Germano |
| 9 | Curry-Howard | Daniel |
#Escolhas: 9/13.
Agenda
| Data | Hora | Apresentação |
|---|---|---|
| 01/07 | 8.30 | Lógica fuzzy |
| 01/07 | 8.50 | BDDs |
| 01/07 | 9.10 | Falácias |
| 01/07 | 9.30 | Evolução da lógica (Germano) |
| 03/07 | 8.30 | Lógica intuicionista |
| 03/07 | 8.50 | Cálculo Hoare |
| 03/07 | 9.10 | Lógica modal |
| 03/07 | 9.30 | Lógica temporal |
| 03/07 | 9.50 | Curry-Howard |
inf05508/2008-1-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
