2020-10-7
可计算性与计算复杂性
Email:[email protected] 办公室：计算机楼A338
期末有一道二十分的大题是课程回顾
据说这门课私下被叫做两性hhhh
计算学科的基本问题是“能行”和“效率”的问题，即它的核心问题是“能行”问题（Practicability）
1.如果人们对计算学科的认识能建立在公理化的基础之上，则该学科可被认为是严谨的科学、成熟的学科。
2.当前计算科学在发展过程中面临着如下两个问题：
1） 应用越来越细，越专业；
2） 在有限时间得到最优解。
3.计算理论就是支出构成一个包括了不同领域的通用模型的思维方法，并且告诉我们怎样用不同的语言从简单的对象出发进而解决通用问题。
4.据老师自己说一道每年都会考的题：
【可计算性与计算复杂性的学科诞生】
哈特马尼斯出生于1928年的拉脱维亚，1955年取得加利福尼亚理工学院数学博士学位；童年进入康奈尔大学数学系任教；
一年后，转入通用电气公司工作，开展有关计算机和信息学的研究，哈特马尼斯与曾是普林斯顿大学的数学博士斯特恩斯合作，1965年他们发表了著名的论文 “论算法的计算复杂性” 一文，开辟了计算机科学的一个新的领域，即计算复杂性，并奠定了它的理论基础。