MA 3110 - Logic, Proofs and Axiomatic Systems
Credits: 3
Offered: Fall.

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. Falls. Prerequisite(s): MA 2550 or MA 2490. (WRIT)(WRCO)

*All course information is from the 2009-2010 Catalog.