====== 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]]
  * {{p.pdf|Sugestões de 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 |