FOUNDATIONS OF COMPUTER SCIENCE

Major

Computing

Quarter

Winter

Year

2026

Course Number

CMPTGCS 2, Section 1

Enrollment Code

08078

Instructor(s)

Ben Hardekopf

Date & Time

TR 3:30 - 5:00 PM

Location

Bldg 494, Room 143

Course Description

Introduction to the theoretical underpinnings of computer science. Topics include propositional predicate logic, set theory, functions and relations, counting, mathematical induction and recursion.

Required Text

Daniel Velleman, How to Prove it: A Structured Approach, Cambridge University Press