home · mobile · catalog · 

CSCI 1404 (2). Discrete Methods for Computer Science

Introduces the basic abstractions and formal structures used in computer science, including elementary set theory, relations and functions, propositional and predicate calculi, formal reasoning, mathematical induction, graph theory combinatorics, enumeration, and recurrence relations. Applications are drawn from computer science. Prerequisites: CSCI 1210 or CSCI 1300, and admission as a major in computer science.

(This course is not currently offered.)

Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
May 5, 2012 (14:25)