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
DLDescription 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
Tags:

Course

— a.y.

2010/2011

— credits

9

— cycle

2nd cycle

— language

wit.gif

Teachers

— professor

Mirko Viroli

— other professors

Matteo Casadei

— tutors

Matteo Casadei

Context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— department / faculty / school

Ingegneria CE (0031)

— 2nd cycle

8200 Ingegneria informatica 

URLs & IDs

AMS Page
Course Timetable

— course ID

49778

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY