算法效率
算法效率是计算机科学中衡量算法使用计算资源量的属性，主要通过时间复杂度和空间复杂度来评估。不同算法在资源使用上有权衡，如冒泡排序时间复杂度高但空间效率好，Timsort时间效率高但空间占用大。
🌐 计算机科学
来自维基百科的公开条目
中文房间
中文房间是美国哲学家约翰·瑟尔提出的思想实验，用以反驳强人工智能观点。实验描述不懂中文的人通过规则手册处理中文问题，使外界误以为其懂中文，论证计算机仅靠程序无法真正理解语言。该论证引发了广泛讨论，影响遍及多个学科领域，并在大语言模型时代重新成为焦点。
电子数值积分计算机
ENIAC是世界上第一台通用电子计算机，诞生于1946年美国宾夕法尼亚大学，由莫奇利和埃克特设计，用于美国陆军弹道研究。它具有可编程能力，计算速度比机电机器提高一千倍，造价约50万美元，服役至1955年。
慕尼黑工业大学
慕尼黑工业大学是德国顶尖研究型大学，前身为1868年建立的慕尼黑皇家拜仁工学院。TUM是德国精英大学，拥有19位诺贝尔奖得主，在多个世界大学排名中位列德国第一，与众多知名企业和高校有合作关系。
正确性 (计算机科学)
在理论计算机科学中，算法的正确性分为功能正确、部分正确和完全正确。文章详细解释了这些概念的区别，讨论了终止证明的重要性，介绍了霍尔逻辑和柯里-霍华德同构等理论，并对比了软件测试与形式验证在验证程序正确性方面的不同。
科学
科学是基于客观事实的系统性研究领域，强调可检验的假说与预测。现代科学分为形式科学、自然科学和社会科学三大分支，由科学研究推动，需要高度协作，并受科学政策影响。
电子计算机
电子计算机是利用模拟或数字电路自动执行算术或逻辑操作的电子设备，分为通用计算机和专用计算机。根据图灵机理论，所有计算机理论上能完成相同任务。计算机组成包括处理单元、存储器和外围设备，相关领域有计算机科学和信息技术。
计算机科学
计算机科学是研究信息与计算的理论基础及其在计算机系统中实现与应用的学科，包含多个分支领域，与数学关系密切，不仅关注计算机本身，更关注算法处理和系统研究。