CS 245 Logic and ComputationComputer Science (2009-2010)
Formal logic. Proof systems and styles. Rudimentary model theory. Logic-based specification. Reasoning about programs. Correctness proofs.
Prerequisites: One of CS 134, 136, 138, 145; Computer Science students only.
Antirequisites: PMATH 330, SE 112
Notes: Enrolment is restricted; see Note 1 above. Offered: F,W,S
Sections For Fall 2009
Note: Choose TUT section for Related 1.
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| Toman, David | 08:30-09:50 M T W Th F | 62/70 | 2 | 2 | 201 | DWE 3522 | 5386 | |
| Toman, David | 02:30-03:50 M T W Th F | 65/70 | 1 | 1 | 201 | RCH 211 | 5071 | |
| Tutorials | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| TBA | 10:30-11:20 M T W Th F | 63/70 | 101 | 99 | 99 | PHY 235 | 5113 | |
| TBA | 11:30-12:20 M T W Th F | 64/70 | 102 | 99 | 99 | RCH 308 | 5114 | |
| Tests | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| TBA |
04:30-06:30Th 10/22-10/22 |
127/140 | 201 | 99 | 99 | UW U | 5094 | |
Sections For Spring 2009
Note: Choose TUT section for Related 1.
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| DiMarco, Chrysanne | 11:30-12:50 M T W Th F | 77/70 | 1 | 1 | 201 | MC 2054 | 3260 | |
| DiMarco, Chrysanne | 02:30-03:50 M T W Th F | 74/70 | 2 | 2 | MC 2054 | 3477 | ||
| Tutorials | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| TBA | 08:30-09:20 M T W Th F | 52/45 | 101 | 99 | 99 | MC 4064 | 3290 | |
| TBA | 09:30-10:20 M T W Th F | 49/45 | 102 | 99 | 99 | MC 4064 | 3291 | |
| TBA | 08:30-09:20 M T W Th F | 50/50 | 103 | 99 | 99 | MC 4042 | 3478 | |
| Tests | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| TBA |
04:30-06:30Th 06/11-06/11 |
151/140 | 201 | 99 | 99 | UW U | 3261 | |