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

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

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

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

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

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

 המקסימום. מוצגות היטב של בעיית Dirichlet . הפרדת משתנים למשוואת לפלס בתחום מלבני ובעיגול. משוואת החום. עקרון המקסימום למשוואת החום ופתרון בעזרת הפרדת משתנים. פתרון המשוואה הלא הומוגנית. פתרון משוואות חלקיות ע"י התמרות אינטגרליות. תנודות חופשיות בממברנה עגולה

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

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

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

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

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

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