MATH 481 - Introduction to Mathematical Logic
Fall 2013, Section 001
Instruction Mode: Section 001 is (see other Sections below)
Subject: Mathematics (MATH)
Department: LSA Mathematics
See additional student enrollment and course instructor information to guide you in your decision making.


Requirements & Distribution:
Waitlist Capacity:
Advisory Prerequisites:
MATH 412 or 451 or equivalent experience with abstract mathematics.
Other Course Info:
This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
May not be repeated for credit.
Primary Instructor:


All of modern mathematics involves logical relationships among mathematical concepts. In this course we focus on these relationships themselves rather than the ideas they relate. Inevitably this leads to a study of the (formal) languages suitable for expressing mathematical ideas. The explicit goal of the course is the study of propositional and first-order logic; the implicit goal is an improved understanding of the logical structure of mathematics. Students should have some previous experience with abstract mathematics and proofs, both because the course is largely concerned with theorems and proofs and because the formal logical concepts will be much more meaningful to a student who has already encountered these concepts informally. No previous course in logic is prerequisite. In the first third of the course the notion of a formal language is introduced and propositional connectives (and, or, not, implies), tautologies, and tautological consequence are studied. The heart of the course is the study of first-order predicate languages and their models. The new elements here are quantifiers ('there exists' and 'for all'). The study of the notions of truth, logical consequence, and provability lead to the completeness and compactness theorems. The final topics include some applications of these theorems, usually including non-standard analysis. MATH 681, the graduate introductory logic course, also has no specific logic prerequisite but does presuppose a much higher general level of mathematical sophistication. PHIL 414 may cover much of the same material with a less mathematical orientation. MATH 481 is not explicitly prerequisite for any later course, but the ideas developed have application to every branch of mathematics.


MATH 481 - Introduction to Mathematical Logic
Schedule Listing
001 (LEC)
 In Person
MWF 12:00PM - 1:00PM

Textbooks/Other Materials

The partner U-M / Barnes & Noble Education textbook website is the official way for U-M students to view their upcoming textbook or course material needs, whether they choose to buy from Barnes & Noble Education or not. Students also can view a customized list of their specific textbook needs by clicking a "View/Buy Textbooks" link in their course schedule in Wolverine Access.

Click the button below to view and buy textbooks for MATH 481.001

View/Buy Textbooks


Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

Click the button below to view historical syllabi for MATH 481 (UM login required)

View Historical Syllabi

CourseProfile (Atlas)

The Atlas system, developed by the Center for Academic Innovation, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (Atlas)