首页 >
理论计算机科学
✍ dations ◷ 2025-04-03 12:31:43 #理论计算机科学
理论计算机科学(英语: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)提出量子质因数分解算法,可以在多项式时间内分解大数,如果得以实现,现代的公开密钥加密系统将变得不安全。现代理论计算机科学研究在以上的基础上展开,同时也包含了其它数学和跨学科的问题。
相关
- 慢性阻塞性肺病慢性阻塞性肺疾病(英语:Chronic obstructive pulmonary disease,缩写为COPD),常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病(英语:Obstructive lung disease)。其
- 被动吸烟二手烟,亦称非自愿性吸烟,是指在吸取燃点烟草时随着烟雾释放出来的物质,是一种被动吸烟(Passive smoking)方式有研究指二手烟有焦油、阿摩尼亚、尼古丁、悬浮微粒、超细悬浮微粒
- 洋流洋流亦称海流,是具有相对稳定流速和流向的大规模海水运动。惟有在陆地沿岸,会因潮汐、地形及河水的注入等影响其变化。赤道流、大洋流、极地流及沿岸流等。信风带作用下的信风
- 烟斗烟斗是流行于美国、欧洲的一种吸烟道具,塞进切好的烟草加上香料后点燃吸烟。最早烟斗主要流行于世界各地原住民,过去美洲原住民已有抽烟斗的习惯。烟斗这种吸烟工具推估是在有
- 数据可视化数据可视化(英语:Data visualization)被许多学科视为与视觉传达含义相同的现代概念。它涉及到数据的可视化表示的创建和研究。为了清晰有效地传递信息,数据可视化使用统计图形、
- 安非他命安非他命(英文名称:Amphetamine也称为苯丙胺,为中枢神经刺激剂,用来治疗注意力不足过动症、嗜睡症、和肥胖症。“Amphetamine”一名撷取自alpha‑methylphenethylamine。 安非他
- 卡尔娄·武尔班尼卡洛·乌尔巴尼(意大利语:Carlo Urbani,1956年10月19日-2003年3月29日),又译乌尔班尼或厄巴尼,意大利医生,是首位留意到SARS是一种全新传染病的医生。乌尔巴尼是无国界医生意大利分
- 结肠结肠,中国古称回肠,是大多数脊椎动物消化系统的最后一部分,在将固体废物排出体外前吸收水和盐。结肠中未吸收的废物也在微生物(主要是细菌)的帮助下发酵。在食品和营养物质的吸收
- 粗体粗体是在正常字体样式(或字型)的基础上,通过加粗笔画实现的一种字体样式。例如,“维基百科”的粗体样式为“维基百科”。粗体的英文是bold,在字体编辑软件中,往往以B作为加粗字体
- 老后老年(英语:old age),一般指生物的生命周期一个阶段,即中年到死亡的一段时间不同的文化圈对于老年人有着不同的定义。由于生命的周期是一个渐变的过程,壮年到老年的分界线往往是很