The Grainger College of Engineering
Siebel School of Computing and Data Science

CS 173

CS 173 - Discrete Structures

Fall 2019

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Discrete StructuresCS173ADA51495DIS00900 - 0950 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173ADC51497DIS01000 - 1050 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173ADE51499DIS01200 - 1250 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173ADG63143DIS01300 - 1350 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173ADI63145DIS01500 - 1550 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173ADJ63146DIS01600 - 1650 F  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173AL130102ONL3 -    Mahesh Viswanathan
Discrete StructuresCS173ALP72280ONL3 -    Mahesh Viswanathan
Discrete StructuresCS173BD151496DIS00900 - 0950 R  1105 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDA51500DIS00900 - 0950 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDB51469DIS01000 - 1050 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDC58923DIS01100 - 1150 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDD59602DIS01200 - 1250 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDE59603DIS01300 - 1350 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDF60279DIS01400 - 1450 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDG63147DIS01500 - 1550 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDH71539DIS01600 - 1650 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDI71541DIS01700 - 1750 R  1111 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDK71542DIS01000 - 1050 R  1105 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BDL63144DIS01100 - 1150 R  1105 Siebel Center for Comp Sci Mahesh Viswanathan
Discrete StructuresCS173BL240083LEC31500 - 1550 M W F  1002 Electrical & Computer Eng Bldg Mahesh Viswanathan
Discrete StructuresCS173BLR72281LEC31500 - 1550 M W F  1002 Electrical & Computer Eng Bldg Mahesh Viswanathan

See full schedule from Course Explorer

Official Description

Discrete mathematical structures frequently encountered in the study of Computer Science. Sets, propositions, Boolean algebra, induction, recursion, relations, functions, and graphs. Course Information: Credit is not given for both CS 173 and MATH 213. Prerequisite: One of CS 125, ECE 220; one of MATH 220, MATH 221. Class Schedule Information: Students must register for a lecture and discussion section.

Subject Area

  • Theory / Math

Course Director

Margaret M Fleck

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

Required, Elective, or Selected Elective

Required

Last updated

2/3/2019by Margaret M. Fleck