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

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

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

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

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

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

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

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

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