שינויים

'''מיקוד:''' מדיניותינו הרשמית העקרונית (והנכונה למבחן ולהמשך התואר) היא שראוי להיות מסוגל להוכיח כל טענה שהוכחה בהרצאה. לתלמידים שבכל זאת מעוניינים במשהו דומה למיקוד, נסמן [http://u.cs.biu.ac.il/~tsaban/Pdf/Infi1ExtOutline76.pdf בתקציר ההרצאות] קצת יותר מהוכחה אחת בממוצע לכל הרצאה, אשר בסיכוי טוב אחת עד (ואולי שתיים ) מהן יופיעו בכל מועד. לגבי שאר ההוכחות מההרצאה: אם הן ברמה דומה לתרגיל, כלומר שאפשר להוכיחן גם בלי לזכור דבר על הוכחתן מההרצאה, הן, (או תרגילים דומים משהו דומה להן, עשויים ) עשויות להופיע במבחן, כתרגיל. ההוכחות, וכן סדר המשפטים, בקבוצה של ד"ר שיין עשויים להיות שונים מעט, וכמובן שגם ההוכחות שניתנן בקורס של ד"ר שיין קבילות, ואין הכרח להוכיח כמו ברמזים שבתקציר.