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.
basic definitions, relations, functions, equivalence relations, inductive sets, cardinality of sets.
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