在理论计算机科学中，算法的正确性（英语：correctness）是指一个算法在程序规范下被认定为正确的判定。其中，功能正确（英语：functional correctness）针对输入输出的行为（例如：对每一个输入，算法都能给出预期的输出）。 人们将正确性分为两类。一类被称为部分正确性（英语：partial...

未解決的計算機科學問題：如果一个问题的解可以快速检验正确性，那么这个问题一定可以快速求解吗？ P/NP问题是理论计算机科学中计算复杂度理论领域至今未解决的问题，是克雷数学研究所七題千禧年大奖难题之一。P/NP问题包括复杂度类P与NP的关系。1971年由史提芬·古克（Stephen A. Cook）和列昂尼德·列文（英语：Leonid...

在计算机科学中，饥饿（starvation）是指在并发计算中，进程一直无法获得运行所需的必要资源而发生的问题。排程、互斥锁算法、资源泄漏等都可能导致饥饿，或者在被DoS攻击（如fork炸弹）时主动产生饥饿。 在并发计算中，如果饥饿不可能发生，这个算法就被称为是“starvation-free”（无饥...

计算。第一台数字电子计算机出现于第二次世界大战期间。自那时以来，电脑的速度，功耗和多功能性則不断增加。在现代，机械计算机的应用已经完全被电子计算机所取代。 计算机在组成上形式不一。依然有大量体积庞大的巨型计算机为特别的科学计算...

「正确性」通常指作为一个整体的政府被民众所认可的程度。 正确性也可以指： 正确性 (计算机科学)，一个算法在程序规范下被认定为正确的判定...

计算机。 20世纪70年代开始，微处理器技术被吸纳进计算器製程，最初的微处理器是Intel于1971年为日本名为Busicom（ビジコン）的计算器公司生产的，1972年惠普推出第一款掌上科学计算器HP-35。 夏普在此領域是电子计算器制造商中的佼佼者，他们最先在计算...

性输出。如果量子计算机以特定方式操控量子比特，就可以利用波的干涉效应来放大期望的测量结果。量子算法的设计正是围绕如何构造这样的操作流程，使得量子计算机能够高效、快速地完成计算任务。 马约拉纳费米子就是它自己的反粒子，这一属性或許就是制造和實現量子计算机的关键。但量子计算机...

out，缩写：GIGO），或译为废料进，废品出，是计算机科学与信息通信技术领域的一句习语，说明了如果将错误的、无意义的数据输入计算机系统，计算机自然也一定会输出错误、无意义的结果。同样的原则在计算机外的其他领域也有体现。 本习语产生于计算机的早期时代，1957年11月10日，一篇报纸文章介绍了美国陆军的数学家所做的计算机...

计算机视觉（Computer vision）是一门研究如何使机器“看”的科学，更进一步的说，就是指用摄影机和计算机代替人眼对目标进行识别、跟踪和测量等机器视觉，并进一步做图像处理，用计算机处理成为更适合人眼观察或传送给仪器检测的图像。 作为一門科学学科，计算机...

计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。 相反，启发式是一种解决问题的方法，可能没有完全指定，也可能不能保证正确...

子类型（也叫做子类型多态或包含多态）：一个名字指称很多不同的类的实例，这些类有某个共同的超类。 在1967年，英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念（英语：Fundamental Concepts in Programming...

兰波特最著名的是他在分布式系统方面的开创性工作，以及文档准备系统LaTeX的最初开发者。他获得了2013年图灵奖，因为他在分布式计算系统的看似混乱的行为上实现了清晰、定义明确的一致性。在分布式计算系统中，几台自主计算机通过传递消息相互通信。他的贡献提高了计算机系统的正确性、性能和可靠性。...

计算机断层扫描（computed tomography scan，CT scan）或计算机体层成像（CT），简称CT扫描，是一種影像診斷學的技术或检查；广义上，是指利用精确准直的成像媒介（如X射线、γ射线、超声波等）与高灵敏度的探测器，围绕人体或物体的某一部位采集数据，并根据需要重建出断面影像的一种成像方法。...

正确性。每个章节均有例题，适合学习者深入理解。第一版刊行于1990年，2009年最新版为第三版。在许多国家常常以作者姓名首个英文字母被称为CLRS（第一版则简称为CLR）。 计算机科学主题 计算机程序设计主题 计算理论 可计算性理论 計算複雜性理論 计算机程序设计艺术 Introduction...

科學定为在理论科学、实验科学和计算科学之后的第四科学科学。 数据科学家是把统计学知识和计算机程式设计知识相结合，并将其用于深度分析数据来获得数据见解的职业。 1960年代，彼得·諾爾就首次提議要用「數據科學（data science、Datalogy）」來替代「計算機科學（computer...

在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。 软件测试无法证明系统不存在缺陷，也不能证明它符合一定的属性。只有形式化验证过程可以证明一个系统不存在某个缺陷或符合某个或某些属性。系统无法被证明或测试为无缺陷...

计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。 程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。 程序分析主要研究两大领域：程序的优化和程序的正确性...

防止不需要的行为发生而非使得某些行为发生，其策略和方法常常与其他大多数的计算机技术不同。 计算机安全技术的基础是逻辑学。安全性并非是大部分的计算机应用的主要目的，而在设计时就考虑程序的安全性常常会对程序的运行有所限制。 在计算机应用上有四种安全设定，通常会结合使用： 信任所有软件都遵守安全策略，但软件本身不可信。...

蒙特卡罗方法（英語：Monte Carlo method），也称统计模拟方法，是1940年代中期由于科学技术的发展和电子计算机的发明，而提出的一种以概率统计理论为指导的数值计算方法。是指使用随机数（或更常见的伪随机数）来解决很多计算问题的方法。 20世纪40年代，在科學家冯·诺伊曼、斯塔尼斯拉夫·烏拉姆和尼古拉斯·...

科学共同体（英语：Scientific community，香港多作科学界，台湾多作科学社群），包括了所有的科学家以及他们之间的互动和合作。一般会按不同工作的领域分成子社群，如在计算机科学之下的机器人学界，但不同的子社群之间也有着密切的交流。科學家通过科学方法希望其达到客观性...

霍爾邏輯（英語：Hoare Logic），又稱弗洛伊德-霍爾邏輯（Floyd–Hoare logic），是英国计算机科学家東尼·霍爾开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则。 這個想法起源於罗伯特·弗洛伊德於較早的研究，他为流程图提供了类似的系统。東尼·...

在计算机科学中，不变条件是指，在程序执行过程或部分过程中，可始终被假定成立的条件。比如，循环不变条件是指在循环开始和结束后始终成立的条件。 不变条件在逻辑推理计算机程序正确性时，特别有用。优化编译器理论、契约式设计设计方法论及形式方法，都十分依赖于计算机程序的不变条件。...

在计算机科学中，循环不变式（loop invariant，或循环不变量、循环不变条件，也有译作循环不变性），是一组在循环体内、每次迭代均保持为真的性质（表达式），通常被用来证明程式或伪码的正确性（有时但较少情况下用以证明算法的正确性）。简单说来，“循环不变式”是指在循环开始和循环中，每一次迭代时为...

规约语言（英語：Specification language），或称規範語言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言...

在计算机科学和数理逻辑中，证明助手​（英語：Proof assistant，亦称​​交互式定理证明器​​）是一类基于形式化逻辑的计算机软件工具，旨在辅助用户开发形式化证明（以数学上严格的方式构造、验证和管理证明过程）。其核心功能是通过将命题转化为可计算的逻辑框架（如类型论或高阶逻辑），自动化检查每...

计算技术研究所助理研究员、副研究员。1979年至1982年，唐稚松前往美国斯坦福大学等著名研究机构作学术访问。1980年，升任中国科学院计算技术研究所研究员，并成为中科院计算技术研究所第一位计算机科学博士学位导师，指导了中国第一位计算机...

正确。在化学中，有许多酸碱理论对酸性和碱性化合物的基本性质，提供了完全不同的解释，但它们对于预测化学行为非常有用。像所有的科学知识一样，没有理论能具有完全的确定性，因为未来的实验有可能与理论的预测相冲突。然而，科学界一致支持的理论，在科学知识中具有最高级别的确定性...

人工智能（AI）是指计算系统具备执行通常与人类智能相当的任务的能力，例如学习、推理、解决问题、感知和决策。它是计算机科学及计算机软件科学领域中一个研究方向，致力于开发和研究使机器能够感知其环境并利用学习和智能来采取行动以实现预定目标的方法和软件。人工智能借助模拟人类认知功能（如学习、推理、决策）得以...

Haenlein）将人工智能定义为“系统正确解释外部数据，从这些数据中学习，并利用这些知识通过灵活适应实现特定目标和任务的能力”。人工智能可以定義為模仿人類與人類思維相關的認知功能的機器或計算機，如學習和解決問題。人工智能是計算機科學的一個分支，它感知其環境並採取行動，最大限度地提高其...

Society）相繼於美國加州成立。认知科学的基本要义是：理解思维的最好途径，是认识脑中的代表性结构，以及这些结构中发生的计算性过程。 认知科学是一种包括语言学、人类学、心理学、神经科学、哲学和人工智能等跨学科的新兴科学，其研究对象为人类、动物和人工智能机制的理解和认知，亦即能够获取、储存、传播知识的信息处理的复杂体系。认知科学...

机理，但他们往往不确定剩下的可能机理是否正确，因为可能存在许多其他机理，他们没有测试过，甚至没有想过。哲学家们也试图阐明并不指向具体物理实体的化学概念的意义，譬如化学键。 主條目：生物哲学 生物学哲学探讨生物学和医学科学中的认识论、形而上学和伦理学问题。虽然长期以来一般的科学...