Course Details
Logic, Games and Automata
Course Code COMP808
EFTS 0.1250
Points 15.00
Level 8
Download Course Descriptor
Prescriptor
Provides the advanced tools and knowledge in symbolic logic, game theory, automata theory, and their applications in computer science and software engineering. A survey of current research topics in the logical foundation of computer science.
Resources
No Resource is available.
Qualifications
The course is available as part of the following qualifications.
Expand to see requisite details. Points
  AK2037   Master of Science   (MSc)
180.00
  DJ1040   Bachelor of Science (Honours)   (BSc(Hons))
120.00
  AK2040   Bachelor of Advanced Science (Honours)   (BSc(AdvSci)(Hons))
480.00
No requisite courses specified.
  HA2037   Master of Science   (MSc)
180.00
  HA1039   Postgraduate Certificate in Science   (PgCertSc)
60.00
  HA1038   Postgraduate Diploma in Science   (PgDipSc)
120.00
  HA1040   Bachelor of Science (Honours)   (BSc(Hons))
120.00
Timetable
No timetable information is available.
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Course Search
Academic Calendar
Downloadable Forms and Guides
Auckland University of Technology