סילבוס Syllabus Силабус خطة الدورة

There are two goals to this course: first, the course introduces
some basic notions that will be needed as background for most
of the cs courses. The second goal to familiarize students
with abstract mathematical thinking.
Set theory: basic definitions, relations, functions, equivalence
relations, orderings, cardinality of sets, Cantor's diagonalization
methods.
Logic: proposional calculus and first-order logic: semantics,
proof systems, soundness and completeness theorems, compactness
theorems and applications.