Introduction to Logic and Set Theory

סילבוס:

1. קבוצות: שייכות, איחוד, חיתוך, הפרש.

2. מכפלה קרטזית, מושג היחס, יחסי שקילות, יחס סדר חלקי, יחס סדר קווי. הגדרת פונקציה כקבוצת סדורים.

3. תחשיב הפסוקים: ו/או גרירה, שקילות וטבלאות האמת שלהם, ערך האמת של פסוקים בהשמה, שקילות לוגית וגרירה לוגית, טאוטולוגיות ופסוקים שקריים, הטאוטולוגיות החשובות: למשל, חוקי הפילוג, ונוסחאות דה-מורגן.

4. תחשיב הפרדיקטים: הגדרת שפת תחשיב הפרדיקטים ומשמעותה; הגדרת מבנים; נוסחאות ופסוקים; הסתפקות במבנה ובהשמה, אמיתיות לוגית, גרירה לוגית, שקילות לוגית; השקילויות החשובות, סדר הכמתים, הכנסת השלילה פנימה.

5. תורת הקבוצות: התאמות חד-חד-ערכיות, הרכבת פונקציות והפונקציה ההפוכה; יחסי שקילות; הגדרת העוצמה, שיוויון עוצמות ואי-שיוויון עוצמות; משפט קנטור ברנשטיין (ללא הוכחה), המשפט שכל שתי עוצמות נתנות להשוואה (ללא הוכחה); משפט קנטור על עוצמת קבוצות החזקה $|\mathbb{R}|=|\mathcal{P}(\mathbb{N})|$, $|\mathbb{Q}|=|\mathbb{N}\times\mathbb{N}|=|\mathbb{N}|$.

החובות בקורס

• כדי לעבור את הקורס צריך לעבור את הבחינה המסכמת בציון של 56 ומעלה.

• במהלך הקורס על התלמידים לפתור מטלות ממוחשבות. פתרון של לפחות 80% מהמטלות הממוחשבות בהצלחה מזכה את מי שעבר את הבחינה ב-5 נקודות לשקלול בציון סופי.

• בנוסף למטלות הממוחשבות יגישו התלמידים בקורס 5 תרגילים כתובים. כדי להגישם יש לסרוק את כתב היד ולהעלותו לאתר הקורס. אפשר להשתמש במכונות צילום או באפליקציות לטלפונים ניידים דוגמת camscanner. העלו בבקשה קבצי pdf בלבד.

חשיבותן של המטלות הלא ממוחשבות הוא בכך שהן מכינות אתכם לבחינה. שאלות ממטלות אלה, או שאלות דומות להן, עשויות להופיע בבחינה המסכמת. המטלות תיבדקנה מדגמית. תלמיד שיגיש את כל המטלות יזכה ב-5 נקודות נוספות לשקלול לאחר מעבר הבחינה המסכמת.

סיכום מרכיבי הציון הסופי באחוזים

• אם הציון בבחינה המסכמת הוא 56 או יותר, אז הרכב הציון הוא:
  • מטלות ממוחשבות: 5
  • מטלות כתובות: 5
  • בחינה סופית: 90
• אם הציון בבחינה המסכמת נמוך מ-56 אז הוא הציון הסופי.

היעדרויות ואיחורים

אישור לקבלת הארכה להגשת העבודות ינתן באמצע הסמסטר רק על סמך סיבות מאושרות לפי התקנון בהצגת המסמכים המתאימים. הסיבות המוצדקות הן הסיבות המוגדרות מניעה חמורה בנוהל הבחינות של האוניברסיטה.

בכל מקרה של שינוי בהרכבי הציונים מסיבות אלה, עדיין הציון של מבחן הסופי יהווה 100% של הציון במקרה של ציון נמוך ממש מ-56 במבחן הסופי