25.01.23 סדנאות ומשוב עמיתים – האם יש תחליף לבדיקת תרגילי בית?

דוברים: ד״ר טלי פינסקי, סיון אלדר, אדם נייס, וסטודנטים נוספים

תקציר: בינה מלאכותית שתאפשר בדיקה ממוחשבת של שאלות הוכחה במתמטיקה עדיין לא קיימת. הבדיקה האנושית שניתן להציע לסטודנטים לאורך הסמסטר היא בדרך כלל חלקית או שטחית, לא מספיקה ולעיתים אפילו מטעה. האם יש אלטרנטיבות?
בסמינר נספר על שתי חלופות להגשה ובדיקה מסורתית של תרגילי בית. כל אחת מהן נוסתה בשנה האחרונה בשני קורסים שונים. החלופה הראשונה, שנוסתה בקורסים של סמסטר שני-שלישי (מד״ר א׳ ומבוא למרחבים מטריים וטופולוגיים) היא בדיקת עמיתים, במודל שבו הסטודנטים בודקים את תרגילי הבית אחד לשני, בתמורה לציון מגן. בחלופה השנייה, שנוסתה בקורסים יותר מתקדמים (טופולוגיה וגיאומטריה וסימטריה), חלק משעות ההרצאה התקיימו במתכונת של סדנה, שבה הסטודנטים עבדו באופן משותף על הוכחת טענות ועל תרגילים. ביחד עם פאנל של סטודנטים נדון לגבי היתרונות והמגבלות של כל שיטה, ונעלה הצעות ורעיונות לשיפור.