הודעה מהמערכת

Lecturer Dr. Mayberg Sara

Courses

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

    Abstract:

    Propositional logic: syntax. Semantics, propositional calculus. Interpretations. Deductions systems: L system , Deduction theorem, consistence, soundness and

    completeness theorems.

    Predicate Logic: syntax: terms and formulas, Semantic predicate calculus.

     Deduction systems: K system, deduction theorem. Consistence, soundness and completeness theorem. Relationship between system L and the system K. G?del incompleteness theorems
  • אנליזה נומרית (90925)
  • מתמטיקה בדידה (90926)
    • תקציר הקורס:

    Abstract:

    Logic – basic definitions and concepts, predicate arithmetic. Set theory – basic definitions, general relations, equivalent and order relations, mathematical induction principle, f?unctions and set cardinality. Combinatorics – basic definitions and principles, Newton binomial formula, inclusion – exclusion principle, pigeonhole principle, recursions, generating f?unctions Graph theory – basic definitions and results, trees, Euler graphs.