Description
MAT 305I. WI: Proof Structures and Techniques 3-0-3
Introduction to various types of mathematical proofs and techniques used to develop them, including elementary symbolic logic, predicates, quantifiers, mathematical induction, direct proofs and constructive proofs. PR: MAT 201 and RHW 102 or CI. (Last update: 01/10/19)