לוגיקה – תורת הפסוקים: קשרים, טבלאות אמת, טאוטולוגיות, קבוצות קשרים מינימליות. שפת תחשיב הפסוקים וכללי התחביר. מערכות היסק. הוכחות פורמליות. מודל. חוסר סתירה, אי-תלות, שלמות. מושגים מתורת הפרדיקטים: מושג הכמת, פרדיקטים, תבניות. שפת תחשיב הפרדיקטים. אינטרפרטציות והשמות. תורת ההיסק בתחשיב הפרדיקטים...

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