Skip to page content

Courses

  • Mathematical Logic for Computer Science (90923)
  • Discrete Mathematics (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.
  • Discrete Mathematics IBL (90955)
  • תקציר הקורס:

    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