MA 3110 - Logic, Proofs, and Axiomatic Systems
Prerequisite(s): MA 2550 OR MA 2490
Mathematical logic is introduced and used in developing techniques of writing proofs in mathematical settings, including topics in abstract algebra. Although the variety of settings may vary each semester, stresses proof development and includes mathematical induction and relations. Springs. Prerequisite(s): MA 2490 or MA 2550. (WRCO)
*All course information is from the 2012-2013 Catalog.