请输入您要查询的字词:
单词
范畴语义学
释义
范畴语义学
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
随便看
模的标量
模的根
模的根基
模的深度
模的生成元
模的生成元集
模的直和
模的直积
模的秩
模的积
模的积群
模的稳定同构
模的重数
模的零化子
模的零因子
模直和
模矩阵
模空间
模空间栈
模空间理论
模竞争
模符号
模筑衬砌
模算子
模算术
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/12/2 19:46:19