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