CS 251 — CS251 Discrete Structures II

This course is recommended for students transferring in Computer Science, Software Engineering and Computer Engineering. Topics include: propositional and predicate logic, formal reasoning, deduction, resolution, formal proofs, inference, Boolean algebra, and basic computer logic circuit design.