Portland-State-University 2016-2017 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