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

קורסים

  • אלגברה ליניארית (90905)
    • תקציר הקורס:

    תקציר:

    מערכות משוואות ליניאריות – שיטות פתרון ומשמעות. חשבון מטריצות, ישומי חשבון מטריצות לפתרונות של מערכות משוואות. מרחבים וקטוריים והעתקות ליניאריות, ישומי חשבון מטריצות לתיאור העתקות ליניאריות, לכסון מטריצות. מכפלה פנימית, תכונות וישומים של מכפלה פנימית.
  • לוגיקה מתמטית (90913)
    • תקציר הקורס:

    תקציר:

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

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

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

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

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

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

    תקציר:

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

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

    רקורסיה, פונקציות יוצרות. גרפים: מושגים יסודיים, משפט אויילר.
  • מתמטיקה בדידה IBL (90955)
    • תקציר הקורס:

    תקציר:

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

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

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