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

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

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

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

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

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

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

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

מערכת של משוואות דיפרנציאליות לינאריות מסדר 1:

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

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

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

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

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

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

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