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

צוות מוביל

תקציר

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

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