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

מדען מוביל

פרופ' מרדכי בן-ארי

תקציר

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

מאמרים

אתר הפרוייקט

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