Introduction to Discrete Mathematics via Logic and Proof

Emphasizes fundamentals of deductive logic to prepare students for a coherent collection of core topics in discrete mathematics Introduces the reading and writing of proofs by using a natural deduction approach to mathematical logic Engages students through a wide selection of interesting and novel exercises Highlights historical developments and connections between topics throughout Request lecturer material: sn.pub/lecturer-material