To make students aware of the theoretical basis of their computing.

To introduce students to the limitations of communication channels.

To give students a feeling for the complexity of programs and therefore the resources needed to run them.

On completion of the subject students will have an understanding of elementary information theory, computer simulation techniques, and intractability and the practical implications of limitations inherent in communication channels and the complexity of computation.

To make students aware of the benefits of employing formal methods in their computing.

To give students practice in calculating codes and information transmission, and in working out the consequences of the theories associated with formal methods.

No books are recommended texts but the following are for reference:

• CSE3305 Lecture Notes by John N. Crossley, available from the bookshop.
• Adamek, Foundations of coding : theory and applications of error-correcting codes, Chichester ; New York : Wiley, 1991, Hargrave-Andrew Library 003.54 A197F
• Roman, Introduction to coding and information theory, New York : Springer, 1997, Hargrave-Andrew Library 005.72 R758.I
• Roman, Coding and information theory, New York : Springer- Verlag, 1992, Hargrave-Andrew Library 003.54 R758C
• Jones and Jones, Information and coding theory, London ; New York : Springer, 2000, Hargrave-Andrew Library 003.54 J77.I 2000
• Ross, Simulation, Sa\n Diego: Academic Press, 2002, Hargrave-Andrew Library Mos 517.13 R826C 2002
• Garey and Johnson, San Francisco : W. H. Freeman, 1979, Hargrave Library 001.642 G229C
• Davis, Sigal and Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, 2nd. ed., Boston : Academic Press, Harcourt, Brace, 1994, Hargrave-Andrew Library 004.0151 D263C2
• Sipser, Introduction to the theory of computation, Boston : PWS Pub., 1997, Hargrave-Andrew Library Mos 517.59 S618.I
• Hopcroft, Motwani and Ullman, Introduction to automata theory, languages, and computation, 2nd ed., Boston : Addison-Wesley, 2001. Hargrave-Andrew Library Mos 511.2 H791.I 2001

Two hours of lectures plus 0.5 hours tutorials,

plus a total of 9.5 hours of revision of lectures, private study and

completion of three assignments.

• Software Title:
• Vendor:
• Version:
• OS: MS Windows XP ( ) and/or LINUX ( )
• License Details: (A valid software license certificate/s or Vendor permission must be available upon request if the software is to be installed for teaching)
• Are we currently licensed: Yes ( ) or No ( ) (If unsure, please check with your local IT support )
• If (Yes), who is the contact person for this software?:
• If (No), will the software license be arranged by: Staff member requesting the software ( ) or Technical Services* ( ) ? *If the latter is selected, please discuss your requirement/s with myself ASAP, prior to finalising your request, as there could be financial or resourcing implications.
• Is the software to be installed and accessed from a: Client/Workstation ( ), or Server ( ) ?
• Type of license: Site License ( ), Freeware ( ), FOSS (Free and Open Source Software) ( ), Shareware ( ), Lab based ( ) # of Licenses needed ____
• In what week will you commence using the software in class? Semester 1 (Week ___ ) and/or Semester 2 (Week ___ ):
• Nominated Staff For Acceptance Testing Software: (Name) (Phone) (Email)
• Additional Information: Special Requirements, Software Configuration/Installation Requirements, etc: