请输入您要查询的百科知识:
词条
代数规约
释义
代数规约
信息科学卷
代数规约
基于代数理论的形成规约方法。由基调和公理集两部分组成。主要用于抽象数据类型的描述。用公理刻画程序的行为,抽象程度较高。其实现是指如何从给定的代数规约出发,得到能在计算机上执行的程序。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看
体重指数
体重秤
体重级别
体面
体验
体验世界
体验式学习模式
体验派
体验设计
体魄
体鸣乐器
佔
佔毕
何
何不
何中
何为科学真理
何乐士
何书田
何人
何人斯
何仙姑
何以
何休
何伯
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/7/10 20:48:08