University of Denver
Computer Science
Skip to Content.
Course Home
Text
Syllabus
Schedule
Grades
Labs/Homework
Suggested Reading
Ramki Home
COMP 2300: Discrete Structures
Topics Covered
Introduction and Administrivia
Section 1.1 -- Propositional Logic
Section 1.2 -- Applications of Propositional Logic
Additional Resources:
YouTube Video on
propositional logic
Announcements:
None