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

Link to project website

 

https://code.google.com/p/mlcs/