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/29 14:38] marcus |
inf05508:2006-2-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 27: | Linha 27: | ||
| #Escolhas: 37/44 | #Escolhas: 37/44 | ||
| - | + | ===== Agenda ===== | |
| - | Agenda | + | |
| ^ Dia ^ Hora ^ Apresentação ^ Material ^ | ^ Dia ^ Hora ^ Apresentação ^ Material ^ | ||
| | 21/11 | 10.30 | A linguagem de programação Prolog | T A | | | 21/11 | 10.30 | A linguagem de programação Prolog | T A | | ||
| - | | 21/11 | 10.50 | Minimização de funções booleanas | 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 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 A | | + | | 21/11 | 11.30 | Especificação formal com Z | T {{t-a-z.ppt|A}} | |
| - | | 21/11 | 11.50 | Lógica temporal | T 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}} 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 | 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}} 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 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}} | | | 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.30 | Lógica fuzzy | {{t-t-fuzzy.pdf|T}} {{t-a-fuzzy.pdf|A}} | | ||
| - | | 28/11 | 10.50 | Lógica modal | T 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.10 | Lógica intuitionística | T A | | ||
| - | | 28/11 | 11.30 | Fundamentos e paradoxas na teoria dos conjuntos | 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 | | | | | 28/11 | 11.50 | | | | ||
inf05508/2006-2-trabalhos.1164818286.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:46 (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
