Dynamic Epistemic Logic - Exercises
Exercises
| Sheet | Handed out | Due | Additional files |
|---|---|---|---|
| Exercise 01 | Thu, Oct. 20, 2016 | Thu, Oct. 27, 2016 | |
| Exercise 02 | Thu, Oct. 27, 2016 | Thu, Nov. 03, 2016 | |
| Exercise 03 | Thu, Nov. 03, 2016 | Thu, Nov. 10, 2016 | |
| Exercise 04 | Thu, Nov. 17, 2016 | Thu, Nov. 24, 2016 | |
| Exercise 05 | Thu, Nov. 24, 2016 | Thu, Dec. 01, 2016 | |
| Exercise 06 | Thu, Dec. 01, 2016 | Thu, Dec. 08, 2016 | |
| Exercise 07 | Thu, Dec. 08, 2016 | Thu, Dec. 15, 2016 | |
| Exercise 08 | Thu, Dec. 15, 2016 | Thu, Dec. 22, 2016 | |
| Exercise 09 | Thu, Dec. 22, 2016 | Thu, Jan. 12, 2017 | |
| Exercise 10 | Thu, Jan. 19, 2017 | Thu, Jan. 26, 2017 | |
| Exercise 11 | Thu, Jan. 26, 2017 | Thu, Feb. 02, 2017 |
Projects
| Project | Handed out | Due | Additional files |
|---|---|---|---|
| Project 1 | Mon, Nov. 07, 2016 | Mon, Nov. 28, 2016 |
birthday.json hanabi.json |
| Project 2 | Mon, Dec. 12, 2016 | Mon, Jan. 09, 2017 |
example.json |
| Project 3 | Mon, Jan. 09, 2017 | Mon, Feb. 06, 2017 |