WClasses
CS 360 - Introduction to the Theory of Computing
Models of computers including finite automata and Turing machines. Basics of formal languages with applications to the syntax of programming languages. Alternate characterizations of language classes. Proving unrecognizability. Unsolvable problems and their relevance to the semantics of programming.
Prerequisites
CS240/CS240E, CS241/CS241E and (MATH239 or MATH249); Honours Computer Science, Honours Data Science (BCS), BCFM, BSE students only.
Corequisites
None
Antirequisites
CS365
Offerings
Spring 2026 [1265]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4716 | 0 / 60 | ||||
| TST 101 | 4718 | 0 / 60 |
Fall 2025 [1259]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6800 | 27 / 60 | 13:00 - 14:20 | M,W |
Fall 2024 [1249]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6799 | 15 / 60 | 14:30 - 15:50 | M,W | ||
| TST 101 | 8954 | 15 / 60 | 19:00 - 20:50 | W |
Spring 2024 [1245]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3738 | 20 / 60 | 10:00 - 11:20 | T,Th | ||
| TST 101 | 5238 | 20 / 60 | 16:30 - 18:20 | Th |
Fall 2023 [1239]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6718 | 28 / 60 | 14:30 - 15:50 | M,W |
Spring 2023 [1235]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3858 | 25 / 60 | 08:30 - 09:50 | T,Th |
Winter 2023 [1231]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6023 | 19 / 60 | 10:00 - 11:20 | T,Th | MC 4063 | Mohammad Hajiabadi |
Fall 2022 [1229]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 7946 | 32 / 60 | 10:00 - 11:20 | M,W | MC 4060 | Mohammad Hajiabadi |
Spring 2022 [1225]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3633 | 23 / 60 | 10:00 - 11:20 | M,W | MC 4060 | Shalev Ben-David |
Winter 2022 [1221]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5887 | 37 / 60 | 10:00 - 11:20 | T,Th | MC 4041 | Collin Roberts |
| TST 101 | 9589 | 37 / 60 | Collin Roberts |
Fall 2021 [1219]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6152 | 0 / 50 | ||||
| LEC 002 | 10409 | 48 / 60 | 10:00 - 11:20 | M,W | Jeffrey Shallit |
Spring 2021 [1215]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 041 | 3417 | 56 / 70 | Shalev Ben-David |
Winter 2021 [1211]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 041 | 5938 | 26 / 60 | Jonathan Buss |
Fall 2020 [1209]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 041 | 6048 | 48 / 60 | Jeffrey Shallit |
Spring 2020 [1205]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3663 | 51 / 70 | Shalev Ben-David |
Winter 2020 [1201]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5785 | 56 / 60 | 10:00 - 11:20 | T,Th | MC 4058 | Jonathan Buss |
| LEC 002 | 9602 | 3 / 1 |
Fall 2019 [1199]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5868 | 55 / 60 | 13:00 - 14:20 | M,W | AL 124 | Jeffrey Shallit |
Spring 2019 [1195]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3673 | 69 / 80 | 11:30 - 12:50 | M,W | MC 2038 | John Watrous |
Winter 2019 [1191]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5660 | 38 / 60 | 10:00 - 11:20 | M,W | E2 1736 | Shalev Ben-David |
| LEC 002 | 9437 | 1 / 1 |
Fall 2018 [1189]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5713 | 66 / 70 | 13:00 - 14:20 | M,W | RCH 306 | Collin Donald Roberts |
Spring 2018 [1185]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3563 | 67 / 70 | 08:30 - 09:50 | T,Th | RCH 308 | Timothy Ng |
Winter 2018 [1181]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5716 | 38 / 60 | 14:30 - 15:50 | T,Th | MC 4040 | Richard Trefler |
Fall 2017 [1179]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5805 | 69 / 70 | 10:00 - 11:20 | T,Th | MC 4040 | Jeffrey O Shallit |
| LEC 002 | 9537 | 2 / 1 |
Spring 2017 [1175]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3562 | 67 / 80 | 10:00 - 11:20 | M,W | MC 2038 | John Watrous |
Winter 2017 [1171]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5447 | 57 / 60 | 10:00 - 11:20 | T,Th | RCH 309 | Mark Petrick |
| LEC 002 | 9997 | 1 / 1 |
Fall 2016 [1169]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5782 | 56 / 60 | 11:30 - 12:50 | T,Th | MC 4058 | Richard Trefler |
Spring 2016 [1165]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3565 | 56 / 60 | 10:00 - 11:20 | W,F | MC 4060 | John Watrous |
Winter 2016 [1161]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5987 | 57 / 60 | 11:30 - 12:50 | T,Th | MC 4040 | Naomi Nishimura |
Fall 2015 [1159]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6049 | 62 / 65 | 11:30 - 12:50 | T,Th | MC 4063 | Collin Donald Roberts |
Spring 2015 [1155]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3635 | 55 / 60 | 13:00 - 14:20 | T,Th | MC 4063 | John Watrous |
Winter 2015 [1151]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5775 | 52 / 60 | 10:00 - 11:20 | T,Th | MC 4041 | Collin Donald Roberts |
Fall 2014 [1149]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5714 | 60 / 65 | 16:00 - 17:20 | T,Th | MC 2038 | Collin Donald Roberts |
| LEC 002 | 8907 | 1 / 1 |
Spring 2014 [1145]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3544 | 57 / 60 | 11:30 - 12:50 | M,W | MC 2034 | Collin Donald Roberts |
Winter 2014 [1141]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5586 | 53 / 60 | 10:00 - 11:20 | T,Th | MC 4045 | Collin Donald Roberts |
Fall 2013 [1139]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5369 | 55 / 65 | 10:00 - 11:20 | T,Th | MC 4058 | Shai Ben-David |
Spring 2013 [1135]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3372 | 47 / 60 | 12:30 - 13:20 | M,W,F | PHY 235 | Daniel G Brown |
Winter 2013 [1131]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5343 | 43 / 50 | 10:00 - 11:20 | T,Th | PHY 150 | John Watrous |
Fall 2012 [1129]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5289 | 55 / 60 | 11:30 - 12:50 | T,Th | MC 4040 | Mark Petrick |
Spring 2012 [1125]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3418 | 47 / 50 | 12:30 - 13:20 | M,W,F | MC 4058 | Mark Petrick |
Winter 2012 [1121]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5126 | 48 / 50 | 16:00 - 17:20 | T,Th | MC 4045 | Igor Ivkovic |
Fall 2011 [1119]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5116 | 57 / 60 | 14:30 - 15:50 | T,Th | MC 4042 | Margareta Ackerman |
Spring 2011 [1115]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3308 | 44 / 50 | 12:30 - 13:20 | M,W,F | MC 4040 | Mark Petrick |
Winter 2011 [1111]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5083 | 38 / 45 | 11:30 - 12:50 | T,Th | MC 4064 | Ben R.W. Reichardt |
Fall 2010 [1109]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5152 | 56 / 60 | 13:00 - 14:20 | T,Th | PHY 235 | Daniel G Brown |
| LEC 002 | 8043 | 2 / 1 |
Spring 2010 [1105]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4724 | 41 / 40 | 08:30 - 09:50 | T,Th | MC 1085 | Daniel G Brown |
Winter 2010 [1101]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5050 | 32 / 40 | 10:00 - 11:20 | T,Th | MC 4058 | Richard Trefler |
Fall 2009 [1099]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4883 | 40 / 45 | 13:00 - 14:20 | T,Th | MC 4064 | Christopher Marriott |
Spring 2009 [1095]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3171 | 41 / 40 | 08:30 - 09:50 | T,Th | MC 4064 | Ben R.W. Reichardt |
Winter 2009 [1091]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4279 | 51 / 66 | 11:30 - 12:50 | T,Th | MC 4060 | Therese Biedl |
Fall 2008 [1089]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3758 | 37 / 60 | 13:00 - 14:20 | T,Th | E2 1303 | Richard Trefler |
Spring 2008 [1085]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2610 | 34 / 60 | 12:30 - 13:20 | M,W,F | MC 4063 | John Watrous |
Winter 2008 [1081]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3444 | 39 / 110 | 11:30 - 12:50 | T,Th | MC 4061 | Naomi Nishimura |
Fall 2007 [1079]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3471 | 56 / 60 | 14:30 - 15:50 | T,Th | MC 4042 | Jonathan Buss |
Spring 2007 [1075]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2226 | 34 / 60 | 14:30 - 15:20 | M,W,F | MC 2038 | John Watrous |
Winter 2007 [1071]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3385 | 65 / 110 | 11:30 - 12:50 | T,Th | MC 4020 | Naomi Nishimura |
Fall 2006 [1069]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3358 | 54 / 110 | 11:30 - 12:20 | M,W,F | RCH 110 | Shai Ben-David |
Spring 2006 [1065]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2208 | 34 / 66 | 10:00 - 11:20 | T,Th | MC 4063 | Jonathan Buss |
| TUT 101 | 2265 | 0 / 66 |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3276 | 38 / 80 | 09:30 - 10:20 | M,W,F,M,C | Shai Ben-David | |
| LEC 002 | 3277 | 52 / 60 | 12:30 - 13:20 | M,W,F,M,C | Mark Petrick |
Fall 2005 [1059]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3296 | 63 / 65 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 3475 | 58 / 65 | 14:30 - 15:20 | M,W,F,R,C,H | Daniel G Brown |
Spring 2005 [1055]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2212 | 39 / 45 | 10:00 - 11:20 | T,Th,M,C | Jonathan Buss | |
| LEC 002 | 2213 | 22 / 60 | 14:30 - 15:50 | T,Th,M,C | Jonathan Buss | |
| TUT 101 | 2273 | 28 / 52 | 09:30 - 10:20 | M,M,C | ||
| TUT 102 | 2274 | 33 / 53 | 11:30 - 12:20 | M,M,C |
Winter 2005 [1051]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3229 | 78 / 80 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 3230 | 74 / 80 | 12:30 - 13:20 | M,W,F,M,C | Shai Ben-David |
Fall 2004 [1049]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3292 | 63 / 75 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 3479 | 40 / 75 | 14:30 - 15:20 | M,W,F,M,C | Hubert Yan-Chor Chan |
Spring 2004 [1045]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2111 | 65 / 90 | 10:00 - 11:20 | T,Th,M,C | Jonathan Buss | |
| LEC 002 | 2112 | 36 / 70 | 14:30 - 15:50 | T,Th,M,C | Jonathan Buss | |
| TUT 101 | 2172 | 19 / 53 | 09:30 - 10:20 | M,M,C | ||
| TUT 102 | 2173 | 42 / 53 | 12:30 - 13:20 | M,M,C | ||
| TUT 103 | 2174 | 40 / 54 | 15:30 - 16:20 | M,M,C |
Winter 2004 [1041]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3085 | 43 / 90 | 09:30 - 10:20 | M,W,F,M,C | Anna Lubiw | |
| LEC 002 | 3086 | 75 / 90 | 11:30 - 12:20 | M,W,F,M,C | Anna Lubiw | |
| LEC 003 | 3087 | 24 / 90 | 14:30 - 15:20 | M,W,F,M,C | Jeffrey O Shallit |
Fall 2003 [1039]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3214 | 47 / 75 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 3410 | 52 / 75 | 14:30 - 15:20 | M,W,F,M,C | Naomi Nishimura |
Spring 2003 [1035]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2233 | 79 / 90 | 08:30 - 09:50 | T,Th,M,C | Daniel G Brown | |
| LEC 002 | 2234 | 89 / 90 | 14:30 - 15:50 | T,Th,M,C | Daniel G Brown | |
| TUT 101 | 2297 | 44 / 60 | 11:30 - 12:20 | M,M,C | ||
| TUT 102 | 2298 | 65 / 60 | 13:30 - 14:20 | M,M,C | ||
| TUT 103 | 2299 | 59 / 60 | 14:30 - 15:20 | M,M,C |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3694 | 88 / 90 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 3695 | 89 / 90 | 11:30 - 12:20 | M,W,F,M,C | Timothy Chan | |
| LEC 003 | 3696 | 80 / 90 | 13:30 - 14:20 | M,W,F,M,C | Jonathan Buss |
Fall 2002 [1029]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3092 | 52 / 75 | 14:30 - 15:20 | M,W,F,M,C | Jonathan Buss | |
| LEC 002 | 4274 | 72 / 75 | 09:30 - 10:20 | M,W,F,C,P,H | Naomi Nishimura |
Spring 2002 [1025]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 1970 | 101 / 90 | 08:30 - 09:50 | T,Th,M,C | Therese Biedl | |
| LEC 002 | 1971 | 106 / 90 | 14:30 - 15:50 | T,Th,M,C | Howard C H Cheng | |
| TUT 101 | 2043 | 68 / 60 | 11:30 - 12:20 | M,M,C | ||
| TUT 102 | 2044 | 74 / 60 | 13:30 - 14:20 | M,M,C | ||
| TUT 103 | 2045 | 65 / 60 | 14:30 - 15:20 | M,M,C |
Winter 2002 [1021]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2358 | 94 / 64 | 09:30 - 10:20 | M,W,F,M,C | Naomi Nishimura | |
| LEC 002 | 2359 | 66 / 64 | 11:30 - 12:20 | M,W,F,M,C | Timothy Chan | |
| LEC 003 | 2360 | 76 / 64 | 13:30 - 14:20 | M,W,F,M,C | Derek Jason Phillips |
Fall 2001 [1019]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 2885 | 128 / 126 | 14:30 - 15:20 | M,W,F,M,C | Naomi Nishimura |