跳转到内容

类型

本页使用了标题或全文手工转换
维基百科,自由的百科全书

类型(英语:type)可能指:

数学
  • 型 (模型论),是模型论中一阶逻辑中的一个兼容的公式集合。
  • 类型论(英语:Type theory),类型系统研究的基础。
  • 直觉类型论(英语:Intuitionistic type theory),是基于数学构造主义的函数编程语言、逻辑和集合论。
计算机科学
  • 数据类型(英语:Data type),用于计算的值的集合容器
  • 类型系统(英语:Type system),编程语言中由为值分配类型的规则组成的逻辑系统
其他
  • 艺术类型(英语:Genre),指艺术创作上区分并统述多项特质相同的作品的方法。
  • 型(形而上学)英语Type (metaphysics)
  • 理想型(德语:Idealtypus),指借由筛选出某个现象的某些基本或核心特征,则其他的特征都将被摒弃或忽视。
  • 犬型英语Dog type,是根据形式、功能或工作方式、血统或外观对家犬进行的广泛分类。
  • 生物型英语Type (biology),是生物体的特定标本,该生物体的学名正式与之相关系。

相关条目