产品提交
文章投稿
登录/注册
显示直达
术语
术语
类型
系统
概念
游戏
理论
逻辑
微积分
路易斯
视频
三维打印
简介三维打印或增材制造是根据CAD模型或数字三维模型构建一个三维物体。它可以在各种工艺中进行，材料在计算机控制下沉积、连接或凝固，材料被添加到一起（如...
色环
色环简介色轮或色环是围绕一个圆圈的抽象的说明性组织，显示原色、次色、三色等之间的关系。有些资料可能会交替使用色轮和色环这两个术语；但是，如上所述，...
描述逻辑
描述逻辑描述逻辑（DL）是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强，但比一阶逻辑的表达能力弱。与后者相比，DL的核心推理问题（通常）...
消融（人工智能）
消融（人工智能）在人工智能（AI），特别是机器学习（ML）中，消融是指去除人工智能系统的一个组件。消融研究通过移除某些组件来调查一个人工智能系统的性能...
本体匹配
本体匹配(了解如何以及何时删除此模板信息)本体对齐，或本体匹配，是确定本体中概念之间对应关系的过程。一组对应关系也被称为对齐。在计算机科学、认知科学...
变化（游戏树）
变化（游戏树）变化可以指回合制游戏中特定的连续行动序列，通常用于指定正在进行的游戏的假设性未来状态。虽然这个术语最常用于国际象棋的分析，但它也被应...
刚性指定者
刚性指定者在模态逻辑和语言哲学中，当一个术语在该事物存在的所有可能世界中指定（挑出、表示、指代）同一事物时，该术语被称为刚性指定者或xxx实质性术语。...
术语索引
术语索引在计算机科学中，术语索引是一种数据结构，用于促进逻辑程序、演绎数据库或自动定理检验器中的术语和条款的快速查找。术语索引的概述自动定理证明器...
简单类型的lambda微积分
简单类型的lambda微积分简单类型的lambda微积分({displaystyle/lambda{to}}，是类型理论的一种形式。)，是类型理论的一种形式，是λ微积分的类型化解释，只有...
主类型
什么是主类型在类型理论中，如果给定一个术语和一个环境，这个术语在这个环境中存在一个主类型，也就是一个类型，使得这个术语在这个环境中的所有其他类型都...
直觉类型理论
直觉类型理论直觉类型理论（又称构造类型理论，或马丁-勒夫类型理论）是一种类型理论，也是数学的另一种基础。所有的版本都保留了构造逻辑的核心设计，即使用...
构造微积分
简介在数理逻辑和计算机科学中，构造微积分（CoC）是ThierryCoquand创建的一种类型理论。它既可以作为一种类型化的编程语言，也可以作为数学的构造基础。基于...
底层类型
简介在类型理论（数理逻辑中的一种理论）中，类型系统的底层类型是所有其他类型的子类型。在存在这种类型的情况下，它通常用上粘（⊥）符号表示。当底层类型为...
类型理论
简介在数学、逻辑学和计算机科学中，类型理论是对特定类型系统的正式表述，一般来说，类型理论是对类型系统的学术研究。一些类型理论作为集合理论的替代品，...
计算逻辑
计算逻辑计算逻辑是使用逻辑来执行或推理计算的。它与计算机科学和工程的关系类似于数理逻辑与数学的关系以及哲学逻辑与哲学的关系。它是计算机科学中逻辑的...
图论的术语
什么是图论的术语在自由词典Wiktionary中查找附录：图论的术语。这是一份图论的词汇表。图论是对图的研究，即通过线或边成对连接的节点或顶点系统。质数符号'...
重写
什么是重写在数学、计算机科学和逻辑学中，重写涵盖了用其他术语替换公式中的子项的广泛方法。这些方法可以通过重写系统（也被称为重写系统、重写引擎或还原...
算法管理
算法管理算法管理是一个用来描述当代数字经济中某些劳动管理实践的术语。算法管理的概念可以被广泛地定义为将管理职能委托给算法和自动化系统。算法管理因最...
杂原子
一个杂原子在化学中，杂原子（来自希腊杂原子“不同”和“未切割”原子）严格来说是任何不是碳或氢的原子。有机化学在实践中，该术语通常更具体地用于表示非碳原...
残留拓扑
残留拓扑残留拓扑是一个描述性的立体化学术语，用于对许多相互缠绕和互锁的分子进行分类，如果不破坏共价键，这些分子在实验中就无法解开，而数学拓扑的严格...
造型艺术
造型艺术造型艺术是一种艺术形式，涉及通过造型或造型对塑料介质进行物理操作，例如雕塑或陶瓷。与文学和音乐相反，该术语可以广泛用于所有视觉艺术（如绘画...
电子游戏
什么是电子游戏电子游戏，涉及交互与用户界面或输入设备-诸如操纵杆、控制器、键盘或运动感测装置-来产生视觉反馈。这种反馈显示在视频显示设备上，例如电视...
薯蓣皂苷元
什么是薯蓣皂苷元薯蓣皂苷元，是通过酸、强碱或酶水解的产物皂苷，从所提取的块茎的薯蓣野生山药，如KOKORO。这种水解的无糖（苷元）产物薯蓣皂苷元用于可的...
无脊椎动物
无脊椎动物无脊椎动物是既不拥有也不发育脊柱（通常称为脊椎或脊椎）的动物，源自脊索。这包括除脊椎动物亚门之外的所有动物。无脊椎动物的熟悉的例子包括节...
两轮驱动
两轮驱动两轮驱动(2WD)表示具有传动系统的车辆，该传动系统允许驱动两个车轮，并同时从发动机接收动力和扭矩。四轮车对于四轮车辆（并且通过扩展，车辆具有六...
肌肉车
肌肉车肌肉车是一款高性能车的一个术语，由一些定义的中间型车配备了大排量的V8发动机。从历史上看，它们都是后轮驱动，但随着技术进步而改变。尽管这个词在1...
安全自行车
安全自行车安全自行车，是一种类型的自行车，成为非常流行开始于19世纪80年代后期作为替代一分钱法尼脚踏车，现在自行车的最常见的类型。这种类型的早期自行...
接触电阻
接触电阻接触电阻是指对系统总电阻的贡献，与固有电阻相反，该总电阻可归因于电线和连接的接触界面。这种效应用术语电接触电阻（ECR）来描述，并且是由于界面...
远程医疗
什么是远程医疗远程医疗是通过电子信息和电信技术分发与健康相关的服务和信息。它允许患者和临床医生进行长途联系、护理、建议、提醒、教育、干预、监测和远...
传播设计
什么是传播设计传播设计是设计与信息开发之间的混合学科，它关注诸如印刷、制作、电子媒体或演示文稿之类的媒体干预如何与人们进行交流。传播设计方法不仅涉...
1
2
3
添加小工具
点此为“分类归档侧边栏”添加小工具
三维打印
色环
描述逻辑
消融（人工智能）
本体匹配
变化（游戏树）
刚性指定者
术语索引
简单类型的lambda微积分
主类型
直觉类型理论
构造微积分
底层类型
类型理论
计算逻辑
图论的术语
重写
算法管理
杂原子
残留拓扑
造型艺术
电子游戏
薯蓣皂苷元
无脊椎动物
两轮驱动
肌肉车
安全自行车
接触电阻
远程医疗
传播设计