Paper Details
Logic, Games and Automata
Paper Code COMP808
EFTS 0.1250
Points 15.00
Level 8
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 paper is available as part of the following qualifications.
Expand to see requisite details. Points
  AK2037   Master of Science   (MSc)
180.00
  AK1037   Master of Science (Research)   (MSc (Res))
240.00
  HA1038   Postgraduate Diploma in Science   (PgDipSc)
120.00
  HA1039   Postgraduate Certificate in Science   (PgCertSc)
60.00
  HA1037   Master of Science (Research)   (MSc (Res))
240.00
  HA2037   Master of Science   (MSc)
180.00
  AK2040   Bachelor of Advanced Science (Honours)   (BSc(AdvSci)(Hons))
480.00
  AK1329   Master of Computer and Information Sciences   (MCIS)
180.00
  AK3745   Postgraduate Diploma in Computer and Information Sciences   (PgDipCIS)
120.00
  AK3746   Postgraduate Certificate in Computer and Information Sciences   (PgCertCIS)
60.00
  DJ2037   Master of Science   (MSc)
180.00
  DJ1038   Postgraduate Diploma in Science   (PgDipSc)
120.00
  DJ1040   Bachelor of Science (Honours)   (BSc(Hons))
120.00
  DJ1039   Postgraduate Certificate in Science   (PgCertSc)
60.00
Timetable
2020Semester 2
Class Stream Starting Ending Day Time Room
COMP808/50  13-Jul-2020  06-Nov-2020       
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Paper Search
Academic Calendar
Downloadable Forms