COMP 425: Computational Logic
2010 Trimester 1
| COMP 425 | CRN 990, 15 Points (2010 1/3) | |
|---|---|---|
| Coordinator: | A/Prof Lindsay Groves |
|
| Lecturer: | Dr Petra Malik |
|
| Prerequisites: | 30 300-level COMP pts; (MATH 309 or PHIL 234/334 (or 211) recommended); | |
| Restrictions: | ECSE 433 | |
| Lectures: | Mon Wed Fri 10-11 timetable | |
| 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. | |
| Home Page
|
||
| < View previous year |
| CourseForm | |
|---|---|
| CourseCode | COMP 425 |
| SubjectCode | COMP |
| CourseNumber | 425 |
| CourseName | Computational Logic |
| Trimesters | 1 |
| Year | 2010 |
| CourseHomePage | Home Page |
| Coordinator | Lindsay Groves |
| Lecturer | Petra Malik |
| SeniorTutor | |
Year2010
EResearch
