SE 212 – LEC,TUT 0.50 – Course ID: 010031 – Logic and Computation

Formal logic. Proof systems and styles. Rudimentary model theory. Formal models of computation. Logic-based specification. Correctness proofs. Applications in software engineering. [Offered: F] Prereq: MATH 135; Software Engineering students only