高低端

✍ dations ◷ 2025-08-02 23:08:46 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 哈索尔哈索尔(Hathor),亦称哈托尔,全称哈索尔·迪特拉(Hathor Ditera),古埃及女神,她是爱神、美神、富裕之神、舞蹈之神、音乐之神。哈索尔关怀苍生,同情死者,同时也是母亲和儿童的保护神。
  • 和平县和平县位于中国广东省东北部,处在东江上游,属于河源市管辖。东边与广东省龙川县相邻,南边与广东省东源县相邻,西边与广东省连平县相邻,北边与江西省龙南县、定南县相连。和平县总
  • 澳门教科文中心澳门教科文中心(葡萄牙语:Centro UNESCO de Macau)是位于澳门新口岸新填海区宋玉生广场403至439号的一座建筑物;该建筑物于1998年6月29日由澳门总督韦奇立将军揭幕,中心作为澳门
  • 锘的同位素锘的同位素备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 电气电子工程师学会电气电子工程师学会(英语:Institute of Electrical and Electronics Engineers,简称为IEEE,英文读作“i triple e”.mw-parser-output .IPA{font-family:"Charis SIL","Doulos S
  • 李于阳李于阳(1784年-1826年),字占亭,号即园。其祖为大和县望族,即园二岁时,随父迁居民明。他善于诗,亦能词,诗名满昆华、苍洱之间,与民明藏纲孙、额淳、强磺、楚雄池春生并称为“昆华五子”
  • 鲍姑鲍姑,本名潜光(?年-?年),晋朝上党郡(今山西长治市)人,父亲为南海太守鲍靓,夫为医家葛洪。与西汉义姁、北宋张小娘子、明朝谈允贤同被称为中国古代四位女名医。晋代著名炼丹术家、精通
  • 长颌似鲹长颌似鲹,又称逆钩鲹,俗名为七星仔、棘葱仔、鬼平,为辐鳍鱼纲鲈形目鲈亚目鲹科的其中一个种。本鱼分布于印度太平洋区,包括东非、马达加斯加、马尔代夫、斯里兰卡、印度、安达曼
  • Gotcha (编程)Gotcha(发音),在计算机编程领域中是指在系统或程序、程序设计语言中,合法有效,但是会误解意思的构造,程式容易造成错误,或是一些易于使用但其结果不如期望的构造。字面上是got you
  • 安培林 (电影)《安培林》(英语:)是一部于1968年上映的美国短片,由斯蒂芬·斯皮尔伯格编剧、执导及剪辑,并由理查·莱文与帕米拉·麦克麦勒主演,剧情讲述一个爱情故事。《安培林》获得了一系列的