CS 173
CS 173 - Discrete Structures
Spring 2017
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Discrete Structures | CS173 | ADA | 31187 | DIS | 3 | 1300 - 1350 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADB | 48263 | DIS | 3 | 1400 - 1450 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADC | 48264 | DIS | 3 | 1500 - 1550 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADD | 57329 | DIS | 3 | 1600 - 1650 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADE | 57330 | DIS | 3 | 1700 - 1750 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADF | 57446 | DIS | 3 | 1800 - 1850 | R | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADG | 48265 | DIS | 3 | 1000 - 1050 | F | 1302 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADH | 61915 | DIS | 3 | 1100 - 1150 | F | 1105 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | ADI | 61916 | DIS | 3 | 1200 - 1250 | F | 1302 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | AL1 | 39311 | LEC | 0 | 0930 - 1045 | T R | 1002 Electrical & Computer Eng Bldg | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDA | 48266 | DIS | 3 | 1100 - 1150 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDB | 48267 | DIS | 3 | 1200 - 1250 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDC | 50441 | DIS | 3 | 1300 - 1350 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDD | 50442 | DIS | 3 | 1400 - 1450 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDE | 51087 | DIS | 3 | 1500 - 1550 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BDF | 51089 | DIS | 3 | 1600 - 1650 | F | 1111 Siebel Center for Comp Sci | Margaret M Fleck Ryan Cunningham |
| Discrete Structures | CS173 | BL2 | 50094 | LEC | 0 | 1100 - 1215 | T R | 1320 Digital Computer Laboratory | Margaret M Fleck Ryan Cunningham |
See full schedule from Course Explorer
Official Description
Subject Area
- Theory / Math
Course Director
Text(s)
Varies
Learning Goals
Predicate logic: determine the truth of statements, perform simple transformations (esp. negation), accurately apply formal definitions (esp. vacuous truth cases, attention to variable types and scope) (6)
Write literate proofs using straightforward application of standard outlines (direct, contrapositive, contradiction, upper/lower bounds). (3)
Write inductive proofs, including proofs on trees (3), (6)
State and apply basic definitions, facts, and notation for commonly used discrete math constructs (3)
Derive big-O running time for simple pseudocode examples, especially recursive examples. Includes finding closed-forms for recursively-defined formulas using unrolling and recursion trees (6)
Classify examples the complexity of very simple examples in terms of countable versus uncountable, polynomial versus exponential, decidable versus undecidable (6)
Topic List
logic and proofs
number theory
sets and collections of sets
relations
functions
graphs
Induction and recursive definition
trees
big-O, algorithms, NP
state diagrams
countability
Assessment and Revisions
| Revisions in last 6 years | Approximately when revision was done | Reason for revision |
| New Textbook | Spring 11-Spring 2013 | Integrate logic and proof learning throughout term, relate math to applications, modernize |
| On-line activities | Fall 2011-Spring 2013 (on-going) | Move simple material out of lectures, aid learning with drill, help students prepare for lectures and be more engaged, |
| On-line homework submission with rubric grading | Fall 2012-Spring 2013 | Simplify submission process, encourage quality writing product, enable research into automated feedback |
Required, Elective, or Selected Elective
Required