שפת תחשיב הפסוקים: תחביר וסמנטיקה , שקילות לוגית וגרירה לוגית.

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

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

סמנטיקה בסיסית: מבנים והשמות תבניות אמיתיות במבנה והשמה.

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

אינטרפולציה: שיטות לגרנז' וניוטון, אינטרפולציה הרמיטית, ספליין.

גזירה נומרית. אינטגרציה נומרית: שיטת הטרפז, סימפסון ונקודת האמצע.

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

קירוב לפתרון משוואה לא ליניארית ,שיטת החצייה, שיטת ניוטון-רפסון , מיתר ושיטות איטרטיביות של נקודת השבת.

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

קומבינטוריקה: קומבינטוריקה בסיסית, בינום ניוטון, עקרון ההכלה וההפרדה, עקרון שובך היונים,