WClasses
SE 212 - Logic and Computation
Formal logic. Proof systems and styles. Rudimentary model theory. Formal models of computation. Logic-based specification. Correctness proofs. Applications in software engineering.
Prerequisites
CS138 and MATH135.
Corequisites
None
Antirequisites
CS245, CS245E, ECE208, PMATH330
Offerings
Fall 2025 [1259]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 8022 | 63 / 75 | 08:30 - 09:50 | T,Th | ||
| LEC 002 | 8023 | 74 / 75 | 10:00 - 11:20 | T,Th |
Fall 2024 [1249]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 8002 | 48 / 70 | 08:30 - 09:50 | T,Th | ||
| LEC 002 | 8003 | 72 / 70 | 10:00 - 11:20 | T,Th |
Fall 2023 [1239]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7862 | 68 / 70 | 08:30 - 09:50 | T,Th | ||
| LEC 002 | 7874 | 69 / 70 | 10:00 - 11:20 | T,Th |
Fall 2022 [1229]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 9016 | 66 / 70 | 13:00 - 14:20 | T,Th | RCH 306 | Nancy Day |
| LEC 002 | 9029 | 66 / 75 | 14:30 - 15:50 | T,Th | PHY 313 | Nancy Day |
| TUT 101 | 9017 | 0 / 75 | ||||
| TUT 102 | 9030 | 0 / 75 |
Fall 2021 [1219]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7940 | 75 / 75 | Nancy Day | |||
| LEC 002 | 7955 | 75 / 75 | Nancy Day | |||
| TUT 101 | 7941 | 76 / 75 | ||||
| TUT 102 | 7956 | 74 / 75 |
Fall 2020 [1209]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 041 | 7762 | 67 / 70 | Nancy Day | |||
| LEC 042 | 7777 | 66 / 70 | Nancy Day | |||
| TST 241 | 8550 | 133 / 140 | ||||
| TUT 141 | 7763 | 67 / 70 | ||||
| TUT 142 | 7778 | 66 / 70 |
Fall 2019 [1199]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7642 | 64 / 70 | 08:30 - 09:50 | T,Th | RCH 207 | Nancy Day |
| LEC 002 | 7657 | 71 / 70 | 10:00 - 11:20 | T,Th | RCH 207 | Nancy Day |
| TUT 101 | 7643 | 70 / 70 | 14:30 - 15:20 | W | MC 4040 | Nancy Day |
| TUT 102 | 7658 | 65 / 70 | 15:30 - 16:20 | W | MC 4040 | Nancy Day |
Fall 2018 [1189]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7509 | 71 / 72 | 08:30 - 09:50 | T,Th | RCH 211 | Nancy Day |
| LEC 002 | 7524 | 51 / 73 | 10:00 - 11:20 | T,Th | RCH 211 | Nancy Day |
| TUT 101 | 7510 | 66 / 72 | 14:30 - 15:20 | W | MC 2034 | Nancy Day |
| TUT 102 | 7525 | 56 / 73 | 15:30 - 16:20 | W | MC 2034 | Nancy Day |
Fall 2017 [1179]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7571 | 85 / 68 | 10:00 - 11:20 | T,Th | RCH 211 | Nancy Day |
| LEC 002 | 7586 | 48 / 67 | 13:00 - 14:20 | T,Th | RCH 110 | Nancy Day |
| TUT 101 | 7572 | 68 / 68 | 15:30 - 16:20 | W | RCH 204 | |
| TUT 102 | 7587 | 65 / 67 | 15:30 - 16:20 | T | RCH 306 |
Fall 2016 [1169]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7456 | 59 / 65 | 10:00 - 11:20 | T,Th | RCH 204 | Nancy Day |
| LEC 002 | 7472 | 62 / 65 | 13:00 - 14:20 | T,Th | RCH 204 | Nancy Day |
| TUT 101 | 7457 | 60 / 65 | 15:30 - 16:20 | W | RCH 207 | Nancy Day |
| TUT 102 | 7473 | 61 / 65 | 14:30 - 15:20 | W | RCH 207 | Nancy Day |
Fall 2015 [1159]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7615 | 70 / 70 | 10:00 - 11:20 | T,Th | RCH 305 | Nancy Day |
| LEC 002 | 7635 | 55 / 70 | 13:00 - 14:20 | T,Th | RCH 305 | Nancy Day |
| TUT 101 | 7616 | 67 / 70 | 13:30 - 14:20 | M | MC 2054 | Nancy Day |
| TUT 102 | 7636 | 58 / 70 | 14:30 - 15:20 | M | MC 2054 | Nancy Day |
Fall 2014 [1149]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7301 | 80 / 80 | 11:30 - 12:50 | M,W | RCH 305 | Amirhossein Vakili |
| LEC 002 | 7965 | 71 / 80 | 13:00 - 14:20 | M,W | RCH 305 | Nancy Day |
| TUT 101 | 7302 | 80 / 80 | 13:30 - 14:20 | M | MC 2038 | |
| TUT 102 | 7966 | 71 / 80 | 11:30 - 12:20 | M | RCH 211 |
Fall 2013 [1139]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6857 | 130 / 140 | 08:30 - 09:50 | T,Th | RCH 301 | Nancy Day |
| TUT 101 | 6858 | 130 / 140 | 15:00 - 15:50 | Th | MC 2066 | Nancy Day |
Fall 2012 [1129]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6771 | 97 / 125 | 08:30 - 09:50 | T,Th | MC 1085 | Nancy Day |
| TUT 101 | 6772 | 97 / 62 | 15:00 - 15:50 | Th | MC 4045 | |
| TUT 102 | 6773 | 0 / 63 |
Fall 2011 [1119]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6605 | 124 / 135 | 08:30 - 09:50 | T,Th | MC 1085 | David Toman |
| TUT 101 | 6606 | 70 / 67 | 15:00 - 15:50 | Th | RCH 305 | |
| TUT 102 | 6607 | 54 / 68 | 15:00 - 15:50 | Th | RCH 207 |
Fall 2010 [1109]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6595 | 108 / 120 | 13:00 - 14:20 | T,Th | MC 4061 | Richard Trefler |
| TUT 101 | 6596 | 49 / 60 | 15:30 - 16:20 | T | DWE 3518 | |
| TUT 102 | 6597 | 59 / 60 | 15:30 - 16:20 | T | RCH 207 |
UW Flow Ratings
Liked: 86.42%
Easy: 30.99%
Useful: 82.35 %
SE 212 leads to
CS 240 - Data Structures and Data Management
CS 240E - Data Structures and Data Management (Enriched)