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-winter1819-info.pdf 79948 Bytes
CourseSceduleWinter1819.pdf 976 KB