类型

类型英語:)可能指:

数学
  • 型 (模型論),是模型論中一階邏輯中的一個相容的公式集合。
  • 类型论英語:),类型系统研究的基础。
  • 直觉类型论英語:),是基於數學構造主義的函數式程式語言、邏輯和集合論。
计算机科学
  • 数据类型英語:),用于计算的值的集合容器
  • 类型系统英語:),编程语言中由为值分配类型的规则组成的逻辑系统
其他
  • 藝術類型英語:),指藝術創作上區分並統述多項特質相同的作品的方法。
  • 型(形而上学)
  • 理想型德語:),指藉由篩選出某個現象的某些基本或核心特徵,則其他的特徵都將被摒棄或忽視。
  • 犬型,是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。
  • 生物型,是生物體的特定標本,該生物體的學名正式與之相關聯。
维基词典中的词条「」。

相关条目

  • 类型学(Typology),对类型的研究
  • 种类
  • 范畴
  • 体裁
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.