Diferenças

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

--- inf05508-2006-1-trabalhos [2006/06/13 14:41]
marcus
+++ inf05508-2006-1-trabalhos [2010/01/18 15:45] (Actual)
@@ Linha 26: / Linha 26: @@
 ^ Dia ^ Hora ^ Grupo ^ Texto ^ Apresentação ^
 | 08/06 | 8.30 | 1 (Prolog) |  n/a  |  n/a  |
-| 08/06 | 8.50 | 2 (Hoare) |    |    |
+| 08/06 | 8.50 | 2 (Hoare) |  {{lpc-t02-hoare.doc|}}  |  {{lpc-t02-hoare-slides.ppt|}}  |
-| 08/06 | 9.10 | 4 (BDDs) |    |    |
+| 08/06 | 9.10 | 4 (BDDs) |    |  {{lpc-t04-bdd.ppt|}}  |
 | 08/06 | 9.30 | 5 (Fuzzy) |  {{lpc-t05-fuzzy-logic.pdf|}}  |  {{lpc-t05-fuzzy-logic-slides.pdf|}}  |
 | 08/06 | 9.50 | 7 (Falácias) |  {{lpc-t07-falacias.doc|}}  |  {{lpc-t07-falacias-slides.ppt|}}  |
-| 13/06 | 8.30 | 6a (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) |  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 | 9 (Jape) |    |    |
+| 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|}}  |

Marcus Ritt