UniMate AI

COMP2048

计算理论

2 学分难度 中等

This course provides a rigorous introduction to the Theory of Computation, exploring the fundamental limits of what can be computed and how efficiently computational problems can be solved. Students study formal models of computation through the framework of languages and automata, including deterministic and nondeterministic finite automata (DFA and NFA), pushdown automata (PDA), and Turing machines. The course emphasizes precise mathematical reasoning and proof techniques, and examines fundamental questions of decidability and undecidability. Additionally, the course covers an introduction to Computational Complexity Theory as the study of the resources required to solve computational problems. The course delves into central complexity classes, including P and NP, and explores the practical limits of efficient computation. The course also introduces alternative models of computation, including an introduction to quantum computing, to provide a broader perspective beyond the classical model.

Course decision

选课先看

先看考核重心、截止节奏和入门要求,再决定这门课是否适合你的学期安排。

考核总权重

100%

4 项考核

最高单项

40%

Final Examination Hurdle Identity Verified In-person

期末考试

以官方 outline 为准

Hurdle

4 项

需要单独满足

Syllabus

每周大纲

默认只展示每周独有的知识重点;节奏、考核、Tutorial 和避坑信息按需展开。

  1. 1

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 1; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  2. 2

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 2; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  3. 3

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 3; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  4. 4

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 4; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  5. 5

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 5; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  6. 6

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 6; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  7. 7

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 7; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  8. 8

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 8; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  9. 9

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 9; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  10. 10

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 10; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  11. 11

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 11; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

  12. 12

    Videos and Reading / Lecture Sessions / Applied Class / Practical Class

    No separate week-by-week topic is publicly listed for Week 12; official repeated teaching activities are shown below: - Not Timetabled: Videos and Reading - Videos and reading materials may be provided for topics necessary and of interest to the course. It is expected that students spend a good amount of time studying these recommended materials. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Lecture: Lecture Sessions - Course topics covered in a series of lectures. The lecturers may suggest a reading list (from suggested resources available freely via UQ Library) for each week. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Applied Class: Applied Class - These sessions are designed to support students’ understanding of course material and problem-solving techniques. During these sessions, the teaching staff may: Work through example problems (provided each week) related to the previous week's lecture Answer student questions about course content Provide guidance on assignments The students will be able to get feedback prior to the census date during Applied Classes. Learning outcomes: L01, L02, L03, L04, L05, L06, L07, L08 - Practical: Practical Class - During these sessions, teaching staff may provide additional guidance and support for Assignment 3. Learning outcomes: L06, L07, L08 Official timetable activities: - Applied Class | Mon 10:00 | 120 mins | 46-230 - Andrew N. Liveris Building - Lecture | Thu 09:00 | 120 mins | 27A-220 - UQ Centre Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/COMP2048-21180-7620

Assessment

考核结构

Assignment 1 HurdleHurdle

Official due date: 27/03/2026 4:00 pm. Source: 2026 S1 UQ Course Profile.

20%

Assignment 2 HurdleHurdle

Official due date: 1/05/2026 4:00 pm. Source: 2026 S1 UQ Course Profile.

20%

Assignment 3 HurdleHurdle

Official due date: 29/05/2026 4:00 pm. Source: 2026 S1 UQ Course Profile.

20%

Final Examination Hurdle Identity Verified In-personHurdle

Official due date: End of Semester Exam Period 6/06/2026 - 20/06/2026. Source: 2026 S1 UQ Course Profile.

40%

From Seniors

学长留下的

基础信息谁都查得到,真正值钱的是过来人的经验。

学姐说

比你早一年的学长留下的真实经验 —— ChatGPT 给不了。

这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。

往年考点 / 踩坑

这门课暂无往年考点记录。

毕业生去向(整体)

下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。

统计自 317 份脱敏校友证言

Deloitte

6 位校友

岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer

Zerologix

4 位校友

岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer

Servian

4 位校友

岗位:Full-stack Developer · Data Engineer · Consultant

关于这块数据,我们说实话

雇主墙来自脱敏毕业生证言(testimonials)的整体分布,无法关联到具体学员或其所选课程;仅作为毕业生去向的总体社会证明展示。

我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。