Representation, analysis, techniques, and principles for manipulation of basic combinatoric structures used in computer science. Rigorous reasoning is emphasized. (Counts as a CS Background Course for the concentration.) Formerly CAS CS 113, therefore cannot be taken for credit in addition to CAS CS 113.