433-255 Logic and Computation

Credit Points

HECS Band

Coordinator

Prerequisites

433-141 Computing Fundamentals A or 433-142 Computing Fundamentals B or 433-171 Introduction to Programming (From 2001: 433-141 Computing Fundamentals A).

Semester

Contact

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.