COMP 425: Computational Logic
2009 Trimester 1
| COMP 425 |
CRN 990, 15 Points (2009 1/3) |
| Coordinator: |
A/Prof Lindsay Groves
|
| Prerequisites: |
30 300-level COMP pts; (MATH 309 or PHIL 234/334 (or 211) recommended); |
| Restrictions: |
ECSE 433 |
| Prescription: |
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. |
| Description: |
This course will be available in 2009 to a small number of highly motivated students on a largely self-study basis. We will work systematically through Huth and Ryan's book "Logic in Computer Science: modelling and reasoning about systems" (2nd edition, 2004), with students expected to read ahead and discuss the content in class, and occasionally lead the discussion of designated chapter. Assessment will involve both written work based on the course material and practical work using tools such as proof editors and model checkers. Students interested in this course should consult the course organiser before enrolling.
|
|
Home Page
|
EResearch