抽象-一流百科

刘泽（宇宙画派创始人）

刘泽简介刘泽，中国抽象水墨宇宙画派创始人。国家一级美术师，国家广电总局书画协会会员；民族文化艺术传播大使，中国全总职工书画院副院长。其作品被荷兰的...

词条百科

计算思维

计算思维计算思维 (CT) 是应用概念、方法、问题解决技术和逻辑推理的心智技能，源自计算和计算机科学，以解决所有领域的问题，包括我们的日常生活。在教育中...

词条百科

谓词抽象

谓词抽象在逻辑学中，谓词抽象是指从一个句子中创建一个谓词的结果。如果Q是任何公式，那么从该句子中形成的谓词抽象是(λy.Q)，其中λ是一个抽象算子，在(λy.Q...

词条百科

Warren抽象机

Warren抽象机一个内存结构和一个指令集。这个设计被称为Warren抽象机（WAM），并且已经成为Prolog编译器事实上的标准目标。Warren抽象机的目的将Prolog代码编...

词条百科

抽象数据类型

简介在计算机科学中，抽象数据类型（ADT）是一种数据类型的数学模型。一个抽象数据类型是由它的行为（语义）定义的，从用户的角度来看，数据，特别是在可能的...

词条百科

抽象类型

简介在编程语言中，抽象类型是指记名类型系统中不能直接实例化的类型；非抽象的类型--可以实例化的类型--被称为具体类型。抽象类型的每个实例都是某个具体子...

词条百科

形式化验证

形式化验证在硬件和软件系统的背景下，形式化验证是使用数学的形式化方法，证明或反驳系统所依据的预定算法在某种形式化规范或属性方面的正确性的行为。形式...

词条百科

抽象状态机

抽象状态机在计算机科学中，抽象状态机（ASM）是一种在任意数据结构（数理逻辑意义上的结构，即一个非空的集合以及该集合上的一些函数（操作）和关系）上运行...

词条百科

抽象语法树

抽象语法树在计算机科学中，抽象语法树（AST），或只是语法树，是用一种形式语言编写的文本（通常是源代码）的抽象语法结构的树状表示。树上的每个节点都表示...

词条百科

抽象语族

抽象语族在计算机科学中，特别是在形式语言理论领域，抽象语族是一个抽象的数学概念，概括了正规语言、无语境语言和可递归列举语言以及科学文献中研究的其他...

词条百科

物理抽象层

物理抽象层物理抽象层（PAL）是一种开源跨平台的物理仿真API的抽象体系。它类似于物理引擎包装器，但它提供扩展能力要灵活得多。PAL是免费软件，在BSD许可下...

词条百科