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


















===== Grupos e trabalhos selecionados =====

^ No. ^ Trabalho ^ Aluno ^ R ^ A ^
| 1  |  Falácias  |  Leonardo  | x |  |
| 2  |  Lógica temporal  |  Bruno  | x |  |
| 3  |  Lógica modal  |  Matheus  | x | x |
| 4  |  Lógica fuzzy  |  Anderson  | x |  |
| 5  |  Teorie de conjuntos  |  Peterson  | x | x |
| 6  |  Satisfabilidade  |  Rafael  | x | x |
| 7  |  Lógica intuicionista  |  Danhuri  | x | x |
| 8  |  Lógica multi-valorada|  Gabriel  |  |  |
#Escolhas: 8/11.




===== Agenda =====
^ Data ^ Hora ^ Apresentação ^
| 23/06 | 15.30 |  Lógica modal  |
| 23/06 | 15.50 |  Lógica intuicionista  |
| 23/06 | 16.10 |  Lógica temporal  |
| 23/06 | 16.30 |   |
| 23/06 | 16.50 |   |
| 25/06 | 15.30 |  Lógica multi-valorada |
| 25/06 | 15.50 |  Satisfabilidade  |
| 25/06 | 16.10 |  Teoria de conjuntos  |
| 25/06 | 16.30 |  Falácias  |
| 25/06 | 16.50 |  Lógica fuzzy  |



===== FAQ =====

1) Como foi definida a ordem?
Aleatoriamente, em tempo linear, usando o [[wp>Fisher-Yates shuffle]].

2) Posso apresentar num outro dia?
Sim, se um outro grupo concorda trocar a posição.