Ferramentas de Utilizador
inf05508:2006-2-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-2-trabalhos [2006/11/16 10:16] marcus |
inf05508:2006-2-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 7: | Linha 7: | ||
| - | + | ^ No. ^ Trabalho ^ Grupo ^ | |
| - | ^ No. ^ Trabalho ^ Grupo ^ | + | |
| | 1 | Lógica fuzzy | William, Eduardo, Adriano | | | 1 | Lógica fuzzy | William, Eduardo, Adriano | | ||
| | 2 | Lógica temporal | Fernando Canto, Giancarlo, Rubem | | | 2 | Lógica temporal | Fernando Canto, Giancarlo, Rubem | | ||
| Linha 17: | Linha 16: | ||
| | 7 | O cálculo de Hoare | Vanius, Gabriel Hernandez, Daniel | | | 7 | O cálculo de Hoare | Vanius, Gabriel Hernandez, Daniel | | ||
| | 8 | Especificação formal com Z | Rafael, Carolina | | | 8 | Especificação formal com Z | Rafael, Carolina | | ||
| - | | 9 | Minização de funções booleanas | Ricardo, Clóvis, Rodrigo Dobler | | + | | 9 | Minimização de funções booleanas | Ricardo, Clóvis, Rodrigo Dobler | |
| | 10 | BDDs | Leonardo Borba, Leonardo Pavan, Vagner Kolberg | | | 10 | BDDs | Leonardo Borba, Leonardo Pavan, Vagner Kolberg | | ||
| | 11 | Verificação de modelos com Alloy | | | | 11 | Verificação de modelos com Alloy | | | ||
| | 12 | Lógica em bancos de dados | Francis, Omar, Matheus | | | 12 | Lógica em bancos de dados | Francis, Omar, Matheus | | ||
| - | | 13 | Fundamentos e paradoxas na teoria dos conjuntos | | | + | | 13 | Fundamentos e paradoxas na teoria dos conjuntos | Fernando Coelho, Henrique | |
| | 14 | Os axiomas de Zermelo-Fraenkel pela teoria dos conjuntos| Mell, Jonas, Gabriel Portal | | | 14 | Os axiomas de Zermelo-Fraenkel pela teoria dos conjuntos| Mell, Jonas, Gabriel Portal | | ||
| | 15 | Falácias | Guilherme Stocco, Rodrigo Brauwers, Vinicius | | | 15 | Falácias | Guilherme Stocco, Rodrigo Brauwers, Vinicius | | ||
| | 16 | Indecibilidade da lógica de predicados.| Luiz Fernando, Guilherme, Felipe | | | 16 | Indecibilidade da lógica de predicados.| Luiz Fernando, Guilherme, Felipe | | ||
| - | #Escolhas: 35/44 | + | #Escolhas: 37/44 |
| + | |||
| + | ===== Agenda ===== | ||
| + | |||
| + | ^ Dia ^ Hora ^ Apresentação ^ Material ^ | ||
| + | | 21/11 | 10.30 | A linguagem de programação Prolog | T A | | ||
| + | | 21/11 | 10.50 | Minimização de funções booleanas | {{t-t-minbool.doc|T}} {{t-a-minbool.ppt|A}} | | ||
| + | | 21/11 | 11.10 | O cálculo de Hoare | T {{t-a-hoare.ppt|A}} | | ||
| + | | 21/11 | 11.30 | Especificação formal com Z | T {{t-a-z.ppt|A}} | | ||
| + | | 21/11 | 11.50 | Lógica temporal | T {{t-a-temporal.pdf|A}} | | ||
| + | | 23/11 | 10.30 | Os axiomas de Zermelo-Fraenkel | {{t-t-zermelo-fraenkel.doc|T}} {{t-a-zermelo-fraenkel.ppt|A}} | | ||
| + | | 23/11 | 10.50 | BDDs | {{t-t-bdds.pdf|T}} {{t-a-bdds.pdf|A}} | | ||
| + | | 23/11 | 11.10 | Indecibilidade da lógica de predicados. | {{t-t-incompletude.pdf|T}} {{t-a-incompletude.pdf|A}} | | ||
| + | | 23/11 | 11.30 | Lógica em bancos de dados | {{t-t-bd.rtf|T}} {{t-a-bd.ppt|A}} | | ||
| + | | 23/11 | 11.50 | Falácias | {{t-t-falacias.doc|T}} {{t-a-falacias.ppt|A}} | | ||
| + | | 28/11 | 10.30 | Lógica fuzzy | {{t-t-fuzzy.pdf|T}} {{t-a-fuzzy.pdf|A}} | | ||
| + | | 28/11 | 10.50 | Lógica modal | T {{t-a-modal.ppt|A}} | | ||
| + | | 28/11 | 11.10 | Lógica intuitionística | T A | | ||
| + | | 28/11 | 11.30 | Fundamentos e paradoxas na teoria dos conjuntos | {{t-t-fptc.doc|T}} {{t-a-fptc.ppt|A}} | | ||
| + | | 28/11 | 11.50 | | | | ||
inf05508/2006-2-trabalhos.1163679418.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:47 (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
