SE 112 Logic and ComputationSoftware Engineering (2009-2010)
Formal logic. Proof systems and styles. Rudimentary model theory. Formal models of computation. Logic-based specification. Correctness proofs. Applications in software engineering. [Offered: W]
Prerequisites: MATH 135; Software Engineering students only
Sections For Fall 2009
Note: Choose TUT section for Related 1.
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| Trefler, Richard | 09:30-10:20 M T W Th F | 105/120 | 1 | 1 | MC 4059 | 7200 | ||
| Tutorials | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| TBA | 03:30-04:20 M T W Th F | 39/40 | 102 | 99 | 99 | ML 349 | 7202 | |
| TBA | 03:30-04:20 M T W Th F | 66/40 | 101 | 99 | 99 | B2 350 | 7201 | |
| TBA | 03:30-04:20 M T W Th F | 0/40 | 103 | 99 | 99 | ML 246 | 7203 | |
| Closed Section | ||||||||
Sections For Spring 2009
SE 112 is not held in Spring 2009