高低端

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

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

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

相关

  • 黎塞留阿尔芒·让·迪·普莱西,第一代黎塞留公爵(也译李希留、利希留,法语:Armand Jean du Plessis, cardinal-duc de Richelieu et duc de Fronsac,法语发音:.mw-parser-output .IPA{fo
  • ʉ̞次闭央圆唇元音是一个用于一些口语中的元音。国际音标可以用数种方法表示这个音(见右表),但最常见的符号是:另外,符号⟨ᵿ⟩,即⟨ʊ⟩与⟨ʉ⟩的合体,是IPA的非官方扩展音标,并被许
  • 威斯特彻斯特县西切斯特县(英语:Westchester County),是美国纽约州东南部的一个县,东邻康涅狄格州,南面纽约市,西有哈德逊河流过,是纽约上州最南端的一个县,但亦属于纽约都会区内。面积1,295平方公
  • T-38A/B/C TalonT-38教练机是一架双座超音速双发喷射机,在美国空军作为喷射教练机(英语:Jet trainer)运用,机队经过多度改良,在美军中已服役50年。1952年,诺斯罗普进行新型喷射机研发计划,为诺斯罗
  • 新义州特别行政区新义州特别行政区(朝鲜语:신의주특별행정구/新義州特別行政區 Sinŭiju thŭkpyŏl haengjŏnggu */?)位于中华人民共和国和朝鲜民主主义人民共和国边境的鸭绿江畔,原是平安北
  • 艾丽·范宁玛丽·艾丽·范宁(Mary Elle Fanning,1998年4月9日-),美国女演员,是女演员达科塔·范宁的妹妹。知名作品有《遗失某地》、《超级8》和《沉睡魔咒》等。范宁的母亲乔伊为职业网球手
  • 大都柏林地区大都柏林地区 (英语:Greater Dublin Area,爱尔兰语:Mórcheantar Bhaile Átha Cliath)是指以爱尔兰首都都柏林为中心的都市区,包括都柏林及其附近的卫星都市。一般来说,大都柏林地
  • 硕讬硕讬(满语:ᡧ᠊ᠣᡨᠣ,穆麟德:,太清:;1600年-1643年),满洲爱新觉罗氏。清太祖努尔哈赤孙、礼烈亲王代善第二子。硕讬初授台吉之职。天命六年(1621年),跟从大军伐明,攻打奉集堡。天命十年(16
  • 里板口岸坐标:22°49′10″N 106°49′6″E / 22.81944°N 106.81833°E / 22.81944; 106.81833里板口岸(越南语:Cửa khẩu Lý Vạn),是越南高平省下琅县的一个边境口岸。与该口岸相接
  • 浪淘沙 (小说)《浪淘沙》(英语:A Cinematic Journey)为东方白小说。内容讲述台湾首位女医师丘雅信的坎坷人生,以她不凡的一生来透视整个台湾的变迁。整个故事从“台湾割日”至“国府流亡来台