| |
Descrizione |
Date |
File (1 slide per page) |
File (6 slides per page) |
| 0 |
Introduction |
5/10/2005 |
01a-Intro.pdf |
s01a-Intro.pdf |
| 1 |
Computation |
5/10/2005 |
01b-Models.pdf |
s01b-Models.pdf |
| 2 |
Prolog 1 |
6/10/2005 |
02-Prolog.pdf |
s02-Prolog.pdf |
| 3 |
Prolog 1 (Lab) |
10/10/2005 |
03-PrologLab.pdf
|
3.pl 2p.jar |
| 4 |
Prolog 2 |
13/10/2005 |
04-MoreProlog.pdf |
s04-MoreProlog.pdf |
| 5 |
Prolog 2 (Lab) |
19/10/2005 |
05-MorePrologLab.pdf
|
|
| 6 |
Prolog 3 |
20/10/2005 |
06-PrologJava.pdf
|
6.zip 2p1.3.zip |
| 7a |
Grammars 1 |
26/10/2005 |
D2-Grammatiche.pdf |
sD2-Grammatiche.pdf |
| 7b |
Grammars 2 |
27/10/2005 |
D3-Riconoscitori a stati finiti.pdf
D4-Riconoscitori LL.pdf
|
sD3-Riconoscitori a stati finiti.pdf
sD4-Riconoscitori LL.pdf
|
| 8 |
Advanced Parsing |
2/11/2005 |
08-Parsing.pdf
|
s08-Parsing.pdf
JavaCC-examples.zip
|
| 9 |
Advanced Parsing (Lab) |
3/11/2005 |
09-ParsingLab.pdf
|
9.zip |
| 10 |
Semantics and Petri Nets |
9/11/2005 |
10a-Semantics.pdf
10b-PetriNets.pdf
|
s10a-Semantics.pdf
s10b-PetriNets.pdf
|
| 11 |
Semantics (Lab) |
10/11/2005 |
11-SemanticsLab.pdf
|
toy.zip |
| 12 |
Process Algebras |
16/11/2005 |
12-ProcessAlgebras.pdf
|
s12-ProcessAlgebras.pdf |
| 13 |
Nets and Algebras (Lab) |
17/11/2005 |
13-SemanticsApplications.pdf
|
13.zip |
| S |
Seminar on Constraints Satisfaction |
21/11/2005 |
14M-Vincoli.pdf
|
s14M-Vincoli.pdf |
| 14 |
Logics |
23/11/2005 |
14-Logics.pdf
|
s14-Logics.pdf |
| 15 |
Agents (Lab) |
30/11/2005 |
15-AgentsLab.pdf
|
3-apl.zip |
| 16 |
Exercises |
1/12/2005 |
16-Exercises.pdf
|
s16-Exercises.pdf |