WClasses
PMATH 330 - Introduction to Mathematical Logic
A broad introduction to mathematical logic. The notions of logical consequence and derivation are introduced in the settings of propositional and first order logic, with discussions of the completeness theorem and satisfiability
Prerequisites
(MATH135 or MATH145) and (MATH225 or MATH235 or MATH245); Not open to Computer Science students.
Corequisites
None
Antirequisites
CS245/CS245E, SE212.
Offerings
Spring 2026 [1265]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 3937 | 0 / 135 |
Winter 2026 [1261]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6276 | 50 / 96 | 08:30 - 09:20 | M,W,F |
Fall 2025 [1259]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 6240 | 78 / 135 | ||||
| LEC 081 | 6240 | 78 / 135 |
Spring 2025 [1255]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4038 | 73 / 135 |
Winter 2025 [1251]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6379 | 64 / 96 | 08:30 - 09:20 | M,W,F |
Fall 2024 [1249]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 6204 | 126 / 135 |
Spring 2024 [1245]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4087 | 105 / 135 |
Winter 2024 [1241]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6443 | 70 / 96 | 08:30 - 09:20 | M,W,F |
Fall 2023 [1239]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 6088 | 117 / 135 |
Spring 2023 [1235]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4238 | 125 / 135 |
Winter 2023 [1231]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6660 | 69 / 96 | 09:30 - 10:20 | M,W,F | E2 1736 | Rachael Alvir |
Fall 2022 [1229]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 7191 | 89 / 100 | Barbara Csima |
Spring 2022 [1225]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4774 | 117 / 130 | Barbara Csima |
Winter 2022 [1221]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 7832 | 85 / 96 | Ethan Kowalenko |
Fall 2021 [1219]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 6141 | 61 / 100 | Barbara Csima |
Spring 2021 [1215]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4325 | 58 / 97 | Barbara Csima |
Winter 2021 [1211]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 7861 | 84 / 100 | Barbara Csima |
Fall 2020 [1209]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 6037 | 87 / 100 | Barbara Csima |
Spring 2020 [1205]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4787 | 86 / 97 | Barbara Csima |
Winter 2020 [1201]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 8613 | 87 / 95 | Barbara Csima | |||
| TST 181 | 8969 | 87 / 95 | 08:30 - 10:00 | F |
Fall 2019 [1199]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5857 | 63 / 66 | 08:30 - 09:20 | M,W,F | MC 4040 | Dino Rossegger |
Spring 2019 [1195]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4725 | 88 / 95 | Barbara Csima |
Fall 2018 [1189]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5702 | 57 / 65 | 09:30 - 10:20 | M,W,F | MC 4063 | Remi Jaoui |
Spring 2018 [1185]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4615 | 93 / 95 | Barbara Csima |
Fall 2017 [1179]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5792 | 54 / 65 | 11:30 - 12:20 | M,W,F | RCH 204 | Ross D Willard |
Spring 2017 [1175]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 4521 | 80 / 90 | Barbara Csima |
Fall 2016 [1169]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5769 | 65 / 65 | 14:30 - 15:20 | M,W,F | MC 4060 | Jonathan Stephenson |
Spring 2016 [1165]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 081 | 5095 | 85 / 90 | Barbara Csima |
Fall 2015 [1159]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6035 | 39 / 65 | 08:30 - 09:20 | T,Th,F | B2 350 | Ian Payne |
Spring 2015 [1155]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3590 | 60 / 65 | 14:30 - 15:20 | M,W,F | MC 1056 | Stephen New |
Fall 2014 [1149]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5700 | 40 / 65 | 14:30 - 15:20 | M,W,F | RCH 306 | Alexander Wires |
Spring 2014 [1145]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3499 | 61 / 65 | 16:30 - 17:20 | M,W,Th | MC 4042 | Carolyn Alexis Knoll |
Winter 2014 [1141]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 8624 | 1 / 1 |
Fall 2013 [1139]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5355 | 57 / 60 | 10:30 - 11:20 | M,W,F | MC 4058 | Ross D Willard |
Spring 2013 [1135]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3326 | 54 / 65 | 12:30 - 13:20 | M,W,F | MC 4042 | Stephen New |
Fall 2012 [1129]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5273 | 58 / 60 | 10:30 - 11:20 | M,W,F | PHY 313 | Carolyn Alexis Knoll |
Spring 2012 [1125]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3369 | 53 / 75 | 12:30 - 13:20 | M,W,F | MC 2034 | Barbara Csima |
Fall 2011 [1119]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5100 | 50 / 60 | 10:30 - 11:20 | M,W,F | MC 4060 | Chris J Conidis |
| LEC 002 | 8246 | 1 / 1 |
Spring 2011 [1115]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3258 | 70 / 75 | 12:30 - 13:20 | M,W,F | MC 2035 | Stephen New |
Winter 2011 [1111]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 8146 | 1 / 1 |
Fall 2010 [1109]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5133 | 41 / 60 | 14:30 - 15:20 | M,W,F | MC 2038 | Barbara Csima |
Spring 2010 [1105]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4624 | 63 / 66 | 12:30 - 13:20 | M,W,F | MC 4060 | Peter Hoffman |
Fall 2009 [1099]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4847 | 49 / 60 | 14:30 - 15:20 | M,W,F | MC 4060 | Barbara Csima |
Spring 2009 [1095]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3110 | 63 / 66 | 12:30 - 13:20 | M,W,F | MC 4063 | Peter Hoffman |
Fall 2008 [1089]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3716 | 56 / 48 | 14:30 - 15:20 | M,W,F | MC 2054 | Rahim Moosa |
Spring 2008 [1085]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2548 | 31 / 96 | 10:30 - 11:20 | M,W,F | MC 2054 | Barbara Csima |
Winter 2008 [1081]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3366 | 45 / 66 | 10:30 - 11:20 | M,W,F | MC 4058 | Rahim Moosa |
Fall 2007 [1079]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3418 | 46 / 48 | 14:30 - 15:20 | M,W,F | DWE 3517 | Stephen New |
Spring 2007 [1075]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2160 | 48 / 96 | 10:30 - 11:20 | M,W,F | MC 4061 | Peter Hoffman |
Winter 2007 [1071]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3300 | 46 / 66 | 10:30 - 11:20 | M,W,F | MC 2038 | Stephen New |
Fall 2006 [1069]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3299 | 42 / 41 | 14:30 - 15:20 | M,W,F | DWE 2527 | Barbara Csima |
Spring 2006 [1065]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2137 | 52 / 96 | 10:30 - 11:20 | M,W,F | MC 2035 | Peter Hoffman |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3174 | 46 / 66 | 10:30 - 11:20 | M,W,F,M,C | Boza Tasic |
Fall 2005 [1059]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3208 | 81 / 96 | 14:30 - 15:20 | M,W,F,M,C | Rahim Moosa |
Spring 2005 [1055]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2132 | 75 / 120 | 10:30 - 11:20 | M,W,F,M,C | Peter Hoffman |
Winter 2005 [1051]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3119 | 95 / 96 | 10:30 - 11:20 | M,W,F,M,C | Stephen New |
Fall 2004 [1049]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3193 | 80 / 96 | 14:30 - 15:20 | M,W,F,M,C | Peter Hoffman |
Spring 2004 [1045]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2028 | 115 / 120 | 10:30 - 11:20 | M,W,F,B | Peter Hoffman |
Winter 2004 [1041]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2967 | 30 / 96 | 08:30 - 09:20 | M,W,F,D,W,E | Stephen New | |
| LEC 002 | 2968 | 82 / 96 | 10:30 - 11:20 | M,W,F,M,C | John W Lawrence |
Fall 2003 [1039]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3107 | 97 / 90 | 10:30 - 11:20 | M,W,F,R,C,H | Peter Hoffman | |
| LEC 002 | 3399 | 97 / 90 | 08:30 - 09:20 | M,W,F,M,C | Stephen New |
Spring 2003 [1035]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2145 | 83 / 100 | 14:30 - 15:20 | M,W,F,M,C | Peter Hoffman | |
| LEC 002 | 2146 | 101 / 100 | 10:30 - 11:20 | M,W,F,M,C | Stephen New |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3560 | 95 / 96 | 08:30 - 09:20 | M,W,F,M,C | John W Lawrence | |
| LEC 002 | 3561 | 99 / 96 | 10:30 - 11:20 | M,W,F,M,C | Ross D Willard |
Fall 2002 [1029]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2970 | 92 / 90 | 10:30 - 11:20 | M,W,F,R,C,H | Peter Hoffman | |
| LEC 002 | 4213 | 86 / 90 | 08:30 - 09:20 | M,W,F,M,C | John W Lawrence |
Spring 2002 [1025]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 1864 | 99 / 100 | 14:30 - 15:20 | M,W,F,M,C | Peter Hoffman | |
| LEC 002 | 1865 | 99 / 100 | 10:30 - 11:20 | M,W,F,M,C |
Winter 2002 [1021]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 1136 | 80 / 90 | 08:30 - 09:20 | M,W,F,M,C | Larry J Cummings | |
| LEC 002 | 1137 | 89 / 90 | 10:30 - 11:20 | M,W,F,M,C | Larry J Cummings |
Fall 2001 [1019]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2330 | 119 / 100 | 10:30 - 11:20 | M,W,F,R,C,H | John W Lawrence |