Í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-1-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 | Lógica fuzzy | Guilherme Krüger Araujo, Franco Valdez (C) |
| 2 | Prolog | Carlos Eduardo, Gabriel Hernandez, Guilherme Uzejka (C) |
| 3 | Lógica e jogos | Pedro Paganela, Gabriel Teixeira, Arthur Ribacki (C) |
| 4 | Lógica paraconsistente | Guilherme Ribeiro, Felipe Andrade, Martin Reus (C) |
| 5 | Lógica multi-valorada | Tomás Trinidade, Eduardo Canabarro, Claudio (C) |
| 6 | Lógica temporal | Diego Volpato, Alexis Lazzaratto, Alberto Junior (C) |
| 7 | Lógica em bancos de dados | Henrique, Diego, Victor (A) |
| 8 | Lógica descritiva | Tatiana, Marcius, Cleber (A) |
| 9 | Falácias | Érica Bastos Rigo, Andrey Donelli Silveira, Giovani Ducatti Rinaldi (C) |
| 10 | Lógica deôntica | Nikolas dos Santos Mathias, Alexandre Hauber da Silva |
| 11 | Lógica modal | Antônio, Lucas (C) |
| 12 | Model checking | Luís Millani (A) |
| 13 | Lógica em circuitos | Francis, Wagner (C) |
| 14 | Lógica intuicionista | Leandro Pereira, Douglas Ohse (A) |
#Escolhas: 37/45.
Agenda
Turma A
| Data | Hora | Apresentação |
|---|---|---|
| 19/06 | 8.30 | Lógica descritiva |
| 19/06 | 8.55 | Lógica em bancos de dados |
| 19/06 | 9.20 | Model checking |
| 19/06 | 9.45 | Lógica intuicionista |
Turma C
| Data | Hora | Apresentação |
|---|---|---|
| 14/06 | 10.30 | Lógica fuzzy |
| 14/06 | 10.55 | Lógica deôntica |
| 14/06 | 11.20 | Lógica temporal |
| 14/06 | 11.45 | Prolog |
| 19/06 | 10.30 | Falácias |
| 19/06 | 10.50 | Lógica e jogos |
| 19/06 | 11.10 | Lógica multi-valorada |
| 19/06 | 11.30 | Lógica paraconsistente |
| 19/06 | 11.50 | Lógica modal |
| 21/06 | 10.30 | Lógica em circuitos |
inf05508/2007-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
