APICe » Courses » LMC1011 » Schedule, Slides, and Software

Schedule, Slides, and Software

Slides are available through the following link.

Code
Description Date RoomTime
0
Introduction
 4/10/2010 V1 14-17
1a
Computational Models
 4/10/2010  V1 14-17
1b
Abstract Data Types
 On your own..
 .. (before 1c)
1c
Functional Maude  11/10/2010  V1 13-14
L1
Lab-Maude  11/10/2010  LELE 14-17
2a
Prolog 1
 8/10/2010  V2
 14-17
2a
Prolog 2
 12/10/2010
 V2
 11-13
L-P1
Lab-Prolog 1
 14/10/2010  LELE
 10-13
2b
Prolog 3
 18/10/2010 V1 14-17
2b
Prolog 4
 19/10/2010 V2 11-13
L-P2
Lab-Prolog 2 20/10/2010 VELA 9-12
2b
Prolog 5
 25/10/2010  V1
 14-17
2cMetaprogramming
 26/10/2010 V2
 11-13
L-P3
Lab-Prolog3
 28/10/2010 LELE
 10-13
2d
Metainterpretation
 02/11/2010  V2
 11-13
2e
Java-Prolog
 04/11/2010  LELE 9-13
L-JPLab-JavaProlog
 04/11/2010  LELE 9-13
3a Basic Logics  08/11/2010
 V1 14-17
3a
Basic Logics
 12/11/2010 V2
 14-16
4a
Grammars
 15/11/2010 V1 14-17
4b
Basic Parsing
 16/11/2010 V2 11-13
L-Par
Lab-Parsing
 18/11/2010 LELE 9-12
4c
Compilation
 22/11/2010 V1 14-17
4d
Parsing and Interpretation in Java
 23/11/2010 V2 11-13
L-Comp
Lab-Compilation 25/11/2010 LELE 9-12
4e
Operational Semantics
 29/11/2010 V1 14-17
4f
Maude for Op. Semantics
 30/11/2010 V2
 11-13
L-OpSem
Lab-Operational Semantics
 1/12/2010 VELA 9-12
5a
Petri Nets
 6/12/2010 V1 14-17
5b
Model-Checking
 7/12/2010 V2 11-13
L-MC
Lab-ModelChecking
 9/12/2010 LELE 9-12
5c
Process Algebras 1
 10/12/2010 V2 14-17
5d
Process Algebras 2
 13/12/2010 V1 14-17
5eStochastic Models
 14/12/2010 V2 11-13
Free
Free slot (seminar or exercises)
 15/12/2010 VELA 9-12
DL
Description Logic Seminar
 17/12/2010
 V2 14-17
5f
Stochastic ModelChecking
 20/12/2010 V1 14-17
L-PRISM
Lab-PRISM 23/12/2010 LELE 9-12