Introduction to Discrete Mathematics covering logic, sets, relations, functions, and discrete structures like integers, strings, trees, and graphs.
Past student reviews · Luke Jeffreys
The course was considered pretty hard due to the sheer amount of content, though the instructor provided fill-in-the-blank lecture notes to save time.
Demonstrate proficiency with basic skills for constructing and evaluating mathematically rigorous arguments and proofs.
Construct proofs by induction to prove properties in a variety of domains (mathematical formulas, recursively-defined structures, loop invariants, program correctness).
Demonstrate a familiarity with and an ability to reason about discrete structures/data types (integers, strings, bit strings, sets, relations, functions, graphs, trees).
Employ basic program analysis techniques to evaluate behavior of functions and simple algorithms such as assessing correctness and termination of simple algorithms, constructing recurrences, solving simple recurrences, and applying asymptotic analysis.
Apply basic combinatoric techniques to counting problems.
Demonstrate the connections between a description of a simple language and a finite state machine or regular expression. Given a finite state machine or regular expression, determine the language it defines and/or whether a given string is recognized by it. Given a simple language, construct a finite state machine or regular expression that recognizes it.
Source: UW Guide 1· UW Guide 2
All recorded terms · compare terms & instructors
Raw average: 1.00/5 from 3 quality ratings. The adjusted rating blends this with the UW review average (3.66/5), weighted as 20 additional ratings. Smaller samples stay closer to that average. Each captured review is counted once in the prior; this does not correct who chooses to leave a review.
RMP profile ↗ · All captured review dates; profile matched by name.
No course-specific feedback yet.
Recent recorded grades — Spring 2026: 3.40 GPA, 67.2% A/AB (n=192 letter grades).
ARNOLD W MILLER is recorded teaching in Spring 2008. Recorded history may be incomplete and does not establish a future schedule.
BECK HASTI is recorded teaching in Fall 2015, Fall 2016, Fall 2017, Fall 2018, Fall 2019, Fall 2020, Fall 2021, Fall 2022, Fall 2023, Fall 2024, Fall 2025. Recorded history may be incomplete and does not establish a future schedule.
BILLY JACKSON is recorded teaching in Spring 2022. Recorded history may be incomplete and does not establish a future schedule.
ERIC BACH is recorded teaching in Spring 2013. Recorded history may be incomplete and does not establish a future schedule.
GABRIELE MEYER is recorded teaching in Spring 2018, Spring 2019. Recorded history may be incomplete and does not establish a future schedule.
ISABELLA SCOTT is recorded teaching in Spring 2026. Recorded history may be incomplete and does not establish a future schedule.
JIRI LEBL is recorded teaching in Spring 2012. Recorded history may be incomplete and does not establish a future schedule.
LU WANG is recorded teaching in Spring 2016. Recorded history may be incomplete and does not establish a future schedule.
LUKE JEFFREYS is recorded teaching in Spring 2024. Recorded history may be incomplete and does not establish a future schedule.
MARC RENAULT is recorded teaching in Fall 2021. Recorded history may be incomplete and does not establish a future schedule.
STEFFEN LEMPP is recorded teaching in Spring 2016. Recorded history may be incomplete and does not establish a future schedule.
Recorded history may be incomplete and does not establish a future schedule.
Schedule loads here as you scroll.
| Section | Mode | Enrolled / capacity | Waitlist |
|---|---|---|---|
| LEC 001 | Classroom Instruction | 0 / 232 | 0 |
| LEC 002 | Classroom Instruction | 0 / 199 | 0 |
| DIS 301 | Classroom Instruction | 0 / 24 | 0 |
| DIS 302 | Classroom Instruction | 0 / 24 | 0 |
| DIS 303 | Classroom Instruction | 0 / 24 | 0 |
| DIS 304 | Classroom Instruction | 0 / 24 | 0 |
| DIS 305 | Classroom Instruction | 0 / 24 | 0 |
| DIS 306 | Classroom Instruction | 0 / 24 | 0 |
| DIS 307 | Classroom Instruction | 0 / 24 | 0 |
| DIS 308 | Classroom Instruction | 0 / 24 | 0 |
| DIS 309 | Classroom Instruction | 0 / 24 | 0 |
| DIS 310 | Classroom Instruction | 0 / 24 | 0 |
| DIS 321 | Classroom Instruction | 0 / 24 | 0 |
| DIS 322 | Classroom Instruction | 0 / 24 | 0 |
| DIS 323 | Classroom Instruction | 0 / 24 | 0 |
| DIS 324 | Classroom Instruction | 0 / 24 | 0 |
| DIS 325 | Classroom Instruction | 0 / 24 | 0 |
| DIS 326 | Classroom Instruction | 0 / 24 | 0 |
| DIS 327 | Classroom Instruction | 0 / 24 | 0 |
| DIS 328 | Classroom Instruction | 0 / 24 | 0 |
| DIS 329 | Classroom Instruction | 0 / 24 | 0 |
| DIS 330 | Classroom Instruction | 0 / 24 | 0 |
| LEC 001 | Classroom Instruction | 0 / 232 | 0 |
| LEC 002 | Classroom Instruction | 0 / 199 | 0 |
| DIS 302 | Classroom Instruction | 0 / 24 | 0 |
| DIS 304 | Classroom Instruction | 0 / 24 | 0 |
| DIS 305 | Classroom Instruction | 0 / 24 | 0 |
| DIS 306 | Classroom Instruction | 0 / 24 | 0 |
| DIS 307 | Classroom Instruction | 0 / 24 | 0 |
| DIS 308 | Classroom Instruction | 0 / 24 | 0 |
| DIS 309 | Classroom Instruction | 0 / 24 | 0 |
| DIS 322 | Classroom Instruction | 0 / 24 | 0 |
| DIS 323 | Classroom Instruction | 0 / 24 | 0 |
| DIS 324 | Classroom Instruction | 0 / 24 | 0 |
| DIS 325 | Classroom Instruction | 0 / 24 | 0 |
| DIS 301 | Classroom Instruction | 0 / 24 | 0 |
| DIS 303 | Classroom Instruction | 0 / 24 | 0 |
| DIS 326 | Classroom Instruction | 0 / 24 | 0 |
| DIS 321 | Classroom Instruction | 0 / 24 | 0 |
Times are Central. Select a meeting for details; export includes recorded dates for the selected sections. Enrollment reflects scan time.
Past student reviews · Beck Hasti
Students found the course manageable if they paid attention and completed assignments independently, noting that it was quite easy to earn an A when engaged.
Recent recorded grades — Spring 2025: 3.18 GPA, 55.8% A/AB (n=547 letter grades); Fall 2025: 3.00 GPA, 32.3% A/AB (n=538 letter grades); Spring 2026: 3.40 GPA, 69.0% A/AB (n=413 letter grades).
Past student reviews · Luke Jeffreys
The course was considered pretty hard due to the sheer amount of content, though the instructor provided fill-in-the-blank lecture notes to save time.
Past student reviews · Beck Hasti
While the professor explained unfamiliar concepts well, the grading timeline was described as absolutely horrendous, a delay attributed by TAs to a specific staff member.
Approximate 80% prediction interval
The course’s semester-average GPA, not an individual student’s grade. The center uses 5 same-season terms, weighted toward recent results.
The range uses the finite-sample 80th-percentile rank of absolute errors from earlier same-season forecasts. Each forecast uses only records from earlier terms. At least four forecasts are required; bounds are rounded outward and limited to 0–4. This is an empirical estimate: changing instructors or grading policies can reduce its coverage.
8 earlier forecasts · 0.16 GPA average error.
Through Spring 2027
Latest available grades · Spring 2026 · all course levels
Higher than
Course GPAs · red marks this course’s range
More recorded grades than
Typical course in this group:
1280 courses over the same term, each with at least 30 recorded letter grades. Cross-listed courses count once. GPA is not a measure of difficulty or teaching quality. The typical course is the median by recorded grade count; tied values are not counted as lower. Grade counts describe course scale, not unique students or typical section size.
Descriptions compare GPA with this group’s average: at least 0.20 higher or lower; otherwise close to average. Section size uses median recorded enrollment: small up to 30, mid-sized 31–99, large 100+. Lectures and discussion/lab sections are described separately.
Descriptions, prerequisites, and recorded course offerings.
Observations at scan time; dates do not imply when a catalog change took effect.
Introduction to Discrete Mathematics
Recorded 2026-10-14Introduction to Discrete Mathematics
Recorded 2026-10-14[
{
"run_id": "20261014T203208-0851c9a1",
"semester": "1274",
"observed_at": "2026-10-14 17:50:09.728220+00:00",
"offering_id": "1274:266:011630",
"course_id": "COMPSCI/MATH 240",
"course_uid": "course_9a1a7bf1933981bcbaca47ac",
"term_id": "1274",
"source_course_id": "011630",
"source_subject_id": "266",
"title": "Introduction to Discrete Mathematics",
"credits_min": 3,
"credits_max": 3,
"typically_offered": "Fall, Spring"
},
{
"run_id": "20261014T203208-0851c9a1",
"semester": "1274",
"observed_at": "2026-10-14 17:50:09.728220+00:00",
"offering_id": "1274:600:011630",
"course_id": "COMPSCI/MATH 240",
"course_uid": "course_9a1a7bf1933981bcbaca47ac",
"term_id": "1274",
"source_course_id": "011630",
"source_subject_id": "600",
"title": "Introduction to Discrete Mathematics",
"credits_min": 3,
"credits_max": 3,
"typically_offered": "Fall, Spring"
}
]Original comments behind the course and instructor summaries.
Recorded grade distributions by term, section, and instructor.
Explore recorded gradesRecorded 2026-10-14
Recorded model configuration, reasoning, and tool conversations.
{
"model": "Qwen/Qwen3.8-27B",
"model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
"task_version": "17",
"output_id": "c3bf32f2babd3a356af4ab6dd5a73f36509e17a2eb0beeadf9c261eeade02b8c",
"requirements_status": "valid",
"dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
"observed_at": "2026-10-14 17:50:09.728220+00:00"
}