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) |
|---|---|---|---|
| Faculty: | Engineering | Corequisites: | None |
| 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.
Tuition Fees
2013: domestic $936.00 
international $3,656.25
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* |
|---|