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

פקולטה: הנדסת חשמל ומחשבים
|תואר ראשון
מקצועות ללא זיכוי נוסף

94344 - מתמטיקה דיסקרטית ת' 94345 - מתמטיקה דיסקרטית ת' 94346 - מתמטיקה דיסקרטית 94347 - מתמטיקה דיסקרטית 104002 - מושגי יסוד במתמטיקה 104286 - קומבינטוריקה 104290 - תורת הקבוצות 104293 - תורת הקבוצות 234129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח 234141 - קומבינטוריקה למדעי המחשב 234144 234292 - לוגיקה למדעי המחשב 234293 - לוגיקה ותורת הקבוצות למדעי המחשב

מידע סמסטריאלי

שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

דר. שינולד שרי


מבחנים
מועד א: 02-02-2023 מועד ב: 09-03-2023
קבוצות רישום
11
הרצאה שני 14:30 - 16:30 | דר. שינולד שרי
תרגול שני 16:30 - 17:30
שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

פרופ. קסלסי יצחק

הערות
  • מתרגל ובודק תרגילים: מאג'ד חלף

מבחנים
מועד א: 28-07-2022 09:00 - 12:00
  • אולמן 500. 501.
מועד ב: 23-10-2022 13:00 - 16:00
  • אולמן 200. 203. 300. 303.

קבוצות רישום
11
הרצאה ראשון 10:30 - 12:30 אולמן 707 | פרופ. קסלסי יצחק
תרגול ראשון 12:30 - 13:30 אולמן 707 | מר חלף מאג'ד
שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

דר. שינולד שרי

הערות
  • מתרגל ובודק תרגילים: מאג'ד חלף

מבחנים
מועד א: 03-02-2022 17:00 - 20:00
  • אולמן 801. 802. 803.
מועד ב: 14-03-2022 17:00 - 20:00
  • אולמן 705. 706. 707.
מועד ג: 04-04-2022 17:00 - 20:00
  • אולמן 503.

קבוצות רישום
11
הרצאה ראשון 13:30 - 15:30 אולמן 705 | דר. שינולד שרי
תרגול שלישי 16:30 - 17:30 אולמן 705 | מר חלף מאג'ד