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

  * O trabalho é em **grupos de dois**.
  * 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 ^ Alunos ^
| 1  | Lógica fuzzy | Felipe, Maurício |
| 2  | Falácias | Luis Felipe Rodrigues, Murilo Santos Bueno |
| 3  | Jape | Guilherme Dadall, Nellison |
| 4  | Lógica nao-monotonica | Jordan, Jonathan |
| 5  | Lógica temporal | Kim, Bruna |
| 6  | BDD | João, Norton |
| 7  | Cálculo Hoare | Humberto, Gabriel |
| 8  | Lógica intuicionista | Lucas, Kauê |
| 9  | Lógica modal | Guilherme Bender, Leonardo Goron |
| 10 | Lógica multi-valorada | Ahmed |
| 11 | Satisfatibilidade | Dalbem |
#Escolhas: 20/23.




===== Agenda =====
^ Data ^ Hora ^ Apresentação ^
| 02/12 | 15.30 |  4 |
| 02/12 | 15.50 |  3 |
| 02/12 | 16.10 |  10 |
| 02/12 | 16.30 |  5 |
| 02/12 | 16.50 |  1 |
| 04/12 | 15.30 |  2 |
| 04/12 | 15.50 |  7 |
| 04/12 | 16.10 |  9 |
| 04/12 | 16.30 |  6 |
| 04/12 | 16.50 |  8 |
| 04/12 | 17.10 |  11 |