Announcements
- Contact: moti.ben.ari@gmail.com
- Time and location: Tuesday, 1100-1300
THE FOLLOWING LINKS AND DOCUMENTS ARE NOT YET UPDATED FOR 2021 COURSE. DO NOT USE.
Documents
- Course description
- Lecture notes
- Exercises (updated 16/1/19)
- Quizzes with answers (Quiz 1, Quiz 2)
- Wason selection tasks
- Horn clauses in propositional logic
- The Many Guises of Induction (English, Hebrew)
Software
- SWI-Prolog
- LearnSAT
- Instructions for installation and running the software
- Prolog programs (updated 29/1/19)
Textbooks
- Mathematical Logic for Computer Science (Third edition)
- SWI-Prolog free textbooks (follow link Tutorials/Beginner)
- Logic Programming (in Hebrew)