Lecture notes (contributed by Alexander Maryanovsky)

It's recommended to use Acrobat Reader 6.0 (http://www.adobe.com/products/acrobat/readermain.html) for viewing these files.

• Lecture 1  

• Lecture 2  

• Lecture 3  

• Lecture 4  

• Lecture 5  

• Lecture 6  

• Lecture 7  

• Lecture 8  

• Lecture 9  

• Lecture 10  

• Lecture 11  

Assignments:

• Exercise 1        Due Date: 6/3/07

• Exercise 2        Due Date: 14/3/07 (Solution for question 5)  

• Exercise 3        Due Date: 27/3/07 (Solution for question 1d)  

• Exercise 4        Due Date: 19/4/07 (Solution for questions 1,2,3)  

• Exercise 5        Due Date: 7/6/07 (Solution for questions 1,2,8)  

• Exercise 6        Due Date: 12/6/07 (Solution for questions 3,5, updated 24/6/07)  

• Exercise 7        Due Date: 19/6/07 (Solution)  

• Exercise 8        Due Date: 26/6/07

• Exercise 9        Due Date: 1/7/07

Tutorials:

• Tutorial 1 (contributed by Alexander Maryanovsky)

• Tutorial 2

• Tutorial 3

• Tutorial 4

• Tutorial 5 (29/5/2007)

• Tutorial 6 (1/6/2007)

• Tutorial 7 (5/6/2007)

• Tutorial 8 (12/6/2007)

• Tutorial 9 (19/6/2007)

• Tutorial 10 (26/6/2007)

Recommended reading:

Logic for CS:

• V. Sperschneider and G. Antoniou, Logic - a foundation for computer science

• 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:

• 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

• 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:

• English-Hebrew dictionary of logical terms by Udi Boker