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