למידה לוגית מתמטית

צוות מוביל

פרופ' אמריטוס מוטי בן ארי

תקציר

כתבתי מהדורה חדשה של ספר הלימוד בנושא הכולל נושאים חדשים וחשובים, ובמיוחד, אלגוריתמים לפתרון של בעיית SAT. פיתחתי כלי ממוחשב LearnSAT כדי לתמוך בסטודנטים הלמודים נושא זה.

לקריאה נוספת:

M. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012.
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.
אתר הפרוייקט