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