Diferenças

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

--- inf05508-2006-1-trabalhos [2006/06/14 10:04]
marcus
+++ inf05508-2006-1-trabalhos [2010/01/18 15:45] (Actual)
@@ Linha 27: / Linha 27: @@
 | 08/06 | 8.30 | 1 (Prolog) |  n/a  |  n/a  |
 | 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) |  {{lpc-t08-bd.doc|}}  |  {{lpc-t08-bd-slides.ppt|}}  |
 | 13/06 | 9.10 | 11 (Lógica modal) |  n/a  |  n/a  |

Marcus Ritt