理论计算机科学

✍ dations ◷ 2024-12-22 20:23:10 #理论计算机科学

理论计算机科学（英语：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）提出量子质因数分解算法，可以在多项式时间内分解大数，如果得以实现，现代的公开密钥加密系统将变得不安全。现代理论计算机科学研究在以上的基础上展开，同时也包含了其它数学和跨学科的问题。

相关

缺血性心脏病冠状动脉疾病（英语：coronary artery disease, CAD）又称为缺血性心脏病或简称冠心病（英语：ischemic heart disease, IHD）、冠状动脉粥状硬化心脏病、冠状动脉粥状硬化心血管疾病（英
东莨菪碱东莨菪碱（法语、英语：Scopolamine，德语：Scopolamin)，又称左旋-天仙子胺），是一种莨菪烷生物碱药物，具有毒蕈碱受体拮抗剂作用。东莨菪碱通过在毒蕈碱乙酰胆碱受体，充当竞争性拮抗剂发
蒸气压一种物质的蒸气压也称作饱和蒸气压，指的是这种物质的气相与其非气相达到平衡状态时的压强。任何物质（包括液态与固态）都有挥发成为气态的趋势，其气态也同样具有凝结为液态或者凝
链球菌咽炎链球菌性咽炎（streptococcal pharyngitis、strep throat）是一种喉部后方含扁桃腺感染化脓链球菌（英语：Streptococcus pyogenes）的疾病，是咽炎中的一种，常见症状有发热、喉咙痛、扁
鲁世德阿布·瓦利德·穆罕默德·伊本·阿马德·伊本·鲁世德（阿拉伯语：أبو الوليد محمد ابن احمد ابن رشد‎，1126年－1198年12月10日），又译为阿威罗伊、亚维侯
恩典在圣经中，“恩典”这个词语翻译自古希腊语：χάρις（charis），原意为“带来满足、愉快、欢乐和好运”。七十士译本将希伯来语中表示“好意”的词根翻译成“恩典”，例如创世纪6:8
赛吉出版赛吉出版公司（Sage Publications）是由莎拉·米勒·麦克卡尼（英语：Sara Miller McCune）在1965年成立于美国纽约的独立（英语：Independent business）出版公司。赛吉旗下约1,500名员工来
罗非昔布罗非昔布或罗非考昔（英语：Rofecoxib，/ˌrɒfᵻˈkɒksɪb/）商品名Vioxx、Ceoxx和Ceeoxx。是一种非甾体类抗炎药（NSAID），由默克公司制造、出售。美国食品药品监督管理局（FDA）于1999年5
脂类组学脂类组学（英语：Lipidomics）是生物系统中细胞脂类途径和网络的大规模研究。“脂类组（英语：Lipidome）（Lipidome）”一词用于描述细胞，组织，生物或生态系统中的完整脂类谱，是“代谢物组（Met
囊虫病囊虫病（Cysticercosis）是由猪肉绦虫（Taenia solium）的幼体（囊尾幼虫）引起的组织感染。病者可能会许多年都没有症状或只有很少的症状。在部分的病例，尤其亚洲的病例会在皮肤下1到2