1. Handbook
  2. Subjects
  3. Models of Computation
  4. Further information

Models of Computation (COMP30026) // Further information

You’re viewing the 2017 Handbook:
Or view archived Handbooks
You’re currently viewing the 2017 version of this subject

Further information

  • Texts

    Prescribed texts

    There are no specifically prescribed or recommended texts for this subject.

  • Subject notes

    LEARNING AND TEACHING METHODS

    The subject involves two 1-hour lectures per week followed by a 1-hour tutorial. Weekly tutorial problems are assigned and discussed in class. Tutors may use tutorial time to demonstrate applications of the theory, such as SAT-solver use, logic programming, and parsing. Lectures and tutorials are designed to be interactive, and the written assignments are designed to be challenging, so as to generate discussion. Although written assignments are submitted by students individually, in-plenum discussion of the problems encouraged.

    INDICATIVE KEY LEARNING RESOURCES

    The subject uses online reading materials and offers access to visualisation tools (the JFLAP suite), an online discussion forum, and advance access to all teaching materials, including slides used in lectures.

    CAREERS / INDUSTRY LINKS

    The subject is foundational. While the practice of computing changes fast, the theoretical underpinnings, and many of the basic concepts underlying computation, change only slowly. A foundation in logic and mathematics provides important conceptual tools that are used by theoreticians, computer scientists, and software engineering practitioners alike.

  • Related Handbook entries

    This subject contributes to the following:

    TypeName
    CourseMaster of Information Technology
    Informal specialisationComputer Science
    Informal specialisationComputer Science
    Informal specialisationScience-credited subjects - new generation B-SCI and B-ENG.
    Specialisation (formal)Software with Business
    MajorMIT Computing Specialisation
    Informal specialisationMaster of Engineering (Software)
    Specialisation (formal)Software
    Informal specialisationMaster of Engineering (Software with Business)
    MajorComputer Science
    Specialisation (formal)Computing
    MajorComputing and Software Systems
  • Available through the Community Access Program

    About the Community Access Program (CAP)

    This subject is available through the Community Access Program (also called Single Subject Studies) which allows you to enrol in single subjects offered by the University of Melbourne, without the commitment required to complete a whole degree.

    Entry requirements including prerequisites may apply. Please refer to the CAP applications page for further information.

    Additional information for this subject

    Subject coordinator approval required

Last updated: 3 November 2022