EXERCISES AND EXAMS
Here you can find:
BASIC READING
There
is no basic or mandatory written reference for this course. A
list of suggested readings (e.g. chapters in advanced/reference
textbooks and collections, and research papers) will be available
as the course proceeds. Any textbook on mathematical logic. (In
our Library there are many, just do your choice. We will be happy
to know what is your favourite!) Some suggestions follow.
- A
booklet with exercises spanning different logic languages
can be found here.
- E.
Mendelson: "Introduction to Mathematical Logic - Third
edition", Wadsworth Inc., Belmont, CA, 1987.
- M.
Huth and M. Ryan, "Logic in Computer Science", Cambridge
University Press, 2004.
- F.
Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider,
"Handbook of Description Logics", Cambridge University
Press, Cambridge, UK, 2002.
HANDOUTS
All material presented in class
will be available through handouts. Most handouts especially PPTs
of the lessons) will be made here. We will post the material a
few days after each lecture, if not stated otherwise.
|