Mathematical Logic
Mathematical Logic covers basics of logic and mathematical proofs, including propositional logic, first order logic, and undecidability.
Summary
Past student reviews · Steffen Lempp
Homework assignments were described as pretty tough because the instructor did not provide enough examples in class to prepare students for the problems.
What you’ll be able to do
Recall and state the formal definitions of the first-order logic and their properties used in formal logic (e.g., truth assignments, syntax, semantics, theories, models, etc.).
Use such definitions to argue certain objects do or do not have the condition or property (e.g., decidability, compactness, undecidability, etc.).
Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.
Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).
Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).
Convey arguments using English and appropriate mathematical terminology, notation and grammar.
Identify applications of course content in areas of modern research.
Source: UW Guide 1· UW Guide 2
Grade history
↗All recorded terms · compare terms & instructors
Prerequisites
Course map(MATH 234 or 375), (MATH 320, 340, 341, 345, or 375), and (MATH 341, 375, 421, 467, or 521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)
This is a best-effort interpretation; check the catalog requirements above.
Professors
Spring 2027No instructors recorded for this selection.
Historical instructors & teaching patterns
STEFFEN LEMPP is recorded teaching in Fall 2006, Fall 2007, Fall 2012. Recorded history may be incomplete and does not establish a future schedule.
Recorded history may be incomplete and does not establish a future schedule.
Calendar & sections
Spring 2027Schedule loads here as you scroll.
| Section | Mode | Enrolled / capacity | Waitlist |
|---|
Times are Central. Select a meeting for details; export includes recorded dates for the selected sections.
Meeting source records
Student experience
the class
Past student reviews · Steffen Lempp
Students found this a tough course that was not recommended for those outside of math and computer science. Historical feedback noted that lectures were often not useful for learning the material.
Recent recorded grades — Fall 2019: 2.82 GPA, 40.9% A/AB (n=22 letter grades); Fall 2021: 2.92 GPA, 53.8% A/AB (n=13 letter grades); Fall 2024: 3.25 GPA, 75.0% A/AB (n=12 letter grades).
difficulty & workload
Past student reviews · Steffen Lempp
Homework assignments were described as pretty tough because the instructor did not provide enough examples in class to prepare students for the problems.
Past student reviews · Steffen Lempp
While the instructor was viewed as wanting students to succeed, his lectures were criticized for copying content verbatim from the textbook rather than adding value.
Topics
- Basics of logic and mathematical proofs
- Propositional logic
- First order logic
- Undecidability
- Standard theorems of logic including Soundness, Completeness, Compactness, and Godel's Incompleteness Theorems
- Applications in larger arguments such as nonstandard models of arithmetic
Skills
- Recall and state formal definitions and properties of first-order logic, including truth assignments, syntax, semantics, theories, and models.
- Argue whether objects possess logical conditions or properties such as decidability, compactness, or undecidability.
- State standard theorems of logic like Soundness, Completeness, Compactness, and Godel's Incompleteness, and recall their proof arguments.
- Apply logic concepts within larger arguments, such as those involving nonstandard models of arithmetic.
- Prove or disprove logical statements using direct methods, indirect methods, examples, counterexamples, and induction.
- Convey logical arguments using English, mathematical terminology, notation, and grammar.
- Identify applications of mathematical logic content in areas of modern research.
Grades
Latest available · Fall 2024— not enough history to project Spring 2027.
Grade distribution · % of letter grades
Grades over time
Through Fall 2024
More grade details Grade mix, volume & source data
Not enough comparable courses for Spring 2027 in UW–Madison.
Sources & history
Catalog & offerings
Descriptions, prerequisites, and recorded course offerings.
Catalog observation history
Observations at scan time; dates do not imply when a catalog change took effect.
Selected offering source records
No offering records for the selected term.
Raw records
[]
Student reviews
Original comments behind the course and instructor summaries.
Read original reviews
Grade history
Recorded grade distributions by term, section, and instructor.
Explore recorded gradesRecorded 2026-10-14
Model outputs & technical records
LLM outputs across runs
Full model traces
Recorded model configuration, reasoning, and tool conversations.
Model & dataset provenance
{
"model": "Qwen/Qwen3.8-27B",
"model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
"task_version": "17",
"output_id": "37974ecff0fce29d0db849eb86dfac42663e7a29b05bc8a23e54b8d840863599",
"requirements_status": "needs_review",
"dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
"observed_at": "2026-10-14 17:50:09.728220+00:00"
}