Fall 2026

Mathematical Logic

Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.

offering recorded3 credits

Recorded instructors · Fall 2026 Isabella Scott

Summary

1 / 6

Historical reviews of Steffen Lempp: Homeworks are tough due to a lack of in-class examples, making preparation challenging.

Grade history

↗

average GPA
letter grades

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)

- - - MATH 234
    - MATH 375
    take one
  - take one
  - take one
  take all
- graduate/professional standing
- declared in Mathematics VISP (undergraduate or graduate)
take one

MATH/PHILOS 571

This is a best-effort interpretation; check the catalog requirements above.

Prerequisite text tree

Any of
- All of
  - Any of
    - MATH 234
    - MATH 375
  - Any of
  - Any of
- graduate/professional standing
- declared in Mathematics VISP (undergraduate or graduate)

Professors

Fall 2026

Isabella Scott

No course-specific feedback yet.

Historical instructors & teaching patterns

Historical reviews of Steffen Lempp: Steffen Lempp is described as a good professor who wants students to succeed, though his lectures are criticized for being unhelpful and copying the book verbatim. Reviewers note the course is tough, with unclear lectures and difficult homeworks due to a lack of in-class examples.

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

Fall 2026

Schedule loads here as you scroll.

Section	Mode	Enrolled / capacity	Waitlist
LEC 001	Classroom Instruction	25 / 24	2
LEC 001	Classroom Instruction	1 / 24	0

Times are Central. Select a meeting for details; export includes recorded dates for the selected sections. Enrollment reflects scan time.

Meeting source records

Download part 1

Student experience

the class

Historical reviews of Steffen Lempp: MATH/PHILOS 571 is a difficult course best suited for math and computer science majors, with lectures that reviewers found unclear or unhelpful.

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

Historical reviews of Steffen Lempp: Homeworks are tough due to a lack of in-class examples, making preparation challenging.

Historical reviews of Steffen Lempp: Lectures are criticized for being unclear or copying the book verbatim, though the instructor is generally supportive during office hours.

Topics

Propositional logic
First order logic
Undecidability
Mathematical proofs

Skills

Mathematical proofs and propositional logic.
First order logic and undecidability.

Grades

Latest available · Fall 2024— not enough history to project Fall 2026.

Grade distribution · % of letter grades

Grades over time

Through Fall 2024

More grade details Grade mix, volume & source data

Not enough comparable courses for Fall 2026 in UW–Madison.

Sources & history

UW–Madison

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.

Download part 1

Selected offering source records

MATH/PHILOS 571 · Fall 2026

Mathematical Logic

Recorded 2026-09-07

MATH/PHILOS 571 · Fall 2026

Mathematical Logic

Recorded 2026-09-07

Raw records

[
  {
    "run_id": "20260907T155543-ce3781c4",
    "semester": "1272",
    "observed_at": "2026-09-07 15:55:43.033547+00:00",
    "offering_id": "1272:600:011695",
    "course_id": "MATH/PHILOS 571",
    "course_uid": "course_3f55e55b94f0e0724493de53",
    "term_id": "1272",
    "source_course_id": "011695",
    "source_subject_id": "600",
    "title": "Mathematical Logic",
    "credits_min": 3,
    "credits_max": 3,
    "typically_offered": "Fall"
  },
  {
    "run_id": "20260907T155543-ce3781c4",
    "semester": "1272",
    "observed_at": "2026-09-07 15:55:43.033547+00:00",
    "offering_id": "1272:736:011695",
    "course_id": "MATH/PHILOS 571",
    "course_uid": "course_3f55e55b94f0e0724493de53",
    "term_id": "1272",
    "source_course_id": "011695",
    "source_subject_id": "736",
    "title": "Mathematical Logic",
    "credits_min": 3,
    "credits_max": 3,
    "typically_offered": "Fall"
  }
]

Rate My Professors

Student reviews

Original comments behind the course and instructor summaries.

Read original reviews

Download part 1

Madgrades

Grade history

Recorded grade distributions by term, section, and instructor.

Explore recorded grades

Model outputs & technical records

nvidia/Qwen3.6-35B-A3B-NVFP4

LLM outputs across runs

Download part 1

Full model traces

Recorded model configuration, reasoning, and tool conversations.

Download part 1

Model & dataset provenance

{
  "model": "nvidia/Qwen3.6-35B-A3B-NVFP4",
  "model_revision": "1355db6a052410cfd62085d94b58866fd0f2c3c5",
  "task_version": "14",
  "output_id": "eaddde8d76dfe117167bc5c805f95c74312c1e10d96e7423f264870d6b90b0f1",
  "requirements_status": "needs_review",
  "dataset_revision": "e243353dcb7d79b7247ced91d69443ef4c2a6349",
  "observed_at": "2026-09-07 15:55:43.033547+00:00"
}