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

קורסים

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

    תקציר:

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

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

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

    תקציר:

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

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

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