MTA, Fall 2008: Logic
for CS
Announcements: Details:
Anna
Zamansky
Lecture notes:
Tutorial notes:
Assignments and handouts:
Test Examples:
Recommended reading: Herbert B.
Enderton, A
mathematical introduction to logic (2-nd edition) D. Van Dalen, Logic
and structure (3-rd edition) E. Mendelson,
Introduction to mathematical logic V. Sperschneider and G.
Antoniou, Logic - a foundation for computer science More reading: Logic for
CS: Nerode and R. Shore,
Logic for applications S. Reeves and M. Clarke,
Logic for computer science Z. Manna and R. Waldinger,
The deductive foundations of computer programming Burris and Stanley,
Logic for mathematics and computer science
Classical texts on Mathematical
Logic: J.R. Shoenfield,
Mathematical logic H. Ebbinghous, J. Flum and
W. Thomas, Mathematical logic Handbooks: J. Barwise ed.,
Handbook of mathematical logic D. Gabbay and F. Guenther
ed., Handbook of philosofical logic D. Gabbay ed.,Handbook
of logic in computer science D. Gabbay et al ed.,
Handbook of AI and logic programming Useful Links:
annaz [at] post.tau.ac.il
Reception hour: Sunday after class