Slides
You can find a download link for the slides of each video on the videos' pages.
For your convenience we offer an archive of this weeks' slides here: Download zip or in a big PDF file.
Additional Material
The books and articles mentioned here are an additional material and not required to follow and understand the course.
Uwe Schöning: "
Logic for Computer Scientists",
Birkhäuser, 2008.
Preview on Google Books.
Find in a library.
This book helps in recapitulations of the foundations of Propositional Logic(PL) and First Order Logic(FOL), as well as for inference algorithms.
For in-depth reviewing, here you will find Description Logic related documents: