PSU CS 251 - Discrete Structures II (Spring 2010)

Guest access
PSU CS 251, Discrete Structures II, covers propositional and first-order logic, logical modeling and reasoning, and a bit of abstract algebra and ADTs. See the course syllabus for additional information.