Portland-State-University 2024-2025 Bulletin

CS 251 Discrete Structures II

Continuation of CS 250. Logic: propositional calculus, first-order predicate calculus. Formal reasoning: natural deduction, resolution. Applications to program correctness and automatic reasoning. Introduction to algebraic structures in computing.

Credits

4

Prerequisite

CS 250.
  • Up one level
  • 200