CS 2100: Discrete Structures — Fall 2018

• Lecture:   Tuesdays and Thursdays 12:25-1:45p in L101 WEB
• Discussions:   Fridays 9:40-10:30a (L120 WEB), 10:45-11:35a (L112 WEB), 11:50a-12:40p (L122 WEB), 12:55-1:45p (L122 WEB)
• Instructor:   D. Erin Parker
  Office: 3144 MEB
  Email: parker AT cs.utah.edu
• Required Textbook:   Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games by Ensley and Crawley
• Course Catalog Description:   Introduction to propositional logic, predicate logic, formal logical arguments, finite sets, functions, relations, inductive proofs, recurrence relations, graphs, and their applications to Computer Science.

  Prerequisites: CS 1410 and Calculus I

• Administrative Details and Syllabus