首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
类型
維基媒體消歧義頁
语言
监视
编辑
(重定向自
類型
)
查看
维基词典
中的词条「
type
」。
类型
(英語:
type
)可能指:
数学
型 (模型論)
,是模型論中一階邏輯中的一個相容的公式集合。
类型论
(英語:
Type theory
),类型系统研究的基础。
直觉类型论
(英語:
Intuitionistic type theory
),是基於數學構造主義的函數式程式語言、邏輯和集合論。
计算机科学
数据类型
(英語:
Data type
),用于计算的值的集合容器
类型系统
(英語:
Type system
),编程语言中由为值分配类型的规则组成的逻辑系统
其他
藝術類型
(英語:
Genre
),指藝術創作上區分並統述多項特質相同的作品的方法。
型(形而上学)
(
英语
:
Type (metaphysics)
)
理想型
(德語:
Idealtypus
),指藉由篩選出某個現象的某些基本或核心特徵,則其他的特徵都將被摒棄或忽視。
犬型
(
英语
:
Dog type
)
,是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。
生物型
(
英语
:
Type (biology)
)
,是生物體的特定標本,該生物體的學名正式與之相關聯。
相关条目
编辑
类型学
(Typology),对类型的研究
种类
(
英语
:
Kind
)
范畴
体裁
这是一个
消歧义
页,羅列了有相同或相近的标题,但內容不同的条目。
如果您是通过某條目的
内部链接
而转到本页,希望您能協助修正该處的内部链接,將它指向正确的条目。