Introduction to the basic elements of logic and mathematics that are
instrumental in computer science.
Mathematical subjects covered in the course include: sets, relations,
orderings, equivalence relations, functions, mathematical induction. The
logic part focuses in the first place on propositional logic: truth
tables, boolean operators, functional completeness, logical puzzles,
SAT-solving, logic circuits. In addition the student will learn to use
formulas of predicate logic to express mathematical properties and
sentences from natural language.
Lectures and exercise sessions.
Two midterm exams and one written final exam.
1CS, 1LI, 1IMM