Representation, analysis, techniques, and principles for manipulation of basic combinatoric structures used in computer science. Rigorous reasoning is emphasized. This course fulfills a single unit in the following BU Hub area: Quantitative Reasoning II.