理论计算机科学

✍ dations ◷ 2024-11-05 18:55:22 #理论计算机科学

理论计算机科学（英语：theoretical computer science，缩写为TCS）是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在计算机科学的研究者里自成一派。根据Elesevier出版社《理论计算机科学杂志》（Theoretical Computer Science）的解释，理论计算机科学有着数学和抽象的本质，但动机来自实践和日常中的计算问题。它旨在理解计算的本质，并根据这种理解提供更有效率的方法。精确地限制定义理论计算机科学的范围并非易事；根据计算机协会(ACM)算法与计算理论兴趣组（SIGACT）的表述：计算机协会（ACM）《计算理论学报》（Transactions on Computation Theory）又为以上的列表添加了：编码理论，计算学习理论，以及与数据库、信息获取、经济学模型和计算机网络中与理论计算机科学相关的方面。尽管形式化算法已经存在了数千年，例如求最大公因数的欧几里得算法至今依然在为人们所使用，但直到1936年，艾伦·图灵，阿隆佐·邱奇和斯蒂芬·科尔·克莱尼才给出了算法在计算理论中的形式化定义。早在1703年之前就有了二进制和数理逻辑系统，莱布尼茨建立了真假二元的形式逻辑。1931年，哥德尔证明了哥德尔不完备定理，该定理指出，任何相容的形式体系不能用于证明它本身的相容性。这些成果引领了理论计算机科学，包括现代数理逻辑和可计算性等的研究。1948年，信息论由香农将信息的传递作为一种统计现象而引入。同样在1940年代，Donald Hebb建立了一套大脑学习模式的数学模型，神经网络和平行分布式处理等学科也建立了起来。随着20世纪初量子力学的发展，数学运算的概念被引入了粒子波函数，可以同时计算多重状态上的函数。这一概念引领了20世纪后半叶量子计算机概念的产生，在1990年代彼得·秀尔（Peter Shor）提出量子质因数分解算法，可以在多项式时间内分解大数，如果得以实现，现代的公开密钥加密系统将变得不安全。现代理论计算机科学研究在以上的基础上展开，同时也包含了其它数学和跨学科的问题。

相关

头孢洛扎头孢洛扎（Ceftolozane），是第五代头孢类抗生素，用来治疗对常规抗生素耐药的革兰氏阴性菌。实验证明其对尿路感染、腹腔内感染、呼吸机相关性细菌性肺炎有效。头孢洛扎常与他唑
子囊果子囊果（ascocarp, ascoma，複數為ascomata）是子囊菌门真菌的子实体，由许多菌丝紧密交织组成。子囊果内可能含有上百万个子囊，每个子囊内均可产生八枚子囊孢子。子囊果的形状多为盘
奥美拉唑奥美拉唑（Omeprazole），常见商品名Prilosec等。是一种可用于治疗胃食道逆流、胃及十二指肠溃疡和胃泌素瘤（英语：Zollinger–Ellison syndrome）的口服药物。它同时也用于上消化道出
根西根西岛（英语：Guernsey），译作根西或耿西，是英国的王权属地之一，位于英吉利海峡靠近法国海岸线的海峡群岛之中，同泽西外各岛岛组成了“根西行政区”（Bailiwick of Guernsey），首府为圣彼
SCWR超临界水反应堆（英语：Supercritical water reactor，缩写：SCWR）是一种第四代反应堆设计，使用超临界水作为工作流体。超临界水反应堆也是一种轻水反应堆（LWR），但是工作流体运作于较高的
雄激素雄激素（英语：androgen、英语：androgenic hormones或英语：testoids），也译为雄性激素、男性激素、男性荷尔蒙，是一种化学成合物的泛称。在于脊椎动物中，凡是能够与雄激素受体（androgen
摩西摩西(基督教译文)（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
罗曼语族罗马语族（又称罗曼语族、拉丁语族），属于印欧语系，是从意大利语族衍生出来的现代语族，主要包括从拉丁语演化而来的现代诸语言。操罗马语族语言的人主要包括传统意义上的“欧洲拉丁
语调语调（英语：intonation、音高），又称语气、口气，是指说话者交谈发声的音调，即说话者依据个人心情（态度、个性），让声调的高低轻重音调，再附加上发声的高低轻重音调；前者是文法上的音调、后
二阶逻辑在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想