חיפוש חדש  חזור
מידע אישי לתלמיד

שנה"ל תשע"ט

  מבוא למתמטיקה בדידה
  Introduction to Discrete Mathematics                                                                 
0509-2847-02
הנדסה | תואר ראשון - קורסי שירות
סמ'  א'1400-1500118וולפסון - הנדסהתרגיל מר ליפשיץ גור
סילבוס מקוצר
 

 משקל:   2.5

מושגי יסוד בלוגיקה: תחשיב הפסוקים: קשרים, כמתים, שקילויות בין פסוקים.
מושגי יסוד בתורת הקבוצות: פעולות, חוקי דה-מורגן, קבוצת החזקה, זוגות סדורים ומכפלה קרטזית.
פונקציות: הרכבה, חח"ע, על, הפיכות.
יחסים: סוגי יחסים: רפלקסיבי, סימטרי, טרנזיטיבי, אנטי-סימטרי (חלש וחזק), אי-רפלקסיבי.  משפחות יחסים: שקילות, סדר חלש וסדר חזק. חלוקה, קבוצת המנה.
עוצמות: סקירה בלבד: קבוצה בת-מניה, עוצמת הרצף, השוואה בין עוצמות.
קומבינטוריקה - טכניקות ספירה בסיסיות: עקרון הכפל, תמורות (עם ובלי חזרות), חליפות, צירופים, זהויות קומבינטוריות, נוסחת הבינום, נוסחת סטירלינג.
עקרון ההכלה-הדחה: פתרון בעיות קומבינטוריות בעזרת נוסחת ההכלה-הדחה.
פונקציות יוצרות: פתרון בעיות קומבינטוריות בעזרת פונקציות יוצרות.
 
נוסחאות נסיגה: נוסחאות נסיגה ליניאריות הומוגניות ולא-הומוגניות.
עקרון שובך היונים: הגרסה הסופית והגרסה הסופית המוכללת.
מבוא לתורת הגרפים: דרגה, קשירות, עצים, מסלול אוילר, מסלול המילטון.
Course description
 Basic Notions in Logic;  Basic Notions in Set Theory; Functions;  Relations;  Cardinality;  Basic Counting Techniques;  Principle of Inclusion and Exclusion;  Generating Functions;  Pigeonhole Principle;  Recurrence Relations;  Basic Notions in Graph Theory.
סילבוס מפורט

הנדסה | תואר ראשון - קורסי שירות
0509-2847-02 מבוא למתמטיקה בדידה
Introduction to Discrete Mathematics
שנה"ל תשע"ט | סמ'  א' | מר ליפשיץ גור

666סילבוס מפורט/דף מידע

משקל:   2.5

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

הגשת תרגילים:
יש חובת הגשת 80% מהתרגילים.
ציון הקורס: ציון הבחינה.

להצהרת הנגישות


אוניברסיטת ת