Ferramentas de Utilizador
inf05508-2006-1-trabalhos
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
inf05508-2006-1-trabalhos [2006/05/23 15:09] marcus |
inf05508-2006-1-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 5: | Linha 5: | ||
| * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]] | * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]] | ||
| - | ^ Trabalho ^ Grupo ^ | + | ^ No. ^ Trabalho ^ Grupo ^ |
| - | | A linguagem de programação Prolog | Diego de Matos Lautenchleger | | + | | 1 | A linguagem de programação Prolog | Diego de Matos Lautenchleger | |
| - | | O cálculo de Hoare | Ronei, Matheus | | + | | 2 | O cálculo de Hoare | Ronei Lutz, Matheus Menegazzo Linassi, Roger Nobre de Gouveia| |
| - | | Especificação formal com Z | | | + | | 3 | Especificação formal com Z | Luciano Gomes, Cleber Machado | |
| - | | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa | | + | | 4 | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa | |
| - | | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke | | + | | 5 | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke | |
| - | | Lógica temporal | Livia Freire Pinto | | + | | 6 | Lógica temporal | Livia Freire Pinto, Tiago Peterlevitz Zini, Eduardo Martins da Rocha | |
| - | | Falácias | Marcelo Sizer, Rodrigo Castilhos Furtado, Ricardo Wischral Bastos | | + | | 7 | Falácias | Marcelo Sizer, Rodrigo Castilhos Furtado, Ricardo Wischral Bastos | |
| - | | Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum | | + | | 8 | Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum | |
| - | | Dedução natural com Jape | Rafael Pestano, Vinicius Callegaro, Henrique Prass | | + | | 9 | Dedução natural com Jape | Rafael Pestano, Vinicius Callegaro, Henrique Prass | |
| - | | Implementação: Avaliação semântica da lógica propositional | | | + | | 10 | Implementação: Avaliação semântica da lógica propositional | | |
| - | | Lógica modal | Leandro Vasconcellos, Gabriel Richter Gomes | | + | | 11 | Lógica modal | Leandro Sandri de Vasconcellos, Gabriel Richter Gomes | |
| - | #Escolhas: 20 | + | #Escolhas: 25 |
| ====== Agenda ====== | ====== Agenda ====== | ||
| Linha 24: | Linha 24: | ||
| Faz favor de comunicar preferências até 01/06/2006. | Faz favor de comunicar preferências até 01/06/2006. | ||
| - | ^ Dia ^ Hora ^ Grupo ^ | + | ^ Dia ^ Hora ^ Grupo ^ Texto ^ Apresentação ^ |
| - | | 08/06 | 10.30 | NN | | + | | 08/06 | 8.30 | 1 (Prolog) | n/a | n/a | |
| - | | 08/06 | 10.50 | NN | | + | | 08/06 | 8.50 | 2 (Hoare) | {{lpc-t02-hoare.doc|}} | {{lpc-t02-hoare-slides.ppt|}} | |
| - | | 08/06 | 11.10 | NN | | + | | 08/06 | 9.10 | 4 (BDDs) | | {{lpc-t04-bdd.ppt|}} | |
| - | | 08/06 | 11.30 | NN | | + | | 08/06 | 9.30 | 5 (Fuzzy) | {{lpc-t05-fuzzy-logic.pdf|}} | {{lpc-t05-fuzzy-logic-slides.pdf|}} | |
| - | | 08/06 | 11.50 | NN | | + | | 08/06 | 9.50 | 7 (Falácias) | {{lpc-t07-falacias.doc|}} | {{lpc-t07-falacias-slides.ppt|}} | |
| - | | 13/06 | 10.30 | NN | | + | | 13/06 | 8.30 | 6a (Lógica temporal) | {{lpc-t06a-logica-temporal.pdf|}} | {{lpc-t06a-logica-temporal-slides.pdf|}} | |
| - | | 13/06 | 10.50 | NN | | + | | 13/06 | 8.50 | 8 (Banco de dados) | {{lpc-t08-bd.doc|}} | {{lpc-t08-bd-slides.ppt|}} | |
| - | | 13/06 | 11.10 | NN | | + | | 13/06 | 9.10 | 11 (Lógica modal) | n/a | n/a | |
| - | | 13/06 | 11.30 | NN | | + | | 13/06 | 9.30 | 3 (Z) | {{lpc-t03-z.doc|}} | {{lpc-t03-z-slides.ppt|}} | |
| - | | 13/06 | 11.50 | NN | | + | | 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|}} | | ||
inf05508-2006-1-trabalhos.1148407754.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
