"计算理论"的搜尋報告

跟着又做"第二次改造":令该"不可计算"矩阵项的偏导数非对角元全为零. 这就使全套公式改造成"可以计算"的了. 虽然强令非对角元全为零是近似的算法, 它却也是最合理的近似算法; 在此我并没有另外加入人为假设(如教科书所做的那样), 故而它又是理论的算法;...

本书是计算理论领域的经典著作，被国外多所大学选用用为教材。本书以注重思路、深入引导为特色，系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂理论中的某些高级内容作了重点讲解。...

在今天，如果一个计算机科学的硕士或博士不知道什么是不可判定问题，什么是停机问题，为什么停机问题不可解，什么是NP=?P问题，也有可能会受到讥笑。因为这些问题对于计算机科学而言，太基本、太重要了，它们都属于一门称为可计算理论的学科。...

现在只好由我来完成这项移植工作. 摘要: 本文实貭还给出"连续体弹塑性本构关系的普遍公式",并且首创得出其近似却最合理的理论算法. (目前教科书形式上也给出这个本构公式, 却不知如何计算其中的硬化模量H, 唯有另做假设或另做试验, 采用经验算法.)...

课间休息聊天时，有学生对于《编译原理》中的有限自动机与《计算理论》中的有限自动机之异同点感到迷惑。有些人觉得是两门课程里的有限自动机是一样的，据此认为《计算理论》后面要讲的内容与《编译原理》会有诸多重复。对此，我作如下解释：...