material of today (without slides)

I uploaded a scan of the material I illustrated on the whiteboard as excerpted scan of the Book which I had read as preparation.

Interesting are in particular the 2 examples towards the end, which illustrate the construction. In the lecture I did not have time to go through the examples, I just tried to convey the general intuition of the construction (like why states are sets of formulas etc.)

The scan is stored in the directory "handouts", not "slides"