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

  * O trabalho é individual.
  * 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 ^ Aluno ^
| 1  | Lógica fuzzy  | Aline Lermen  |
| 2  | Falácias      | Thais Krischer  |
| 3  | Lógica modal  | Alexsander  |
| 4  | Lógica temporal | André |
| 5  | BDDs          | Rodrigo |
| 6  | Lógica intuicionista | Ana |
| 7  | Cálculo Hoare | Felipe |
| 8  | Evolução da lógica | Germano |
| 9  | Curry-Howard | Daniel |

#Escolhas: 9/13.













===== Agenda =====
^ Data ^ Hora ^ Apresentação ^
| 01/07 | 8.30 | Lógica fuzzy  |
| 01/07 | 8.50 | BDDs |
| 01/07 | 9.10 | Falácias |
| 01/07 | 9.30 | Evolução da lógica (Germano) |
| 03/07 | 8.30 | Lógica intuicionista |
| 03/07 | 8.50 | Cálculo Hoare |
| 03/07 | 9.10 | Lógica modal |
| 03/07 | 9.30 | Lógica temporal |
| 03/07 | 9.50 | Curry-Howard |