高低端

✍ dations ◷ 2025-10-22 23:50:59 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

高端、低端(英语:High and low level)是在逻辑学及计算机科学相关领域中,与“推论的一种技术:抽象化”有关的概念。由于不同的人类在思考时,偏好“将特定命题抽象化或具体化成自己容易思考的程度”。“高端、低端”就是指称“命题抽象化的程度”。命题越抽象,就越高端。越具体而不抽象,就越低端。

“高端、低端”在权能的概念里,指称的是权能的大小及多寡。

相关

  • 微小核糖核酸病毒Enterovirus Rhinovirus Hepatovirus Cardiovirus Apthovirus Parechovirus Erbovirus Kobuvirus Teschovirus微小核糖核酸病毒科(picornaviridae)是没有套膜、正股RNA、正20
  • 肠可以是:
  • 雌性化雌性化 (Feminization) 生物体之所以会发生雌性化的原因,是因为生物体遭受环境贺尔蒙进入身体产生作用而产生的基因伤害。许多人为制品在经过焚化炉焚烧之后就会产生环境贺
  • 亚历山德罗夫坐标:56°21′N 38°49′E / 56.350°N 38.817°E / 56.350; 38.817亚历山德罗夫 (俄语:Алекса́ндров)是俄罗斯弗拉基米尔州的一个城市,位于莫斯科东北120公里处。20
  • 捻翅目捻翅目(Strepsiptera),亦作撚翅目或
  • 舌体水分含量测量仪舌体水分含量测量仪或舌津液测定仪是一种医学上用于测量舌体的水分含量的医疗器械。主要用于中医临床舌诊的定量分析。舌体水分含量测量仪的制造方法主要有:
  • National Geographic(2013年12月)《国家地理》(英语:National Geographic),原名《国家地理杂志》(National Geographic Magazine),是美国国家地理学会的官方杂志,在国家地理学会1888年成立后的9个月开始
  • 锎的同位素锎的同位素备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 勒内·卡米尔莱昂·弗朗索瓦·勒内·卡米尔(法语:Léon François René Carmille,1886年1月8日-1945年1月25日)是一名20世纪初的穿孔纸带计算机专家与法国陆军审计员(英语:comptroller)负责人。
  • 彼得·尼洛维奇·杰米契夫彼得·尼洛维奇·杰米契夫(俄语:Пётр Нилович Демичев;1918年1月3日,儒略历1917年12月21日-2010年8月10日)是苏联-俄罗斯政治人物;1986年至1988年任苏联最高苏维