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/10/30 11:58] 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 | | | + | | 3 | Lógica intuitionística | Vágner | |
| - | | 3 | Lógica intuitionística | | | + | | 4 | Lógica modal | Rosália, Maurício, Diego | |
| - | | 4 | Lógica modal | Rafael | | + | |
| | 5 | Resolução na lógica propositional | | | | 5 | Resolução na lógica propositional | | | ||
| - | | 6 | A linguagem de programação Prolog | Gustavo, Bruno, Rodrigo Santos. | | + | | 6 | A linguagem de programação Prolog | Gustavo, Bruno, Rodrigo Santos | |
| - | | 7 | O cálculo de Hoare | | | + | | 7 | O cálculo de Hoare | Vanius, Gabriel Hernandez, Daniel | |
| - | | 8 | Especificação formal com Z | | | + | | 8 | Especificação formal com Z | Rafael, Carolina | |
| - | | 9 | Minização de funções booleanas | Ricardo, | | + | | 9 | Minimização de funções booleanas | Ricardo, Clóvis, Rodrigo Dobler | |
| - | | 10 | BDDs | | | + | | 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, | | + | | 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| | | + | | 14 | Os axiomas de Zermelo-Fraenkel pela teoria dos conjuntos| Mell, Jonas, Gabriel Portal | |
| - | | 15 | Falácias | Guilherme Stocco, Rodrigo Brauwers. | | + | | 15 | Falácias | Guilherme Stocco, Rodrigo Brauwers, Vinicius | |
| - | | 16 | Indecibilidade da lógica de predicados.| Luiz Fernando, Guilherme. | | + | | 16 | Indecibilidade da lógica de predicados.| Luiz Fernando, Guilherme, Felipe | |
| + | |||
| + | #Escolhas: 37/44 | ||
| + | |||
| + | ===== Agenda ===== | ||
| - | #Escolhas: 13/44 | + | ^ 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.1162220315.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
