לוגיקה ותורת הקבוצות
Bתורת הקבוצות הנאיבית והאקסיומתית, עוצמות והשוואת קבוצות, קבוצות סופיות ואינסופיות. לוגיקה פסוקית ולוגיקה מסדר ראשון: תחביר, סמנטיקה, מערכת הוכחה, טבלאות אמת, נביעה ושקילות לוגית, צורות נורמליות, כמתים, מבנים ומודלים.
תנאי קדם
סיכום AI
הקורס נחשב למאתגר וקשה מאוד, עם שיעורי בית מורכבים והרצאות רשמיות שלא תמיד מסייעות מספיק להכנה למבחן. ההמלצה העיקרית היא להיעזר בקורס של גיא אברבנאל, ואף לשקול אותו כמשלים או כתחליף, ולתרגל כמה שיותר מבחני עבר. חשוב לדעת שפתרונות המבחנים הרשמיים עשויים להיות פורמליים מדי ואין להיבהל מהם.
ביקורות
טיפ לקורס
התרגולים של שרון מאוד מאוד עוזרים ומאוד כדאי לקחת את הקורס של גיא אברבנאל מההתחלה ולפני המבחן זה יחסוך הרבה עבודה
טיפ למבחן
כמה שיותר מבחני עבר ולראות כמה שיותר שאלות בשילוב עם הקורס של גיא
טיפ למבחן
Don't get scared by the official solutions of past exams. They're way more formal than how they require you to be
טיפ לקורס
קורס מאוד מאוד קשה, ממליץ לקחת את הקורס של גיא אברבנל. ממש אנשים לא נכנסו להרצאות של אודי והוציאו ציונים מעולים. השיעורי בית קשים וההרצאות לא הכי עוזרות באמת כדי להצליח במבחן.
טיפ למבחן
אם עדיין אפשר אז לקנות את הקורס של גיא אברבנל, לטחון מבחני עבר. להבין את שיט הדגלים של גיא