There are two goals to this course:

First, to introduce the students to some basic notions that will be needed as background for most of the cs courses.

Second, to familiarize students with abstract mathematical thinking.

First, to introduce the students to some basic notions that will be needed as background for most of the cs courses.

Second, to familiarize students with abstract mathematical thinking.

Set theory:

basic definitions, relations, functions, equivalence relations, inductive sets, cardinality of sets.

Logic:

propositional calculus and first-order logic: semantics, proof systems, soundness and completeness theorems, compactness theorem and applications.

Please see the attached PDF file for information about grading policy and HW submission.

**Credit points:**4.0

logic-winter1718-info.pdf 71893 Bytes

TentativeCourseSceduleWinter1718.pdf 639 KB