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
Section 1.6 -- Rules of inference
Section 1.7 -- Introduction to Proofs
Additional Resources:
YouTube Video on
Rules of Deduction
Announcements:
None