Logics for Computer Science

Course plan:

Assignments: homeworks with exercises. It is required to submit 80%. The final grade = 20%homework+80% exam.

Requirements: Discrete Math.

Literature:

There are many good books on Math Logic but unfortunately there is no book suitable for the course on Logic for Computer Science. Here some books which might be helpful for the course.

Sperschneider and Antonio, Logic: A foundation of Computer Science.

van Dalen, Logic and Structure.

Mendelson, Mathematical Logic.

Ebbinghaus, Flum and Thomas Mathematical Logic.

Slides for the lecture on 02/01/07: pdf and ps.gz

Slides for the lecture on 16/01/07: pdf and ps.gz

See also the course page of the instructor: Zamansky Anna .