Search : Index : Faculty of Engineering : Electrical Engineering and Computer Science
Prev 433-254 Software Design
Next 433-257 Frontiers of Computer Science
433-255 Logic and Computation | |
Credit Points | 12.5 |
HECS Band | 2 |
Coordinator | Dr A Pearce |
Prerequisites | 433-141 Computing Fundamentals A |
Semester | 1, repeat 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; and 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 3 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 : Electrical Engineering and Computer Science
Prev 433-254 Software Design
Next 433-257 Frontiers of Computer Science
Status: Official 2001 Last Modified: Wednesday May 23 22:25 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au