MAT 260 - W: Mathematical Logic

3 Credit(s)

Logic of compound statements. Rules of inference and derivations. Inference with quantifiers. Sets, functions and relations. Axiomatic systems.
Prerequisite(s): MAT 243.
Bonaventure Designated Course: W: Writing