2024–25–A
Course topics
סילבוס:
-
קבוצות: שייכות, איחוד, חיתוך, הפרש.
-
מכפלה קרטזית, מושג היחס, יחסי שקילות, יחס סדר חלקי, יחס סדר קווי. הגדרת פונקציה כקבוצת סדורים.
-
תחשיב הפסוקים: ו/או גרירה, שקילות וטבלאות האמת שלהם, ערך האמת של פסוקים בהשמה, שקילות לוגית וגרירה לוגית, טאוטולוגיות ופסוקים שקריים, הטאוטולוגיות החשובות: למשל, חוקי הפילוג, ונוסחאות דה-מורגן.
-
תחשיב הפרדיקטים: הגדרת שפת תחשיב הפרדיקטים ומשמעותה; הגדרת מבנים; נוסחאות ופסוקים; הסתפקות במבנה ובהשמה, אמיתיות לוגית, גרירה לוגית, שקילות לוגית; השקילויות החשובות, סדר הכמתים, הכנסת השלילה פנימה.
-
תורת הקבוצות: התאמות חד-חד-ערכיות, הרכבת פונקציות והפונקציה ההפוכה; יחסי שקילות; הגדרת העוצמה, שיוויון עוצמות ואי-שיוויון עוצמות; משפט קנטור ברנשטיין (ללא הוכחה), המשפט שכל שתי עוצמות נתנות להשוואה (ללא הוכחה); משפט קנטור על עוצמת קבוצות החזקה $|\mathbb{R}|=|\mathcal{P}(\mathbb{N})|$, $|\mathbb{Q}|=|\mathbb{N}\times\mathbb{N}|=|\mathbb{N}|$.
University course catalogue: 201.1.0201
Students' Issues
- Aguda Representative
- רכזת סיוע אקדמי - מדעי הטבע - אביטל פיימן
- Staff Observers
-
- איילת מארק (Faculty - Engineering)
- עמי ישעיה (Faculty - Engineering)
- רפאל שיקלר (Faculty - Engineering)
- פרופ’ דביר שבתאי (Faculty - Engineering)
- פרופ’ אורן שדות (Faculty - Engineering)
- פרופ’ פז כרמי (Computer science)
- פרופ’ דני הנדלר (Computer science)
- Eden Chlamtac (Computer science)
- Chen Keisar (Computer science)
- פרופ’ עופר ניימן (Computer science)
- איתן גרוספלד (Faculty - Natural sciences)
- רויטל בינדר (Faculty - Natural sciences)
- פרופ’ גיא שני (Software Engineering)
- ד”ר גרא וייס (Software Engineering)