Í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:2007-2-trabalhos
Tabela de Conteúdos
Trabalhos
- O trabalho pode ser feito em grupos até três.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
Grupos e trabalhos selecionados
| No. | Trabalho | Grupo (Turma) |
|---|---|---|
| 1 | Gödel | Bruno Reckziegel Filho, Rodrigo Claro Zembrzuski, Samuel Dario da Silva |
| 2 | Lógica fuzzy | Raphael Baldi, Leonardo Chatain, Maurício Longoni |
| 3 | Falácias | Tiago Rosa da Silva, André Martins, Filipe Correa |
| 4 | Prolog | Pablo Guedes, Alan Delgado, Samuel Grimm |
| 5 | Lógica temporal | Júlia, Leonardo Moura e Tomaz Rocha da Silva |
| 6 | Lógica deôntica | Andre Olivera, Daniela Zamberlan, Priscila Folle |
| 7 | Lógica em Banco de dados | Frederico Betting, Diego Tomasi, Aline Lermen |
| 8 | Cálculo Hoare | Kassius, Thomas da Silva Rodrigues, Bruno Marques |
| 9 | Lógica modal | Rodrigo Malossi, Henrique Lovison, Douglas |
| 10 | Lógica intuicionista | Germano Thomas, Victor Miyai, Vitor Reus |
| 11 | Programa Hilbert | Gustavo, Rodrigo Ferreira, Ana |
| 12 | ZFC | Henrique Monteiro, Carlos Eduardo, Angelo |
| 13 | ||
| 14 |
#Escolhas: 38/41.
Agenda
| Data | Hora | Apresentação |
|---|---|---|
| 29/11 | 10.30 | Lógica intuicionista |
| 29/11 | 10.55 | Lógica em Banco de dados |
| 29/11 | 11.20 | Lógica deôntica |
| 29/11 | 11.45 | Lógica temporal |
| 04/12 | 10.30 | ZFC |
| 04/12 | 10.55 | Gödel |
| 04/12 | 11.20 | Programa Hilbert |
| 04/12 | 11.45 | Cálculo Hoare |
| 06/12 | 10.30 | Lógica fuzzy |
| 06/12 | 10.55 | Falácias |
| 06/12 | 11.20 | Lógica modal |
| 06/12 | 11.45 | Prolog |
inf05508/2007-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
