Learning mathematical logic
Leading team
Prof. Mordechai Ben-Ari
Summary
I revised my textbook on the subject to include new areas that have become important, in particular, the use of SAT solvers. I developed a software tool called LearnSAT for students learning about SAT solvers.
Related articles
- M. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012.
http://www.springer.com/978-1-4471-4128-0 - M. Ben-Ari. LearnSAT: A SAT Solver for Education. 16th International Conference on Theory and Applications of Satisfiability Testing, Springer LNCS 7962, pp. 403–407, 2013.
http://link.springer.com/chapter/10.1007/978-3-642-39071-5_30
Link to project website