Course Description
Alert
Inclement Weather: February 25, 2026
All classes starting prior to 11 a.m. will be remote. Classes after 11 a.m. will be in person. Non-essential staff should work remote until 11 a.m. then report to campus as scheduled.
CS 605 DISCRETE STRUCTURES & LOGIC 3.0 Credit(s)
This course reviews the mathematical concepts and foundations of logic for computer science: sets, relations, and functions; Boolean algebras; graphs; propositional and predicate logic; notions of logical consequence and provability; soundness and completeness of inference methods; resolution; unification; and introduction to theorem proving.
Offered: As Needed Contact Department
Go back to previous page