COMP-425 – Computational Logic
|Points:||15||Prerequisites:||COMP 304, one further 300-level COMP, NWEN or SWEN course (MATH 309 or PHIL 211/334/335 recommended)|
|School:||Engineering & Comp Sci||Restrictions:||None|
This course is concerned with the application of formal logic to problems in Computer Science, and with techniques for mechanising logical reasoning. Topics may include: systems of reasoning; logic programming; the application of temporal and modal logics; and the relationship between proofs, programs, specifications and types. Students are recommended to take MATH 309 or PHIL 211/334/335.
Trimester 1 2013
* indicates instructor is the course coordinator.
|CRN||From/To||Days||Time||Building [Campus]||Room||Instructor||990||4 Mar – 9 Jun 2013||Mon, Tue, Fri||1200 - 1250||Cotton [Kelburn]||119||Lindsay Groves*|