Search : Index : Faculty of Engineering : School of Electrical Engineering and Computer Science
Prev 433-254 Software Design
Next 433-257 Frontiers of Computer Science
433-255 Models of Computation | |
Credit Points | 12.5 |
Coordinator | Assoc Prof Liz Sonenberg |
Prerequisites | 433-141 Computing Fundamentals A and 433-142 Computing Fundamentals B or 433-162 Introduction to Programming B (From 2000: 433-141 or 433-142 or 433-171.) |
Semester | 2 (view timetable) |
Contact | 30 hours of lectures, 12 hours of tutorials and 6 hours of laboratory classes |
Subject Description | The objective of this subject is for students: to be able to reason formally about the properties of simple specifications and programs; to be able to reason formally about simple models of computation; to appreciate the variety of applications of discrete mathematical techniques in computer science; and to gain working experience with a logic programming language. Topics include: Logic: propositional and predicate calculus, proof structures. Logic programming languages (Prolog). Formal specification, refinement and program proof. Selected topics from: the Chomsky hierarchy of languages, computability, and computational complexity. |
Assessment | Project work (expected to take about 36 hours) during semester; and one written examination (not exceeding three hours) at the end of the semester. The project work must be completed satisfactorily to pass the subject. Weighting of assessment components will be advised at the commencement of the subject. |
Search : Index : Faculty of Engineering : School of Electrical Engineering and Computer Science
Prev 433-254 Software Design
Next 433-257 Frontiers of Computer Science
Status: Official 1999 Last Modified: Tuesday October 20 11:50 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au