סילבוס

תוכן הקורס ומטרתו

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