Diese Seite ist nur auf Englisch verfügbar.
Dynamic Epistemic Logic - Exercises
Exercises
| Sheet | Handed out | Due | Additional files |
|---|---|---|---|
| Exercise 01 | Wed, April 24, 2019 | Thu, May 2, 2019 | |
| Exercise 02 | Thu, May 2, 2019 | Thu, May 9, 2019 | |
| Exercise 03 | Wed, May 08, 2019 | Wed, May 15, 2019 | |
| Exercise 04 | Wed, May 15, 2019 | Wed, May 22, 2019 | |
| Exercise 05 | Wed, May 22, 2019 | Wed, May 29, 2019 |
template.py model.json birthday.json |
| Exercise 06 | Wed, May 29, 2019 | Wed, June 05, 2019 | |
| Exercise 07 | Wed, June 5, 2019 | Wed, June 19, 2019 | |
| Exercise 08 | Wed, June 19, 2019 | Wed, June 26, 2019 | |
| Exercise 09 | Wed, June 26, 2019 | Wed, July 03, 2019 | |
| Exercise 10 | Wed, July 3, 2019 | Wed, July 17, 2019 | |
| Exercise 11 | Wed, July 3, 2019 | Wed, July 17, 2019 |