למידה לוגית מתמטית
מדען מוביל
פרופ' מרדכי בן-ארי
תקציר
כתבתי מהדורה חדשה של ספר הלימוד בנושא הכולל נושאים חדשים וחשובים, ובמיוחד, אלגוריתמים לפתרון של בעיית SAT. פיתחתי כלי ממוחשב LearnSAT כדי לתמוך בסטודנטים הלמודים נושא זה.
מאמרים
- 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