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/06/05 09:30] marcus |
inf05508-2006-1-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 7: | Linha 7: | ||
| ^ No. ^ Trabalho ^ Grupo ^ | ^ No. ^ Trabalho ^ Grupo ^ | ||
| | 1 | A linguagem de programação Prolog | Diego de Matos Lautenchleger | | | 1 | A linguagem de programação Prolog | Diego de Matos Lautenchleger | | ||
| - | | 2 | O cálculo de Hoare | Ronei Lutz, Matheus Menegazzo Linassi| | + | | 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, Roger Nobre de Gouveia | | + | | 3 | Especificação formal com Z | Luciano Gomes, Cleber Machado | |
| | 4 | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa | | | 4 | BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa | | ||
| | 5 | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke | | | 5 | Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke | | ||
| - | | 6 | Lógica temporal | Livia Freire Pinto | | + | | 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 | | | 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 | | | 8 | Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum | | ||
| Linha 18: | Linha 18: | ||
| | 11 | Lógica modal | Leandro Sandri de Vasconcellos, Gabriel Richter Gomes | | | 11 | Lógica modal | Leandro Sandri de Vasconcellos, Gabriel Richter Gomes | | ||
| - | #Escolhas: 23 | + | #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 | 8.30 | NN | | + | | 08/06 | 8.30 | 1 (Prolog) | n/a | n/a | |
| - | | 08/06 | 8.50 | NN | | + | | 08/06 | 8.50 | 2 (Hoare) | {{lpc-t02-hoare.doc|}} | {{lpc-t02-hoare-slides.ppt|}} | |
| - | | 08/06 | 9.10 | NN | | + | | 08/06 | 9.10 | 4 (BDDs) | | {{lpc-t04-bdd.ppt|}} | |
| - | | 08/06 | 9.30 | NN | | + | | 08/06 | 9.30 | 5 (Fuzzy) | {{lpc-t05-fuzzy-logic.pdf|}} | {{lpc-t05-fuzzy-logic-slides.pdf|}} | |
| - | | 08/06 | 9.50 | NN | | + | | 08/06 | 9.50 | 7 (Falácias) | {{lpc-t07-falacias.doc|}} | {{lpc-t07-falacias-slides.ppt|}} | |
| - | | 13/06 | 8.30 | 6 (Lógica temporal) | | + | | 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) | | + | | 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) | | + | | 13/06 | 9.10 | 11 (Lógica modal) | n/a | n/a | |
| - | | 13/06 | 9.30 | 3 (Z) | | + | | 13/06 | 9.30 | 3 (Z) | {{lpc-t03-z.doc|}} | {{lpc-t03-z-slides.ppt|}} | |
| - | | 13/06 | 9.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.1149510650.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
