דילוג לתוכן ראשי

קורסים

  • לוגיקה מתמטית למדעי מחשב (90923)
  • אנליזה נומרית (90925)
  • תקציר הקורס:

    תקציר:

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

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

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

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

    קירוב לפתרון מערכת משוואות ליניארית: שיטת הדירוג של גאוס, מוצגות של מטריצה, שיטות איטרטיביות ופירוק LU.
  • מתמטיקה בדידה (90926)
  • תקציר הקורס:

    תקציר:

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

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

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