WClasses

CS 245 - Logic and Computation

Logic as a tool for representation, reasoning, and computation. Propositional and predicate logic. Formalizing the notions of correct and incorrect reasoning, defining what is computable, and exploring the limits of computation. Godel's Incompleteness Theorem. Applications of logic to computer science.

Prerequisites

(One of CS136, CS138, CS146), (MATH135 or MATH145); Honours Mathematics students only.

Corequisites

None

Antirequisites

CS245E, PMATH330, ECE208, SE212

Offerings

Spring 2026 [1265]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 00136760 / 90
LEC 00237410 / 90
LEC 00338390 / 90
TST 20136770 / 270
TUT 10136890 / 50
TUT 10236900 / 55
TUT 10337420 / 55
TUT 10437710 / 55
TUT 10540330 / 55

Winter 2026 [1261]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001590295 / 11014:30 - 15:50 T,Th
TST 201588095 / 11016:30 - 18:20 Th
TUT 101605942 / 5509:30 - 10:20 F
TUT 102647153 / 5510:30 - 11:20 F

Fall 2025 [1259]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001633769 / 10008:30 - 09:50 T,Th
LEC 002643189 / 10010:00 - 11:20 T,Th
LEC 003646687 / 10011:30 - 12:50 T,Th
LEC 004652286 / 10013:00 - 14:20 T,Th
TST 2016916331 / 40016:30 - 18:20 T
TUT 101635648 / 5009:30 - 10:20 F
TUT 102680449 / 5010:30 - 11:20 F
TUT 103680549 / 5011:30 - 12:20 F
TUT 104680650 / 5012:30 - 13:20 F
TUT 105680764 / 6513:30 - 14:20 F
TUT 106680824 / 6514:30 - 15:20 F
TUT 107718447 / 6515:30 - 16:20 F

Spring 2025 [1255]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001375775 / 8110:00 - 11:20 T,Th
LEC 002382259 / 8113:00 - 14:20 T,Th
LEC 003393371 / 8114:30 - 15:50 T,Th
TST 2013758205 / 27016:30 - 18:20 Th
TUT 101377030 / 5009:30 - 10:20 F
TUT 102377144 / 5510:30 - 11:20 F
TUT 103382346 / 5511:30 - 12:20 F
TUT 104386041 / 5513:30 - 14:20 F
TUT 105415044 / 5514:30 - 15:20 F

Winter 2025 [1251]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001598681 / 10014:30 - 15:50 T,Th
TST 201596481 / 10016:30 - 18:20 Th
TUT 101615147 / 5010:30 - 11:20 F
TUT 102664434 / 5012:30 - 13:20 F

Fall 2024 [1249]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001630392 / 10008:30 - 09:50 T,Th
LEC 002640497 / 10010:00 - 11:20 T,Th
LEC 003644098 / 10011:30 - 12:50 T,Th
LEC 004650397 / 10013:00 - 14:20 T,Th
LEC 005936085 / 10014:30 - 15:50 T,Th
TST 2016920469 / 50016:30 - 18:20 T
TUT 101632357 / 6011:30 - 12:20 F
TUT 102680360 / 6010:30 - 11:20 F
TUT 103680460 / 6011:30 - 12:20 F
TUT 104680558 / 6012:30 - 13:20 F
TUT 105680664 / 6513:30 - 14:20 F
TUT 106680764 / 6514:30 - 15:20 F
TUT 107936154 / 6510:30 - 11:20 F
TUT 108936252 / 6511:30 - 12:20 F

Spring 2024 [1245]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001379581 / 9011:30 - 12:50 T,Th
LEC 002386357 / 9013:00 - 14:20 T,Th
LEC 003398087 / 9014:30 - 15:50 T,Th
TST 2013796225 / 27016:30 - 18:20 Th
TUT 101380850 / 5009:30 - 10:20 F
TUT 102380955 / 5510:30 - 11:20 F
TUT 103386428 / 5511:30 - 12:20 F
TUT 104390141 / 5512:30 - 13:20 F
TUT 105492351 / 5513:30 - 14:20 F

Winter 2024 [1241]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001600947 / 9014:30 - 15:50 T,Th
LEC 002618465 / 9013:00 - 14:20 T,Th
TST 2015987112 / 18016:30 - 18:20 Th
TUT 101598626 / 6008:30 - 09:20 F
TUT 102618649 / 6010:30 - 11:20 F
TUT 103813137 / 6009:30 - 10:20 F

Fall 2023 [1239]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001618788 / 9008:30 - 09:50 T,Th
LEC 002628991 / 9010:00 - 11:20 T,Th
LEC 003632790 / 9011:30 - 12:50 T,Th
LEC 004639387 / 9013:00 - 14:20 T,Th
LEC 005644289 / 9014:30 - 15:50 T,Th
TST 2016868445 / 45016:30 - 18:20 Th
TUT 101620763 / 6509:30 - 10:20 F
TUT 102672466 / 6510:30 - 11:20 F
TUT 103672564 / 6511:30 - 12:20 F
TUT 104672664 / 6512:30 - 13:20 F
TUT 105672771 / 6513:30 - 14:20 F
TUT 106672860 / 6511:30 - 12:20 F
TUT 107620857 / 6012:30 - 13:20 F

Spring 2023 [1235]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001391589 / 9010:00 - 11:20 T,Th
LEC 002399050 / 9011:30 - 12:50 T,Th
LEC 003411269 / 9013:00 - 14:20 T,Th
TST 2013916208 / 27016:30 - 18:20 Th
TUT 101393051 / 7009:30 - 10:20 F
TUT 102393132 / 7010:30 - 11:20 F
TUT 103399165 / 6511:30 - 12:20 F
TUT 104403060 / 6512:30 - 13:20 F

Winter 2023 [1231]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001614048 / 5008:30 - 09:50 T,ThDC 1304Shai Ben-David
LEC 002634848 / 5013:00 - 14:20 T,ThDC 2585Shai Ben-David
TST 201611796 / 10016:30 - 18:20 Th Dalibor Dvorski
TUT 101611647 / 5008:30 - 09:20 FMC 4058
TUT 102635049 / 5009:30 - 10:20 FMC 4058

Fall 2022 [1229]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001729271 / 9008:30 - 09:50 T,ThMC 4021Stephen Watt
LEC 002739484 / 9010:00 - 11:20 T,ThMC 4059Stephen Watt
LEC 003743287 / 9011:30 - 12:50 T,ThMC 4021Lila Kari
LEC 004750270 / 9013:00 - 14:20 T,ThMC 4045Collin Roberts
LEC 005755589 / 9014:30 - 15:50 T,ThMC 2038Lila Kari
LEC 006113490 / 1
TST 20110066401 / 45016:30 - 18:20 Th Dalibor Dvorski
TUT 101731265 / 6508:30 - 09:20 FMC 4042
TUT 102798565 / 6509:30 - 10:20 FMC 4042
TUT 103798652 / 6510:30 - 11:20 FMC 4045
TUT 104798765 / 6511:30 - 12:20 FMC 1056
TUT 105798864 / 6512:30 - 13:20 FMC 4040
TUT 106798944 / 6513:30 - 14:20 FMC 4040
TUT 107731346 / 6014:30 - 15:20 FMC 2034

Spring 2022 [1225]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001369588 / 9011:30 - 12:50 T,ThMC 1085Yizhou Zhang
LEC 002377589 / 9014:30 - 15:50 T,ThPHY 145Yizhou Zhang
LEC 003391675 / 9013:00 - 14:20 T,ThMC 4061Patrick Roh
TST 2013696252 / 27016:30 - 18:20 Th Dalibor Dvorski
TUT 101371154 / 6009:30 - 10:20 FMC 4058
TUT 102371252 / 6010:30 - 11:20 FMC 4058
TUT 103377650 / 5011:30 - 12:20 FMC 4058
TUT 104382548 / 5012:30 - 13:20 FMC 4058
TUT 105391748 / 5013:30 - 14:20 FMC 4058

Winter 2022 [1221]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001601083 / 9011:30 - 12:50 T,ThMC 2038Jonathan Buss
LEC 002625684 / 9014:30 - 15:50 T,ThSTC 0020Jonathan Buss
TST 2015985167 / 18016:30 - 18:20 Th Dalibor Dvorski
TUT 101598452 / 6009:30 - 10:20 FMC 4058
TUT 102623059 / 6014:30 - 15:20 FMC 4042
TUT 103625856 / 6010:30 - 11:20 FMC 4042

Fall 2021 [1219]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001628592 / 96 Lila Kari
LEC 002641895 / 96 Lila Kari
LEC 003647695 / 96 Dalibor Dvorski
LEC 004656892 / 96 Dalibor Dvorski
LEC 005665988 / 96 Dalibor Dvorski
LEC 006630987 / 96 Yizhou Zhang
LEC 007647787 / 96 Dalibor Dvorski
LEC 008647888 / 96 Dalibor Dvorski
TUT 1016308126 / 12809:00 - 09:50 F
TUT 10210954127 / 12810:00 - 10:50 F
TUT 10310955127 / 12811:00 - 11:50 F
TUT 10410956119 / 12813:00 - 13:50 F
TUT 10510957123 / 12814:00 - 14:50 F
TUT 10610958102 / 12815:00 - 15:50 F

Spring 2021 [1215]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0413441123 / 125 Jonathan Buss
LEC 0423490118 / 125 Jonathan Buss
LEC 0433595117 / 125 Collin Roberts
LEC 0444718119 / 125 Collin Roberts
TST 2413442477 / 500 Dalibor Dvorski
TUT 1413454121 / 125
TUT 1423455123 / 125
TUT 1433491118 / 125
TUT 1443523115 / 125

Winter 2021 [1211]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 041606175 / 90 Shai Ben-David
LEC 042630740 / 90 Shai Ben-David
TST 2416036115 / 180 Dalibor Dvorski
TUT 141603557 / 60
TUT 142628133 / 60
TUT 143630925 / 60

Fall 2020 [1209]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 041618189 / 90 Lila Kari
LEC 042631487 / 90 Lila Kari
LEC 043637289 / 90 Collin Roberts
LEC 044646478 / 90 Collin Roberts
LEC 045655576 / 90 Richard Trefler
TST 2416197419 / 450 Dalibor Dvorski
TUT 141620464 / 65
TUT 142620562 / 65
TUT 143637364 / 65
TUT 144637462 / 65
TUT 145637564 / 65
TUT 146646254 / 65
TUT 147655649 / 60

Spring 2020 [1205]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0013725119 / 130 Jonathan Buss
LEC 002380596 / 100 Collin Roberts
LEC 003394688 / 100 Collin Roberts
TST 2013726303 / 33018:18 - 18:18 Dalibor Dvorski
TUT 101374183 / 90
TUT 102374259 / 60
TUT 103380658 / 60
TUT 104385560 / 60
TUT 105394743 / 60

Winter 2020 [1201]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001590981 / 9010:00 - 11:20 T,ThMC 2054Lila Kari
LEC 002615984 / 9011:30 - 12:50 T,ThMC 2054Lila Kari
TST 2015883165 / 18016:30 - 18:20 Th Dalibor Dvorski
TUT 101588245 / 6008:30 - 09:20 FPHY 150
TUT 102613258 / 6008:30 - 09:20 FMC 2035
TUT 103616162 / 6012:30 - 13:20 FPHY 150

Fall 2019 [1199]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001600196 / 9608:30 - 09:50 T,ThMC 2038Alice Gao
LEC 002613694 / 9610:00 - 11:20 T,ThMC 2038Alice Gao
LEC 003619795 / 9611:30 - 12:50 T,ThE2 1736Shai Ben-David
LEC 004629696 / 9613:00 - 14:20 T,ThRCH 105Collin Roberts
LEC 005639194 / 9614:30 - 15:50 T,ThMC 2035Shai Ben-David
TST 2016017475 / 48016:30 - 18:20 Th Dalibor Dvorski
TUT 101602464 / 6514:30 - 15:20 FRCH 306
TUT 102602565 / 6512:30 - 13:20 FRCH 306
TUT 103619862 / 6511:30 - 12:20 FRCH 110
TUT 104619964 / 6512:30 - 13:20 FRCH 207
TUT 105620066 / 6514:30 - 15:20 FRCH 305
TUT 106629453 / 5509:30 - 10:20 FMC 2038
TUT 107639249 / 5010:30 - 11:20 FMC 4058
TUT 108917552 / 5013:30 - 14:20 FRCH 306

Spring 2019 [1195]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0013736101 / 10008:30 - 09:50 T,ThMC 2054Tim Ng
LEC 002381897 / 10013:00 - 14:20 T,ThMC 2054Collin Roberts
LEC 003396598 / 10011:30 - 12:50 T,ThMC 2054Collin Roberts
TST 2013737296 / 30016:30 - 18:20 Th Dalibor Dvorski
TUT 101375258 / 6008:30 - 09:20 FMC 4060
TUT 102375361 / 6012:30 - 13:20 FMC 4060
TUT 103381957 / 6009:30 - 10:20 FMC 4060
TUT 104386860 / 6010:30 - 11:20 FMC 4060
TUT 105396760 / 6013:30 - 14:20 FMC 4060

Winter 2019 [1191]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0015786100 / 10013:00 - 14:20 T,ThMC 4045Lila Kari
LEC 002604978 / 8010:00 - 11:20 T,ThPHY 313Lila Kari
TST 2015759178 / 18016:30 - 18:20 Th Dalibor Dvorski
TUT 101575860 / 6009:30 - 10:20 FMC 4063
TUT 102601758 / 6008:30 - 09:20 FMC 4041
TUT 103605160 / 6014:30 - 15:20 FPHY 150

Fall 2018 [1189]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001584983 / 9010:00 - 11:20 T,ThPHY 145Jonathan Buss
LEC 002598690 / 9013:00 - 14:20 T,ThMC 2017Stephanie Renee McIntyre
LEC 003604890 / 9011:30 - 12:50 T,ThMC 2017Carmen Anthony Bruni
LEC 004615471 / 9013:00 - 14:20 T,ThMC 2035Jonathan Buss
LEC 005625489 / 9008:30 - 09:50 T,ThMC 2054Carmen Anthony Bruni
TST 2015865423 / 45016:30 - 18:20 Th Dalibor Dvorski
TUT 101587267 / 6513:30 - 14:20 FRCH 204
TUT 102587365 / 6512:30 - 13:20 FRCH 204
TUT 103604964 / 6509:30 - 10:20 FRCH 204
TUT 104605065 / 6510:30 - 11:20 FRCH 204
TUT 105605164 / 6508:30 - 09:20 FRCH 204
TUT 106615238 / 6509:30 - 10:20 FMC 4041
TUT 107625660 / 6014:30 - 15:20 FMC 4060

Spring 2018 [1185]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001362674 / 8008:30 - 09:50 T,ThRCH 110Alice Gao
LEC 002371315 / 8011:30 - 12:50 T,ThMC 2054Collin Donald Roberts
LEC 003386740 / 8013:00 - 14:20 T,ThMC 4021Carmen Anthony Bruni
LEC 004386836 / 8008:30 - 09:50 T,ThMC 4041Carmen Anthony Bruni
LEC 005394844 / 8014:30 - 15:50 T,ThMC 4021Carmen Anthony Bruni
TST 2013627209 / 40016:30 - 18:20 Th Ahmed Hajyasien
TUT 101364246 / 6009:30 - 10:20 FMC 4041
TUT 102364319 / 6008:30 - 09:20 FMC 4041
TUT 103371436 / 6012:30 - 13:20 FMC 4042
TUT 104376449 / 5510:30 - 11:20 FMC 4041
TUT 105386941 / 5511:30 - 12:20 FMC 4060
TUT 10639497 / 5508:30 - 09:20 FMC 4042
TUT 107395011 / 5510:30 - 11:20 FMC 4060

Winter 2018 [1181]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001584369 / 8013:00 - 14:20 T,ThMC 4059Lila Kari
LEC 002611760 / 8010:00 - 11:20 T,ThDWE 3522Lila Kari
LEC 003641133 / 8014:30 - 15:50 T,ThDWE 3522Hamid Rahkooy
LEC 00496401 / 1
TST 2015816162 / 24016:30 - 18:20 Th Ahmed Hajyasien
TUT 101581554 / 6013:30 - 14:20 FMC 4060
TUT 102608421 / 6008:30 - 09:20 FRCH 204
TUT 103611949 / 6012:30 - 13:20 FMC 4058
TUT 104641238 / 6010:30 - 11:20 FDWE 3518

Fall 2017 [1179]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001594447 / 8010:00 - 11:20 T,ThAL 124Ifaz Kabir
LEC 002609949 / 8008:30 - 09:50 T,ThMC 4020Opeyemi Adesina
LEC 003616778 / 8008:30 - 09:50 T,ThMC 2038Alice Gao
LEC 004628081 / 8010:00 - 11:20 T,ThMC 2038Alice Gao
LEC 005639180 / 8008:30 - 09:50 T,ThRCH 305Collin Donald Roberts
LEC 006639280 / 8010:00 - 11:20 T,ThRCH 305Collin Donald Roberts
LEC 007651066 / 8014:30 - 15:50 T,ThRCH 309Shahram Esmaeilsabzali
TST 2015961481 / 56016:30 - 18:20 Th Ahmed Hajyasien
TUT 101596948 / 5016:30 - 17:20 FMC 1056
TUT 102597080 / 8011:30 - 12:20 FMC 2038
TUT 103616850 / 5010:30 - 11:20 FMC 2054
TUT 104616949 / 5015:30 - 16:20 FMC 4040
TUT 105617075 / 7514:30 - 15:20 FMC 2038
TUT 106627823 / 5008:30 - 09:20 FMC 4063
TUT 107639345 / 5009:30 - 10:20 FMC 4040
TUT 108639446 / 5013:30 - 14:20 FMC 4045
TUT 109651115 / 5008:30 - 09:20 FMC 4040
TUT 110821450 / 5515:30 - 16:20 FMC 4060

Spring 2017 [1175]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001362747 / 8514:30 - 15:50 T,ThMC 4045Jonathan Buss
LEC 002372066 / 8513:00 - 14:20 T,ThMC 4045Jonathan Buss
LEC 003388584 / 8508:30 - 09:50 T,ThMC 1056Collin Donald Roberts
LEC 004388686 / 8514:30 - 15:50 T,ThMC 2054Collin Donald Roberts
LEC 005480241 / 6014:30 - 15:50 T,ThMC 4042Prabhakar Ragde
TST 2013628283 / 34016:30 - 18:20 Th Ahmed Hajyasien
TST 202480541 / 6016:30 - 18:20 Th Ahmed Hajyasien
TUT 101364360 / 6010:30 - 11:20 FMC 4060
TUT 102364461 / 6009:30 - 10:20 FMC 4058
TUT 103372156 / 5512:30 - 13:20 FMC 4042
TUT 104377140 / 5508:30 - 09:20 FMC 4058
TUT 105388753 / 5509:30 - 10:20 FMC 4041
TUT 106480313 / 5508:30 - 09:20 FMC 4060
TUT 107480441 / 6010:30 - 11:20 FMC 4041

Winter 2017 [1171]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001557674 / 8014:30 - 15:50 T,ThRCH 305Richard Trefler
LEC 002586081 / 8011:30 - 12:50 T,ThRCH 305Richard Trefler
LEC 003962128 / 8014:30 - 15:50 T,ThMC 4045Hamid Rahkooy
TST 2015549183 / 24016:30 - 18:20 Th Ahmed Hajyasien
TUT 101554855 / 6015:30 - 16:20 FMC 4058
TUT 102582332 / 6008:30 - 09:20 FMC 4060
TUT 103586259 / 6010:30 - 11:20 FMC 4060
TUT 104962237 / 6011:30 - 12:20 FMC 4042

Fall 2016 [1169]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001592369 / 8014:30 - 15:50 T,ThRCH 305Jonathan Buss
LEC 002608779 / 8011:30 - 12:50 T,ThRCH 307Kevin Lanctot
LEC 003615777 / 8008:30 - 09:50 T,ThMC 1056Collin Donald Roberts
LEC 004627880 / 8010:00 - 11:20 T,ThMC 2038Collin Donald Roberts
LEC 005641179 / 8010:00 - 11:20 T,ThRCH 112Kevin Lanctot
LEC 006641245 / 8011:30 - 12:50 T,ThPHY 150Jonathan Buss
LEC 007775751 / 5014:30 - 15:50 T,ThEV2 2002Prabhakar Ragde
TST 2015943429 / 48016:30 - 18:20 Th Ahmed Hajyasien
TST 202641551 / 5016:30 - 18:20 Th Ahmed Hajyasien
TUT 101595153 / 6015:30 - 16:20 FMC 4045
TUT 102595260 / 6014:30 - 15:20 FMC 4045
TUT 103615833 / 6015:30 - 16:20 FMC 1056
TUT 104615959 / 6011:30 - 12:20 FDWE 3518
TUT 105616060 / 6011:30 - 12:20 FMC 2038
TUT 106627659 / 6010:30 - 11:20 FMC 2038
TUT 107641345 / 6016:30 - 17:20 FMC 2035
TUT 108641460 / 6014:30 - 15:20 FMC 2034
TUT 109775851 / 5016:30 - 17:20 FMC 4020

Spring 2016 [1165]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001363176 / 8011:30 - 12:50 T,ThMC 2017David Toman
LEC 002373243 / 8008:30 - 09:50 T,ThMC 2034David Toman
LEC 003391983 / 8013:00 - 14:20 T,ThMC 2034Collin Donald Roberts
LEC 004392082 / 8010:00 - 11:20 T,ThMC 2038Collin Donald Roberts
TST 2013632284 / 32016:30 - 18:20 Th Ahmed Hajyasien
TUT 101364941 / 6508:30 - 09:20 FMC 2035
TUT 102365062 / 6512:30 - 13:20 FMC 4060
TUT 103373363 / 6512:30 - 13:20 FMC 4042
TUT 104378764 / 6510:30 - 11:20 FMC 4058
TUT 105392154 / 6011:30 - 12:20 FMC 4058

Winter 2016 [1161]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001612093 / 9011:30 - 12:50 T,ThMC 1056Lila Kari
LEC 002642595 / 9010:00 - 11:20 T,ThMC 1056Lila Kari
TST 2016092188 / 18016:30 - 18:20 Th Ahmed Hajyasien
TUT 101609167 / 6008:30 - 09:20 FMC 4041
TUT 102638459 / 6016:30 - 17:20 FMC 4060
TUT 103642762 / 6015:30 - 16:20 FMC 4040

Fall 2015 [1159]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001619095 / 9608:30 - 09:50 T,ThMC 1056Peter Van Beek
LEC 002636680 / 9613:00 - 14:20 T,ThMC 1056Jonathan Buss
LEC 003644775 / 9610:00 - 11:20 T,ThMC 2034Jonathan Buss
LEC 004657896 / 9611:30 - 12:50 T,ThMC 2034Peter Van Beek
LEC 005775793 / 9314:30 - 15:50 T,ThBMH 1621Peter Van Beek
LEC 006775836 / 4614:30 - 15:50 T,ThMC 4064Shai Ben-David
TST 2016210439 / 47716:30 - 18:20 Th
TST 202776136 / 4616:30 - 18:20 Th
TUT 101621840 / 5308:30 - 09:20 MMC 2035
TUT 102621937 / 5316:30 - 17:20 MMC 4060
TUT 103644851 / 5316:30 - 17:20 MMC 2034
TUT 104644995 / 9612:30 - 13:20 MMC 2034
TUT 105645068 / 7013:30 - 14:20 MRCH 308
TUT 106657681 / 8412:30 - 13:20 MRCH 305
TUT 107775967 / 6811:30 - 12:20 MRCH 204
TUT 108776036 / 4609:30 - 10:20 MMC 4021

Spring 2015 [1155]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001370280 / 8013:00 - 14:20 T,ThMC 2035Jonathan Buss
LEC 002380675 / 8010:00 - 11:20 T,ThMC 2035Jonathan Buss
LEC 003464278 / 8011:30 - 12:50 T,ThMC 2035Collin Donald Roberts
LEC 004464380 / 8008:30 - 09:50 T,ThMC 2038Collin Donald Roberts
TST 2013703313 / 32016:30 - 18:20 Th
TUT 101372065 / 6509:30 - 10:20 WMC 4063
TUT 102372160 / 6508:30 - 09:20 WMC 4063
TUT 103380764 / 6512:30 - 13:20 WMC 4042
TUT 104386164 / 6511:30 - 12:20 WMC 4042
TUT 105464460 / 6016:30 - 17:20 WMC 4042

Winter 2015 [1151]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001590979 / 8013:00 - 14:20 T,ThMC 1056Anna Lubiw
LEC 002624479 / 8010:00 - 11:20 T,ThMC 2038Anna Lubiw
TST 2015880159 / 16016:30 - 18:20 Th
TUT 101587955 / 5510:30 - 11:20 FMC 4040
TUT 102619755 / 5513:30 - 14:20 FMC 4063
TUT 103624748 / 5012:30 - 13:20 FMC 4042

Fall 2014 [1149]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001585786 / 9513:00 - 14:20 T,ThMC 1056Jonathan Buss
LEC 002604288 / 9510:00 - 11:20 T,ThMC 2038Jonathan Buss
LEC 003613087 / 9511:30 - 12:50 T,ThMC 1056Daniela Maftuleac
LEC 004628292 / 9514:30 - 15:50 T,ThMC 2034Daniela Maftuleac
TST 2015877353 / 38016:30 - 18:20 Th
TUT 101588559 / 6011:30 - 12:20 MMC 4040
TUT 102588641 / 6008:30 - 09:20 MMC 4042
TUT 103613163 / 6514:30 - 15:20 MMC 4058
TUT 104613265 / 6510:30 - 11:20 FMC 4042
TUT 105613364 / 6516:30 - 17:20 MMC 4042
TUT 106628061 / 6515:30 - 16:20 MMC 4058

Spring 2014 [1145]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0013612100 / 10014:30 - 15:50 MMC 2054Daniela Maftuleac
LEC 002371899 / 10008:30 - 09:50 MMC 4045Daniela Maftuleac
TST 2013613199 / 20016:30 - 18:20 Th
TUT 101363060 / 6014:30 - 15:20 TMC 2034
TUT 102363161 / 6013:30 - 14:20 TMC 4042
TUT 103371930 / 3008:30 - 09:20 WMC 4041
TUT 104377348 / 5015:30 - 16:20 TMC 4042

Winter 2014 [1141]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001572663 / 7008:30 - 09:50 T,ThMC 4021Richard Trefler
LEC 002732269 / 7013:00 - 14:20 T,ThMC 4045Richard Trefler
TST 2015694132 / 14016:30 - 18:20 Th
TUT 101569347 / 5011:30 - 12:20 MMC 4042
TUT 102607740 / 4513:30 - 14:20 MDWE 3518
TUT 103732545 / 4514:30 - 15:20 MMC 4058

Fall 2013 [1139]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001551377 / 8013:00 - 14:20 T,ThMC 2034Jonathan Buss
LEC 002570273 / 8010:00 - 11:20 T,ThMC 2035Jonathan Buss
LEC 003579576 / 8011:30 - 12:50 T,ThOPT 401Daniela Maftuleac
LEC 004599886 / 8013:00 - 14:20 T,ThQNC 2502Borzoo Bonakdarpour
LEC 005739475 / 8014:30 - 15:50 T,ThRCH 307Daniela Maftuleac
TST 2015533387 / 40016:30 - 18:20 Th
TUT 101554157 / 6010:30 - 11:20 MMC 2034
TUT 102554260 / 6011:30 - 12:20 MMC 4063
TUT 103579659 / 6015:30 - 16:20 MMC 2017
TUT 104579755 / 5516:30 - 17:20 MMC 4063
TUT 105579855 / 5510:30 - 11:20 FMC 4060
TUT 106599655 / 5511:30 - 12:20 FMC 4063
TUT 107739546 / 5515:30 - 16:20 FMC 4060

Spring 2013 [1135]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001344079 / 10009:30 - 10:20 M,W,FMC 2054Peter Van Beek
LEC 002355794 / 10011:30 - 12:20 M,W,FMC 2054Peter Van Beek
TST 2013441173 / 20016:30 - 18:20 Th
TUT 101346038 / 5511:30 - 12:20 FMC 4041
TUT 102346148 / 5512:30 - 13:20 FMC 4041
TUT 103355848 / 5514:30 - 15:20 FMC 4041
TUT 104361439 / 5515:30 - 16:20 FMC 4041

Winter 2013 [1131]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0015489104 / 9008:30 - 09:50 T,ThMC 2017Shai Ben-David
TST 2015453104 / 9016:30 - 18:20 Th
TUT 101545257 / 4511:30 - 12:20 MMC 4064
TUT 102762747 / 4514:30 - 15:20 MDWE 3517

Fall 2012 [1129]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001545282 / 9608:30 - 09:50 T,ThMC 2054David Toman
LEC 002565099 / 9611:30 - 12:50 T,ThMC 2054Igor Ivkovic
LEC 003575094 / 9613:00 - 14:20 T,ThMC 2054David Toman
LEC 004819866 / 6514:30 - 15:50 T,ThOPT 309Borzoo Bonakdarpour
TST 2015473341 / 35316:30 - 18:20 Th
TUT 101548163 / 6515:30 - 16:20 MMC 4042
TUT 102548261 / 6016:30 - 17:20 MMC 4042
TUT 103575161 / 6211:30 - 12:20 FMC 4042
TUT 104575260 / 6115:30 - 16:20 FMC 4042
TUT 105575356 / 6016:30 - 17:20 FMC 4042
TUT 106819240 / 4514:30 - 15:20 MOPT 309

Spring 2012 [1125]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0013488102 / 10510:00 - 11:20 T,ThRCH 211Mirza Omer Beg
LEC 0023619108 / 10513:00 - 14:20 T,ThMC 4020Mirza Omer Beg
TST 2013489210 / 21016:30 - 18:20 Th
TUT 101351056 / 5510:30 - 11:20 FMC 4041
TUT 102351154 / 5511:30 - 12:20 FMC 4041
TUT 103362050 / 5014:30 - 15:20 FMC 4041
TUT 104369050 / 5015:30 - 16:20 FMC 4041

Winter 2012 [1121]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0015286104 / 10013:30 - 14:20 M,W,FAL 211Peter Van Beek
TST 2015245104 / 10016:30 - 18:20 Th
TUT 1015243104 / 10015:30 - 16:20 MMC 4061

Fall 2011 [1119]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001528393 / 9011:30 - 12:50 T,ThMC 2034David Toman
LEC 002551192 / 9013:00 - 14:20 T,ThMC 2034Jonathan Buss
LEC 0035639102 / 9010:00 - 11:20 T,ThRCH 112Jonathan Buss
TST 2015306287 / 27016:30 - 18:20 Th
TUT 101531651 / 4515:30 - 16:20 MMC 4040
TUT 102531745 / 4508:30 - 09:20 FMC 4060
TUT 103564051 / 4511:30 - 12:20 FMC 4064
TUT 104564146 / 4516:30 - 17:20 MMC 4064
TUT 105564251 / 4515:30 - 16:20 FMC 4040
TUT 106564343 / 4516:30 - 17:20 FMC 4064

Spring 2011 [1115]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001338172 / 9011:30 - 12:50 T,ThMC 4045Shai Ben-David
LEC 002352263 / 9014:30 - 15:50 T,ThMC 2017Shai Ben-David
TST 2013382135 / 18016:30 - 18:30 Th
TUT 101340436 / 4510:30 - 11:20 FMC 4060
TUT 102340534 / 4510:30 - 11:20 FMC 4040
TUT 103352342 / 4511:30 - 12:20 FMC 4040
TUT 104361123 / 4511:30 - 12:20 FMC 4058

Winter 2011 [1111]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001525895 / 8013:30 - 14:20 M,W,FMC 2034Richard Trefler
LEC 002544878 / 8015:30 - 16:20 M,W,FPHY 145Richard Trefler
TST 2015214173 / 16016:30 - 18:20 Th
TUT 101521245 / 4515:30 - 16:20 MDWE 3518
TUT 102521344 / 4508:30 - 09:20 FMC 4064
TUT 103560148 / 4016:30 - 17:20 MMC 4064
TUT 104560236 / 3009:30 - 10:20 FPAS 2086

Fall 2010 [1109]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0015330106 / 9014:30 - 15:50 T,ThMC 2054Chrysanne DiMarco
LEC 0025600101 / 9008:30 - 09:50 T,ThMC 2054Chrysanne DiMarco
LEC 003713797 / 9008:30 - 09:50 T,ThMC 1056Tyrel Clinton Russell
TST 2015353304 / 27016:30 - 18:20 Th
TUT 101537159 / 4515:30 - 16:20 MMC 4063
TUT 102537248 / 4508:30 - 09:20 FMC 4063
TUT 103713853 / 4511:30 - 12:20 FMC 4042
TUT 104713948 / 4516:30 - 17:20 MMC 4063
TUT 105714051 / 4515:30 - 16:20 FMC 4040
TUT 106714145 / 4516:30 - 17:20 FMC 4064

Spring 2010 [1105]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001487090 / 8511:30 - 12:50 T,ThMC 2017David Toman
LEC 002518291 / 8514:30 - 15:50 T,ThMC 2017David Toman
TST 2014872181 / 17016:30 - 18:30 Th
TUT 101492650 / 4508:30 - 09:20 WMC 4064
TUT 102492847 / 4512:30 - 13:20 WMC 4064
TUT 103518445 / 4011:30 - 12:20 WMC 4064
TUT 104656739 / 4011:30 - 12:20 WDWE 3522A

Winter 2010 [1101]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001524565 / 6613:30 - 14:20 M,W,FDWE 3522Shai Ben-David
LEC 002552065 / 6510:30 - 11:20 M,W,FDWE 3522Shai Ben-David
TST 2015197130 / 13116:30 - 18:20 Th
TUT 101519562 / 6015:30 - 16:20 MMC 4045
TUT 102519641 / 4108:30 - 09:20 FMC 2038
TUT 103780527 / 3016:30 - 17:20 MDWE 3519
TUT 10478060 / 30

Fall 2009 [1099]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001507165 / 7014:30 - 15:50 T,ThRCH 211David Toman
LEC 002538662 / 7008:30 - 09:50 T,ThDWE 3522David Toman
TST 2015094127 / 14016:30 - 18:30 Th
TUT 101511363 / 7010:30 - 11:20 WPHY 235
TUT 102511464 / 7011:30 - 12:20 FRCH 308

Spring 2009 [1095]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001326077 / 7011:30 - 12:50 T,ThMC 2054Chrysanne DiMarco
LEC 002347774 / 7014:30 - 15:50 T,ThMC 2054Chrysanne DiMarco
TST 2013261151 / 14016:30 - 18:30 Th
TUT 101329052 / 4508:30 - 09:20 WMC 4064
TUT 102329149 / 4509:30 - 10:20 WMC 4064
TUT 103347850 / 5008:30 - 09:20 FMC 4042

Winter 2009 [1091]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001448670 / 9011:30 - 12:20 M,W,FMC 2054Nancy Day
LEC 002737850 / 9010:30 - 11:20 M,W,FMC 2054Nancy Day
TST 2014434120 / 18016:30 - 18:30 Th
TUT 101443241 / 4515:30 - 16:20 MDWE 3522A
TUT 102443325 / 4508:30 - 09:20 FMC 4042
TUT 103737312 / 4510:30 - 11:20 MMC 4060
TUT 104737442 / 4512:30 - 13:20 MMC 4060

Fall 2008 [1089]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001396659 / 8011:30 - 12:50 T,ThMC 2035Chrysanne DiMarco
LEC 002701583 / 8014:30 - 15:50 T,ThMC 2054Chrysanne DiMarco
TST 2013990142 / 16016:30 - 18:20 Th
TUT 101401251 / 5010:30 - 11:20 WMC 4041
TUT 102401336 / 5511:30 - 12:20 FRCH 308
TUT 103401455 / 5513:30 - 14:20 FRCH 211

Spring 2008 [1085]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001270676 / 8010:30 - 11:20 M,W,FMC 2034Shai Ben-David
LEC 002408833 / 6009:30 - 10:20 M,W,FMC 4063Shai Ben-David
TST 2012707109 / 14016:30 - 18:20 Th
TUT 101274143 / 4511:30 - 12:20 MMC 4064
TUT 102274226 / 4508:30 - 09:20 WMC 4064
TUT 103408940 / 5013:30 - 14:20 WMC 4063

Winter 2008 [1081]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001366592 / 9014:30 - 15:20 M,W,FMC 2038Richard Trefler
TST 201360692 / 9016:30 - 18:20 Th
TUT 101360450 / 4515:30 - 16:20 MDWE 3522A
TUT 102360542 / 4508:30 - 09:20 FMC 4040

Fall 2007 [1079]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0013691121 / 12008:30 - 09:20 M,W,FDC 1351Bradley Michael Lushman
TST 2013716121 / 12016:30 - 18:20 Th
TUT 101374242 / 4010:30 - 11:20 WMC 4064
TUT 102374339 / 4011:30 - 12:20 FMC 4064
TUT 103374440 / 4013:30 - 14:20 FMC 4064

Spring 2007 [1075]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001232388 / 11014:30 - 15:20 M,W,FMC 4061Patsy Ann Zimmer
TST 201232488 / 11016:30 - 18:20 Th
TUT 101235955 / 5511:30 - 12:20 MMC 4040
TUT 102236033 / 5509:30 - 10:20 WMC 4040

Winter 2007 [1071]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001364882 / 9012:30 - 13:20 M,W,FMC 1056Prabhakar Ragde
TST 201356282 / 9016:30 - 18:20 Th
TUT 101355950 / 4514:30 - 15:20 MMC 4060
TUT 102356032 / 4508:30 - 09:20 FMC 2036

Fall 2006 [1069]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001360052 / 8009:30 - 10:20 M,W,FMC 1056Richard Trefler
LEC 002360163 / 8014:30 - 15:20 M,W,FMC 1056Richard Trefler
TST 2013629115 / 16016:30 - 18:30 Th
TUT 101366239 / 5010:30 - 11:20 WRCH 306
TUT 102366343 / 5011:30 - 12:20 FMC 4040
TUT 103366433 / 6013:30 - 14:20 FHH 280

Spring 2006 [1065]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 0012331111 / 11008:30 - 09:20 M,W,FMC 4061Peter Van Beek
TST 2012333111 / 11016:30 - 18:20 Th
TUT 101239259 / 5509:30 - 10:20 FMC 4042
TUT 102239352 / 5510:30 - 11:20 FMC 4042

Winter 2006 [1061]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001349635 / 8009:30 - 10:20 M,W,F,R,C,H Prabhakar Ragde
LEC 002362354 / 8011:30 - 12:20 M,W,F,R,C,H Richard Trefler
TST 201350089 / 16016:30 - 18:20 Th
TUT 101349750 / 5314:30 - 15:20 M,M,C
TUT 102349817 / 5308:30 - 09:20 F,M,C
TUT 103349922 / 5412:30 - 13:20 F,M,C

Fall 2005 [1059]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001363779 / 8009:30 - 10:20 M,W,F,M,C Richard Trefler
LEC 002363881 / 8014:30 - 15:20 M,W,F,M,C Richard Trefler
TST 2013668160 / 16016:30 - 18:30 Th
TUT 101372655 / 5410:30 - 11:20 W,D,W,E
TUT 102372754 / 5311:30 - 12:20 F,D,W,E
TUT 103372851 / 5313:30 - 14:20 F,P,H,Y

Spring 2005 [1055]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001235157 / 7008:30 - 09:20 M,W,F,M,C Peter Van Beek
LEC 002235249 / 5011:30 - 12:20 M,W,F,M,C Peter Van Beek
TST 2012353106 / 12016:30 - 18:30 Th
TUT 101243346 / 6009:30 - 10:20 F,M,C
TUT 102243460 / 6010:30 - 11:20 F,M,C
TUT 10324350 / 0

Winter 2005 [1051]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001346157 / 6011:30 - 12:20 M,W,F,M,C Nancy Day
LEC 002468217 / 3011:30 - 12:20 M,W,F,M,C Nancy Day
LEC 003468341 / 8012:30 - 13:20 M,W,F,M,C Shalini Aggarwal
TST 2013465115 / 24016:30 - 18:30 Th
TUT 101346238 / 4014:30 - 16:20 M,D,W,E
TUT 10234631 / 4008:30 - 10:20 W,D,W,E
TUT 10334647 / 4008:30 - 10:20 M,D,W,E
TUT 104468426 / 4014:30 - 16:20 F,M,C
TUT 105468525 / 4013:30 - 15:20 M,P,H,Y
TUT 106468618 / 4012:30 - 14:20 Th,M,C

Fall 2004 [1049]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001365538 / 7009:30 - 10:20 M,W,F,M,C Richard Trefler
LEC 002365678 / 8011:30 - 12:20 M,W,F,M,C Richard Trefler
TST 2013688116 / 15016:30 - 18:30 Th
TUT 101495713 / 3008:30 - 10:20 W,R,C,H
TUT 102495829 / 3012:30 - 14:20 W,R,C,H
TUT 103495930 / 3014:30 - 16:20 W,R,C,H
TUT 104496014 / 3012:30 - 14:20 F,R,C,H
TUT 105496130 / 3014:30 - 16:20 F,M,C

Spring 2004 [1045]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001225953 / 7011:30 - 12:20 M,W,F,M,C Peter Van Beek
LEC 002226034 / 7013:30 - 14:20 M,W,F,M,C Peter Van Beek
TST 201226287 / 14016:30 - 18:30 Th
TUT 101288428 / 4708:30 - 10:20 W,M,C
TUT 102288545 / 4714:30 - 16:20 W,M,C
TUT 103288614 / 4608:30 - 10:20 Th,M,C

Winter 2004 [1041]

SectionClassEnrolledTimeDaysLocationInstructor
LEC 001334185 / 9612:30 - 13:20 M,W,F,M,C Richard Trefler
TST 201334585 / 9616:30 - 18:30 Th
TUT 101334231 / 3214:30 - 16:20 M,R,C,H
TUT 102334330 / 3214:30 - 16:20 M,D,W,E
TUT 103334424 / 3208:30 - 10:20 W,D,W,E

Fall 2003 [1039]

SectionClassEnrolledTimeDaysLocationInstructor
LAB 101473216 / 3008:30 - 10:20 W,M,C
LAB 102473330 / 3012:30 - 14:20 W,M,C
LAB 103473430 / 3014:30 - 16:20 W,D,W,E
LAB 10447350 / 30
LAB 105473628 / 3012:30 - 14:20 F,R,C,H
LAB 106473733 / 3014:30 - 16:20 F,M,C
LEC 001473050 / 9009:30 - 10:20 M,W,F,M,C Nancy Day
LEC 002473188 / 9011:30 - 12:20 M,W,F,M,C Nancy Day
TST 2015050138 / 18016:30 - 18:30 Th

Spring 2003 [1035]

SectionClassEnrolledTimeDaysLocationInstructor
LAB 10126790 / 3214:30 - 16:20 M,M,C
LAB 102268031 / 3212:30 - 14:20 T,M,C
LAB 103268121 / 3208:30 - 10:20 W,M,C
LAB 10426820 / 3214:30 - 16:20 W,M,C
LAB 10526830 / 3210:30 - 12:20 Th,M,C
LAB 106268419 / 3208:30 - 10:20 F,M,C
LAB 10726850 / 3210:30 - 12:20 F,M,C
LAB 108268616 / 3212:30 - 14:20 F,M,C
LAB 10926870 / 3212:30 - 14:20 F,M,C
LEC 00126760 / 9610:30 - 11:20 M,W,F,M,C
LEC 002267749 / 9611:30 - 12:20 M,W,F,M,C Richard Trefler
LEC 003267838 / 9613:30 - 14:20 M,W,F,M,C Richard Trefler
TST 201268887 / 28816:30 - 18:30 T

Winter 2003 [1031]

SectionClassEnrolledTimeDaysLocationInstructor
LAB 101494232 / 3214:30 - 16:20 M,R,C,H
LAB 10249436 / 3214:30 - 16:20 M,D,W,E
LAB 103494413 / 3208:30 - 10:20 W,D,W,E
LEC 001494151 / 9612:30 - 13:20 M,W,F,M,C Nancy Day
TST 201494551 / 9616:30 - 18:30 T

UW Flow Ratings

Liked: 30.04%

30.04%

Easy: 53.92%

53.92%

Useful: 25.76 %

25.76%

CS 245 leads to

CM 339 - Algorithms

CS 240 - Data Structures and Data Management

CS 240E - Data Structures and Data Management (Enriched)

CS 450 - Computer Architecture

ECE 356 - Database Systems

CS 341 - Algorithms

ECE 351 - Compilers

CS 442 - Principles of Programming Languages