高低端

✍ dations ◷ 2025-07-02 20:36:40 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 曼荷莲学院曼荷莲学院(英文:Mount Holyoke College)是美国一著名的女子文理学院。源于成立于1837年的曼荷莲女子神学院,1888年改为学院。该学院位于马萨诸塞州的小镇南哈德利。为美国七姐
  • 台湾空气质量指数中华民国空气污染指标(Pollutant Standards Index,PSI)是空气污染情况的一项指标,由中华民国行政院环境保护署于1993年扩充测站后推出,目标乃借由本测站系统监控全台湾所有的空气
  • 新斯科舍省坐标:45°13′N 62°42′W / 45.217°N 62.700°W / 45.217; -62.700 (Nova Scotia)新斯科舍省(英语:Nova Scotia;法语:Nouvelle-Écosse),简称诺省, 是加拿大东南岸的省份,面积55,28
  • 露易丝·弗莱彻露易丝·弗莱彻(英语:Louise Fletcher,1934年7月22日-),美国女演员,曾获得奥斯卡最佳女主角奖。
  • 人头虱头虱(学名: Pediculus humanus capitis)是虱的一种,寄生于人类的头发或颈部的毛发之中。在人类身体其他毛发上寄生的虱都不是头虱。头虱呈褐色或灰色,有头、胸、腹三部分,以及六只
  • 达顿协议《代顿协议》,又称《巴黎议定书》、《代顿·巴黎协议》等,是波斯尼亚战争中交战各方在1995年12月14日于巴黎所签订的协定,同意中止这场长达三年八个月的血腥内战,因1995年11月进
  • 群马县第1区群马县第1区是日本众议院的选区,设立于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 |
  • DCViewDCView数位视野网站是一个以数位影像为主的台湾网站,简称为DCView或数位视野,它是摄影、相机、影像生活等摄影相关议题的综合论坛,是华人摄影界最著名的摄影资讯网站之一。DCVi
  • 普鲁士起义普鲁士起义是在13世纪北方十字军入侵时期,波罗的部落之一的普鲁士人为反抗条顿骑士团统治,发起的两次较大的起义和三次较小的暴乱的总称。在诸位教皇和欧洲基督教地区的支持下
  • 人心果人心果,别称仁心果、赤铁果、在台湾又称吴凤柿、人参果、台语查某李仔、查某囡仔、英文称Sapodilla、马来文称Ciku、印尼文称Sawo、越南称Hồng xiêm、老挝称Lamood或Rarmoo