Audio on Lecture recording

The previous user of the lecture room forgot to put the microphone on the charger.  So unfortunately, the sound is missing on the first 45 minutes of the recording :-(

But here is the solution:

• The slides for the first 45 minutes are almost identical to last year¡¯s ones, so please look at Last year¡¯s recording for the start of the lecture.
• The second part (from Satisfiability & Validity) is different from last year, but has sound.  It has some extra material, and the bit about description logics was moved to next week.

Sorry about that ¨C the microphone worked in the beginning, and there is no way of noticing while lecturing when it stops working.