Uni-Logo

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