首页>澳洲高级理论计算机科学Advanced Theoretical Computer Science
Advanced Theoretical Computer Science
了解海外留学生学术写作类型、写作格式以及写作标准等。共计开设学术写作班课34期,班课分为本科阶段以及硕士阶段,不同阶段定制不同授课大纲。
获悉详情高级理论计算机科学COMP90057Advanced Theoretical Computer Science:
课程内容:
理论计算机科学的核心是具有哲学和实践重要性的问题。一个问题可以被计算机解决意味着什么?可计算性的极限是什么?哪些类型的问题可以有效地解决?面对棘手的问题,我们有什么选择?本课程在广泛探索逻辑、复杂性和算法之间联系的同时,探讨了这些问题,并考察了许多关于计算本质的重要结果。
课程将涵盖以下关键主题:
图灵机;丘奇-图灵论题;可判定语言;可约性;时间复杂性(P类和NP类、NP-完全问题);空间复杂性(次线性空间);电路复杂性;近似算法;概率复杂性类别。
额外的主题可能涉及描述复杂性、交互证明、通信复杂性、应用于密码学的复杂性;空间复杂性(次线性空间);有限状态自动机、下推自动机、正则语言、上下文无关语言。
学习成果:
完成本课程后,学生应该能够:
1、设计、操作和推理图灵机;
2、说明许多具有实际重要性的计算问题的内在复杂性;
3、对机器、电路、问题和算法进行形式推理;
4、为棘手问题设计近似算法;
5、将复杂性论证应用于相关的基本计算问题,如随机计算、交互式证明系统和密码伪随机发生器。
课程评估:
1、测验(30分钟),第4周,5%。
2、作业1,第8周,15%。
3、作业2,第12周,5%。
4、每周课前活动,第3-12周,15%。
5、2小时期末考试,60%。
OUR COACHING PROCESS
我们的辅导流程
01
评估评测
提交辅导需求发送学习资料,教学部评估学习情况;
02
匹配老师
教学部精准匹配授课老师,提供老师背景等资料;
03
建群定方案
vip学习群,规划老师+督导老师+学管老师,1V3辅导;
04
排课授课
教学部排课,老师一对一辅导授课,高效课堂有保障;
05
答疑反馈
学管课堂反馈,课堂答疑+课件回放+笔记随时复习;
评估评测确认需求
同学提交辅导需求并发送相关学习资料(课件大纲资料等),教学部评估基础学习情况;
匹配老师初步沟通
教学部精准匹配授课老师,提供老师背景等资料;
建学习群定辅导计划
专属vip学习群,规划老师+督导老师+学管老师,1V3共同制定学习计划;
预约排课导师授课
教学部安排详细上课时间,老师一对一辅导授课,高效课堂有保障;
答疑解惑课堂反馈
督导学管老师随时反馈学习情况,课堂答疑,提供课件回放+笔记随时复习复盘。
TP 100 EXCELLENT TEACHERS
TOP100优秀师资
高级理论计算机科学问答
Advanced Theoretical Computer Science
高级理论计算机科学文章
专业覆盖97%以上,快速匹配对口老师!
已有10456人成功匹配老师