Course Details

  • Course Number: 01:198:205
  • Instructor: Swastik Kopparty, Jeffrey Ames
  • Course Type: Undergraduate
  • Semester 1: Fall
  • Semester 2: Spring
  • Semester 3: Summer
  • Credits: 4
  • Description:

    To introduce the student to the mathematical tools of logic and induction, and to the basic definitions and theorems concerning relations, functions, and sets. Later courses in the computer science curriculum build on the mathematical foundations covered here. Particular emphasis is placed on inductive definitions and proofs, with application to problems in computer science.

  • Syllabus: https://paul.rutgers.edu/~jca105/cs205-s21/syllabus.pdf