Prerequisites: CSCI-C101 or CSCI-C155 and MATH-M125 or MATH-M127.

Textbook: S. Hugtenburg and N. Yorke-Smith (2022): Foundations of Computation, Second Edition, Delft University of Technology, Delft, The Netherlands. Interactive Version.

Grading system:

• About 7 homework assignments 20 points each
• About 7 quizzes 5 points
• Midterm exam 50 points
• Final exam 50 points

Guidelines for assignments:

• The assignments will be posted on Canvas and on the course web page and must be turned in on Canvas. You can scan or take a picture of handwritten assignmentd to upload them.
• The assignments are due at midnight of the due date.
• No homework accepted after 1 week from the due date. A late homework loses 10% of the points per day, up to 50% of the points.
• All of the assignments are individual. Consulting with colleagues is acceptable, but homework submissions that are too similar can be penalized or rejected. No credit will be given for homeworks obtained from external sources unless explicitly allowed.
• See extended plagiarism policy, other campus-wide policies, and calendar information in the General Campus Syllabus on Canvas in Module 1.
• Detailed steps on how you solved each problem are expected.

Course Topics

Variables, sets, relations, functions

Propositional logic

Predicate logic

Critical thinking

Set theory

Proof strategies

Proofs with quantifiers

Sequences, proof by induction, recursion

Proof of algorithm correctness