Courses » Class » LMC0910 » Schedule, Slides, and Software

Schedule, Slides, and Software

Slides for lessons in room can be obtained here.

Software:

Code
 Description Date RoomTime
0
Introduction
Mon, 21/9V2
14-16.30
1a
Computational Models
Mon, 21/9 V214-16.30
1b
Abstract Data Types
Wed, 23/9
V2
11-13
1c
Functional Maude Wed, 23/9 V211-13
L1
Lab-Maude Fri, 25/9 LELE14-17
2a
Prolog 1
Mon, 28/9
V2
14-16.30
2a
Prolog 2
Wed, 30/9
V2
11-13
L-P1
Lab-Prolog 1
Fri, 1/10 LELE
14-17
2b
Prolog 3
Mon, 4/10
V2
14-16.30
2b
Prolog 4
Wed, 6/10
V2
11-13
L-P2
Lab-Prolog 2Fri, 8/10
LELE
14-17
2b
Prolog 5
Mon, 11/10
V2
14-16.30
2cMetaprogramming
Thu, 14/10
V1
11-13
L-P3
Lab-Prolog3
Fri, 15/10
LELE
14-17
2d
Metainterpretation
Mon, 18/10
V2
14-16.30
2e
Java-Prolog
Wed, 20/10
V2
11-13
L-JPLab-JavaProlog
Fri, 22/10
LELE
14-17
3a Basic Logics Mon 25/10
V2
14-16.30
3a
Basic Logics
Wed, 27/10
V2
11-13
3b
Other Logics
Fri, 29/10
V2
14-16
4a
Grammars
Mon, 2/11V2
14-16.30
4b
Basic Parsing
Wed, 4/11
V2
11-13
L-Par
Lab-Parsing
Fri, 6/11
LELE 
14-17
4c
Compilation
Mon, 9/11
V2
14-16.30
4d
Parsing and Interpretation in Java
Wed, 11/11
V2
11-13
L-Comp
Lab-CompilationFri, 13/11
LELE
14-17
4e
Operational Semantics
Mon, 16/11
V2
14-16.30
4f
Maude for Op. Semantics
Wed, 18/11
V2
11-13
L-OpSem
Lab-Operational Semantics
Fri, 20/11
LELE
14-17
5a
Petri Nets
Mon, 23/11
V2
14-16.30
5b
Model-Checking
Thu, 26/11
V1
9-11
L-MC
Lab-ModelChecking
Fri, 27/11
LELE
14-17
5c
Process Algebras 1
Mon, 30/11
V2
14-16.30
5d
Process Algebras 2
Wed, 2/12
V2
11-13
5eStochastic Models
Fri, 4/12
V214-16
5f
Stochastic ModelChecking
Thu, 10/12
V1
9-11
L-PRISM
Lab-PRISMFri, 11/12
LELE
14-17
SEM-BIO
Computational Models for Biological Systems
Mon, 14/12
V2
14-16.30
L-SPIM
Lab-SPIM
Thu, 17/12
LELE
9-12