MTE 570 Logic and Proof

A study of formal logic, set theory, properties of relations and functions, and the basic structure of different forms of proof. Emphasis on mathematical reasoning and communication. Prerequisites: MTE 567 or the equivalent and graduate standing.