Skip to page content

Lecturer Dr. Bank Efrat

Main Content

Courses

  • Linear Algebra (90905)
    • Course summary:

    Abstract:

    The first part of the course is dedicated to study of techniques for

    solving systems of linear equations. Several basic methods are presented:

    Gauss elimination, matrix solution, Cramer rule.

    The last two methods involve matrix arithmetic, which is also presented in this part. The second part discusses vector spaces and linear transformations. Most attention is given to the matrix approach. Matrix diagonalization issues summarize this part.

    The last part of the course study inner product spaces and their basic properties.
  • Mathematical Logic for Computer Science (90923)
    • Course summary:

    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
  • Discrete Mathematics (90926)
    • Course summary:

    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.
  • Discrete Mathematics IBL (90955)
    • Course summary:

    Abstract:

    Introduction to Logic - basic concepts, Set Theory, Relations, Equivalence Relations, Order Relations, Induction, f?unctions, Cardinality, Combinatorics, Newton's Binom, Inclusion-Exclution, Pigeon hole principal, Recursion, generating f?unctions and Introduction to Graph Theory