MA 3110 - Logic, Proofs, and Axiomatic Systems
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 2013-2014 Catalog.