Diferenças

Esta página mostra as diferenças entre as duas revisões da página.

--- inf05508:2006-2-trabalhos [2006/11/30 10:35]
marcus
+++ inf05508:2006-2-trabalhos [2010/01/18 15:45] (Actual)
@@ Linha 27: / Linha 27: @@
 #Escolhas: 37/44
+===== Agenda =====
-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 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}} |
@@ Linha 39: / Linha 38: @@
 | 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 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 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 | | |

Marcus Ritt