高低端

✍ dations ◷ 2025-09-13 17:02:19 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 红十字会国际红十字与红新月运动(法语:Le Mouvement Croix-Rouge et Croissant-Rouge;英语:International Red Cross and Red Crescent Movement;德语:Internationle Rotkreuz- und Rothal
  • 约翰·克鲁伊夫亨德里克·约翰内斯·“约翰”·克鲁伊夫(荷兰语:Hendrik Johannes "Johan" Cruijff, (荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libe
  • 欧洲社会党欧洲社会党(英语:Party of European Socialists,缩写为PES)是一个欧洲政党,其成员是欧盟及周边国家的社会民主主义政党。它是欧洲议会内的一个政党团体,于1992年成立,接替欧洲共同
  • 罗切罗切,指日本古代的一种阉割。江户时代的僧侣为了谢绝情欲,而想到自宫的办法。有记载的首先进行罗切的是1662年时,33岁的和尚了翁道觉。之所以称之为罗切,是因为梵语中称男子生殖
  • J联赛13岁以下挑战杯J联赛13岁以下挑战杯(ジェイリーグ・アンダー・サーティーン),是日本职业足球联赛所主办以13歳以下选手(中学一年级生世代)为对象的官方大赛。
  • 清徐葡萄清徐葡萄,是中华人民共和国山西省太原市清徐县的特产葡萄,是中国葡萄产区之一、农产品地理标志产品。清徐葡萄主要产区为清徐县城西北一带的山区。种植品种超过50多个品种,最著
  • GNS理论GNS理论是一个由罗恩·爱德华兹(英语:Ron Edwards (game designer))开创的非正式研究领域,它的目的是找到各角色扮演游戏运作模式中的共通点。透过观察玩家的行为,GNS理论研究游
  • 马尼拉大帆船马尼拉大帆船(Galeón de Manila),因通常运载大量中国商品又有“中国船”(Nao de China)之称。自1565年至1815年期间,航行于菲律宾马尼拉与新西班牙总督区阿卡普尔科(今墨西哥阿卡
  • 清代朱卷集成清代朱卷集成,顾廷龙主编,1992年台北成文出版社出版,共420册。此书收录清代从康熙到光绪年间的乡试、会试、五贡等朱卷8235份。其中会试卷1635份,涉及的进士共近12000人,另有武会
  • 王都 (万历进士)王都(?-?),字邦畿,山东东昌府临清卫人,官籍,明朝政治人物。壬午乡试六十名,万历十四年(1586年)丙戌科会试二百九名,登三甲第一百三十九名。任直隶大名府推官。曾祖王英,曾任千户;祖父王仑,曾