לוגיקה ותורת הקבוצות
תורת הקבוצות: תורת הקבוצות הנאיבית והאקסיומתית, עוצמות והשוואת קבוצות, קבוצות סופיות ואינסופיות, קבוצות בנות מנייה, עוצמת הרצף, סגירות של מחלקות קבוצות תחת פעולות, משפט קנטור, משפט קנטור-שרדר-ברנשטיין, דרגות של אינסוף, אריתמטיקה של עוצמות, השערת הרצף. לוגיקה: נלמד בקורס על שתי לוגיקות - לוגיקה פסוקית ולוגיקה מסדר ראשון. נבין את המרכיבים הכללים של לוגיקה - תחביר, סמנטיקה, ומערכת הוכחה - ונפרט על כל אחד מהם בשתי הלוגיקות הללו. בין היתר, נלמד על: לוגיקה פסוקית - קשרים לוגיים, השמות, טבלאות אמת, נביעה ושקילות לוגית, טאוטולוגיות וסתירות, צורות נורמליות. לוגיקה מסדר ראשון - כמתים, יחסים, פונקציות, מבנים ומודלים, נביעה ושקילות לוגית, צורות נורמליות. במסגרת לוגיקה מסדר ראשון, נראה דוגמאות של מבנים אלגבריים, ובפרט נלמד גם מושגי יסוד בתורת החבורות.
תנאי קדם
סיכום AI
הקורס נחשב למאתגר וקשה מאוד, עם שיעורי בית מורכבים והרצאות רשמיות שלא תמיד מסייעות מספיק להכנה למבחן. ההמלצה העיקרית היא להיעזר בקורס של גיא אברבנאל, ואף לשקול אותו כמשלים או כתחליף, ולתרגל כמה שיותר מבחני עבר. חשוב לדעת שפתרונות המבחנים הרשמיים עשויים להיות פורמליים מדי ואין להיבהל מהם.
ביקורות
טיפ לקורס
I didnt attend much of the lectures, but i enjoyed reading the slides very much. The set theory side to the course is very entertaining, the only negative thing i coul say is it could have gone into more depth to the mathematical side. Otherwise, logic felt rather dull in comparison. 9/10 course.
טיפ למבחן
Study for the joy of the course, not the exam. The exam grades will follow.
טיפ לקורס
התרגולים של שרון מאוד מאוד עוזרים ומאוד כדאי לקחת את הקורס של גיא אברבנאל מההתחלה ולפני המבחן זה יחסוך הרבה עבודה
טיפ למבחן
כמה שיותר מבחני עבר ולראות כמה שיותר שאלות בשילוב עם הקורס של גיא