We just added exercises sheets for the sections on language, computation, axiomatic and operational characterization, and solving - enjoy!