The first of two courses preparing students for a fundamental understanding of computing. Set theory, Boolean algebra, relations, functions, graph theory, and techniques for formal reasoning including propositional and predicate calculus, proof techniques, induction, and program logics are studied.

Prerequisites:College algebra or calculus; corequisite, CSCI 1210.(This course is not currently offered.)

Department of Computer Science

University of Colorado Boulder

Boulder, CO 80309-0430 USA

webmaster@cs.colorado.edu

University of Colorado Boulder

Boulder, CO 80309-0430 USA

webmaster@cs.colorado.edu