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.
Second, to familiarize students with abstract mathematical thinking.
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.