====== 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]]

^ No. ^ Trabalho ^ Grupo ^ 
| 1 | A linguagem de programação Prolog | Diego de Matos Lautenchleger |
| 2 | O cálculo de Hoare | Ronei Lutz, Matheus Menegazzo Linassi, Roger Nobre de Gouveia|
| 3 | Especificação formal com Z | Luciano Gomes, Cleber Machado |
| 4 | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa |
| 5 | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke |
| 6 | Lógica temporal | Livia Freire Pinto, Tiago Peterlevitz Zini, Eduardo Martins da Rocha |
| 7 | Falácias | Marcelo Sizer, Rodrigo Castilhos Furtado, Ricardo Wischral Bastos |
| 8 | Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum |
| 9 | Dedução natural com Jape | Rafael Pestano, Vinicius Callegaro, Henrique Prass  |
| 10 | Implementação: Avaliação semântica da lógica propositional |  |
| 11 | Lógica modal | Leandro Sandri de Vasconcellos, Gabriel Richter Gomes |

#Escolhas: 25

====== Agenda ======

Faz favor de comunicar preferências até 01/06/2006.

^ Dia ^ Hora ^ Grupo ^ Texto ^ Apresentação ^
| 08/06 | 8.30 | 1 (Prolog) |  n/a  |  n/a  |
| 08/06 | 8.50 | 2 (Hoare) |  {{lpc-t02-hoare.doc|}}  |  {{lpc-t02-hoare-slides.ppt|}}  |
| 08/06 | 9.10 | 4 (BDDs) |    |  {{lpc-t04-bdd.ppt|}}  |
| 08/06 | 9.30 | 5 (Fuzzy) |  {{lpc-t05-fuzzy-logic.pdf|}}  |  {{lpc-t05-fuzzy-logic-slides.pdf|}}  |
| 08/06 | 9.50 | 7 (Falácias) |  {{lpc-t07-falacias.doc|}}  |  {{lpc-t07-falacias-slides.ppt|}}  |
| 13/06 | 8.30 | 6a (Lógica temporal) |  {{lpc-t06a-logica-temporal.pdf|}}  |  {{lpc-t06a-logica-temporal-slides.pdf|}}  |
| 13/06 | 8.50 | 8 (Banco de dados) |  {{lpc-t08-bd.doc|}}  |  {{lpc-t08-bd-slides.ppt|}}  |
| 13/06 | 9.10 | 11 (Lógica modal) |  n/a  |  n/a  |
| 13/06 | 9.30 | 3 (Z) |  {{lpc-t03-z.doc|}}  |  {{lpc-t03-z-slides.ppt|}}  |
| 13/06 | 9.50 | 9 (Jape) |  {{lpc-t09-jape.pdf|}}  |    |
| 13/06 |      | 6b (Lógica temporal) |  {{lpc-t06-logica-temporal.pdf|}}  |  {{lpc-t06-logica-temporal-slides.ppt|}}  |