CS 251 — Discrete Structures II
Continuation of the introduction to discrete structures and techniques for computing started in CS-250 / MTH-231 . The course, which is the second in the two-term sequence, aims to convey the skills in discrete mathematics that are used in the study and practice of computer science. Topics include: 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.