COMP 425 – Computational Logic
| Points: | 15 | Prerequisites: | COMP 304; 15 further pts from COMP 301-399, SWEN 301-399, NWEN 301-399, (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.
Also offered as: ECSE 433
Tuition Fees
2012:
domestic $900.00 
international $3,518.70
Trimester 1 2012
* indicates instructor is the course coordinator.
| CRN | From/To | Days | Time | Building [Campus] | Room | Instructor | 990 | 5 Mar – 10 Jun 2012 | Tue, Wed, Fri | 1310 - 1400 | Cotton [Kelburn] | 118 |
|---|