Course Details

  • Course Number: 01:198:205
  • 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.