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
  DJ1039   Postgraduate Certificate in Science   (PgCertSc)
60.00
  DJ1038   Postgraduate Diploma in Science   (PgDipSc)
120.00
  DJ2037   Master of Science   (MSc)
180.00
  AK3745   Postgraduate Diploma in Computer and Information Sciences   (PgDipCIS)
120.00
  AK3746   Postgraduate Certificate in Computer and Information Sciences   (PgCertCIS)
60.00
No requisite courses specified.
  AK1329   Master of Computer and Information Sciences   (MCIS)
180.00
  DJ1040   Bachelor of Science (Honours)   (BSc(Hons))
120.00
  AK2040   Bachelor of Advanced Science (Honours)   (BSc(AdvSci)(Hons))
480.00
  HA1039   Postgraduate Certificate in Science   (PgCertSc)
60.00
  HA1038   Postgraduate Diploma in Science   (PgDipSc)
120.00
  HA2037   Master of Science   (MSc)
180.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