類型

維基媒體消歧義頁

類型(英語:type)可能指:

數學
  • 型 (模型論),是模型論中一階邏輯中的一個相容的公式集合。
  • 類型論(英語:Type theory),類型系統研究的基礎。
  • 直覺類型論(英語:Intuitionistic type theory),是基於數學構造主義的函數式程式語言、邏輯和集合論。
計算機科學
  • 數據類型(英語:Data type),用於計算的值的集合容器
  • 類型系統(英語:Type system),編程語言中由為值分配類型的規則組成的邏輯系統
其他
  • 藝術類型(英語:Genre),指藝術創作上區分並統述多項特質相同的作品的方法。
  • 型(形而上學)英語Type (metaphysics)
  • 理想型(德語:Idealtypus),指藉由篩選出某個現象的某些基本或核心特徵,則其他的特徵都將被摒棄或忽視。
  • 犬型英語Dog type,是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。
  • 生物型英語Type (biology),是生物體的特定標本,該生物體的學名正式與之相關聯。

相關條目

編輯