1 Schedule, Slides, and Software

Slides are available through the following [link|http://campus.cib.unibo.it/38812/].

<table border="1" style="width: 97%"> <tbody><tr><td style="width: 90px">*Code*

</td><td style="width: 256px"> *Description*</td>
<td style="width: 180px">*Date*</td>
<td style="font-weight: bold; width: 154px">Room</td><td style="font-weight: bold; width: 91px">Time</td>
</tr> <tr><td>0

</td><td>Introduction

</td><td> 4/10/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr> <td>&#49;a

</td><td style="width: 256px">Computational Models

</td>
<td style="width: 180px"> 4/10/2010</td>
<td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17</td>
</tr> <tr><td>&#49;b

</td><td>Abstract Data Types

</td><td> On your own..
</td><td> ..</td><td> (before 1c)
</td></tr><tr> <td>&#49;c

</td><td style="width: 256px">Functional Maude</td>
<td style="width: 180px"> &#49;1/10/2010</td>
<td style="width: 154px"> V1</td><td style="width: 91px"> &#49;3-14</td>
</tr> <tr> <td>L1

</td><td style="width: 256px">Lab-Maude</td>
<td style="width: 180px"> &#49;1/10/2010</td>
<td style="width: 154px"> LELE</td><td style="width: 91px"> &#49;4-17</td>
</tr> <tr> <td>2a

</td><td style="width: 256px">Prolog 1

</td><td style="width: 180px"> 8/10/2010</td>
<td style="width: 154px"> V2
</td><td style="width: 91px"> &#49;4-17
</td></tr>
<tr><td>2a

</td><td>Prolog 2

</td><td style="width: 180px"> &#49;2/10/2010
</td><td style="width: 154px"> V2
</td><td style="width: 91px"> &#49;1-13
</td></tr><tr> <td>L-P1

</td><td style="width: 256px">Lab-Prolog 1

</td>
<td style="width: 180px"> &#49;4/10/2010</td> <td style="width: 154px"> LELE
</td><td style="width: 91px"> &#49;0-13
</td></tr> <tr><td>2b

</td><td>Prolog 3

</td><td style="width: 180px"> &#49;8/10/2010</td><td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17
</td></tr><tr><td>2b

</td><td>Prolog 4

</td><td style="width: 180px"> &#49;9/10/2010</td><td style="width: 154px"> V2</td><td style="width: 91px"> &#49;1-13</td></tr><tr><td>L-P2

</td><td>Lab-Prolog 2</td><td style="width: 180px"> 20/10/2010</td><td style="width: 154px"> VELA</td><td style="width: 91px"> 9-12</td></tr>
<tr> <td>2b

</td><td style="width: 256px">Prolog 5

</td>
<td style="width: 180px"> 25/10/2010</td> <td style="width: 154px"> V1
</td><td style="width: 91px"> &#49;4-17
</td></tr> <tr><td>2c</td><td>Metaprogramming

</td><td> 26/10/2010</td><td> V2
</td><td> &#49;1-13
</td></tr><tr><td>L-P3

</td><td>Lab-Prolog3

</td><td> 28/10/2010</td><td> LELE
</td><td> &#49;0-13</td></tr><tr>
<td>2d

</td><td style="width: 256px">Metainterpretation

</td> <td style="width: 180px"> 02/11/2010</td> <td style="width: 154px"> V2
</td><td style="width: 91px"> &#49;1-13</td></tr> <tr> <td>2e

</td><td style="width: 256px">Java-Prolog

</td>
<td style="width: 180px"> 04/11/2010</td> <td style="width: 154px"> LELE</td><td style="width: 91px"> 9-13</td></tr> <tr> <td>L-JP</td><td style="width: 256px">Lab-JavaProlog

</td>
<td style="width: 180px"> 04/11/2010</td> <td style="width: 154px"> LELE</td><td style="width: 91px"> 9-13</td></tr> <tr> <td>3a
</td><td style="width: 256px">Basic Logics</td>
<td style="width: 180px"> 08/11/2010
</td><td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17</td>
</tr>  
<tr><td>3a

</td><td>Basic Logics

</td><td> &#49;2/11/2010</td><td> V2
</td><td> &#49;4-16</td></tr><tr><td>4a

</td><td>Grammars

</td><td> &#49;5/11/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>4b

</td><td>Basic Parsing

</td><td> &#49;6/11/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-Par

</td><td>Lab-Parsing

</td><td> &#49;8/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4c

</td><td>Compilation

</td><td> 22/11/2010</td><td> V1</td><td> &#49;4-17
</td></tr><tr><td>4d

</td><td>Parsing and Interpretation in Java

</td><td> 23/11/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-Comp

</td><td>Lab-Compilation</td><td> 25/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4e

</td><td>Operational Semantics

</td><td> 29/11/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>4f

</td><td>Maude for Op. Semantics

</td><td> 30/11/2010</td><td> V2
</td><td> &#49;1-13</td></tr><tr><td>L-OpSem

</td><td>Lab-Operational Semantics

</td><td> &#49;/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>5a

</td><td>Petri Nets

</td><td> 6/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>5b

</td><td>Model-Checking

</td><td> 7/12/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-MC

</td><td>Lab-ModelChecking

</td><td> 9/12/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>5c

</td><td>Process Algebras 1

</td><td> &#49;0/12/2010</td><td> V2</td><td> &#49;4-17</td></tr><tr><td>5d

</td><td>Process Algebras 2

</td><td> &#49;3/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>5e</td><td>Stochastic Models

</td><td> &#49;4/12/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>Free
</td><td>Free slot (seminar or exercises)
</td><td> &#49;5/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>DL
</td><td>Description Logic Seminar
</td><td> &#49;7/12/2010
</td><td> V2</td><td> &#49;4-17</td></tr><tr><td>5f

</td><td>Stochastic ModelChecking

</td><td> 20/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>L-PRISM

</td><td>Lab-PRISM</td><td> 23/12/2010</td><td> LELE</td><td> 9-12</td></tr></tbody></table>

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-2021 APICe@DISI Research Group - PRIVACY