类型
维基媒体消歧义页 / 维基百科,自由的 encyclopedia
类型(英语:type)可能指:
- 数学
- 型 (模型论),是模型论中一阶逻辑中的一个相容的公式集合。
- 类型论(英语:Type theory),类型系统研究的基础。
- 直觉类型论(英语:Intuitionistic type theory),是基于数学构造主义的函数式程式语言、逻辑和集合论。
- 计算机科学
- 其他
- 艺术类型(英语:Genre),指艺术创作上区分并统述多项特质相同的作品的方法。
- 型(形而上学)(英语:Type (metaphysics))
- 理想型(德语:Idealtypus),指借由筛选出某个现象的某些基本或核心特征,则其他的特征都将被摒弃或忽视。
- 犬型(英语:Dog type),是根据形式、功能或工作方式、血统或外观对家犬进行的广泛分类。
- 生物型(英语:Type (biology)),是生物体的特定标本,该生物体的学名正式与之相关联。
查看维基词典中的词条“type”。 |