====== Trabalhos ======

  * O trabalho pode ser feito em grupos até três.
  * Detalhes sobre os objetivos e critérios de avaliação dos [[:Trabalho|trabalhos]].
  * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]]
  * {{p1.pdf|Sugestões de 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 |