高低端

✍ dations ◷ 2025-05-19 21:41:36 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 病原体病原体(希腊语:πάθος pathos “痛苦”、“热情” 与 -γενής -genēs “生产者”),在生物学中,从最古老和最广泛的意义上说,就是任何可以产生疾病的事物。病原体也可以称
  • 真核延伸因子1真核延伸因子1(英文:eukaryotic elongation factor-1,简称“EEF-1”)是参与真核翻译的真核延伸因子之一。EEF-1的化学本质是蛋白质,其α亚基对应原核延伸因子中的EF-Tu,而β和γ亚
  • 细胞因子受体细胞因子受体(英语:Cytokine receptor)是指能与细胞因子相结合的受体。近年来,和细胞因子相比,细胞因子受体获得了更多的关注,部分原因是其引人注目的特性,还有部分原因是细胞因子
  • 马萨诸塞州大学州立大学系统 公立大学马萨诸塞大学系统(University of Massachusetts), 简称麻省大学或麻州大学系统, 是由美国马萨诸塞州五所公立大学所组成的高等教育
  • 卡西米尔·皮埃尔·佩里埃卡西米尔·皮埃尔·佩里埃(法语:Casimir Pierre Périer)(1777年– 1832年) ,法国政治人物,七月王朝时期曾担任部长会议主席(首相),任职时间为1831年3月13日至1832年5月16日。
  • 联合国旗联合国会旗,亦称联合国旗,启用于1946年12月7日,以蓝色为底,中央的白色标志同时为联合国标志。标志主题为采用方位等距投影(英语:Azimuthal equidistant projection)绘制、从北极下
  • 通利妥多库酯(Docusate)也称通利妥,通常药用为其钠盐形式称“多库酯钠”,是适用于便秘治疗的泻药,若儿童有硬便时服用它是一个很好的选择。若是使用类鸦片药物(英语:opiate)的便秘,可以配合
  • 巴鲁仁巴鲁仁(英语:baru seed),也被称为巴鲁坚果(baru nut),或巴鲁杏仁(baru almond), 在分类学上被归类为Dipteryx alata Vogel,是一种未经驯化的原始豆科作物。 它是一种野生物种,广泛分布
  • 第一米涅尔瓦军团第一米涅尔瓦军团(英语:Legio I Minervia)古罗马军队建制名称。由图密善为进行日耳曼部落战争而于公元82年建立,约存在于公元4世纪前后。活动于古罗马所统治的下日耳曼尼亚并发
  • 黄力群黄力群(1957年4月20日-),祖籍上海,生于北京,原全国人大常委会信访局副局长,毕业于北京大学法学硕士专业,曾任职于北京市第二中级人民法院、全国人大内务司法委员会、人大法工委、全