高低端

✍ dations ◷ 2025-08-24 01:53:04 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 吴养洁吴养洁(1928年1月1日-),中国有机化学家。生于山东济南。1951年毕业于复旦大学化学系。1958年在莫斯科大学获苏联化学科学副博士学位。郑州大学化学系教授、河南高等学校应用化学
  • 小笠原群岛该世界遗产被认为满足世界遗产登录基准中的以下基准而予以登录:小笠原群岛(日语:小笠原諸島),又名波宁群岛(英语:Bonin Islands),是日本在西太平洋的一个群岛,位于东京以南1,000多公里
  • 阔口罐病毒科西伯利亚阔口罐病毒 Pithovirus sibericum阔口罐病毒属(学名:Pithovirus)是感染变形虫的巨型病毒,包含一个物种——西伯利亚阔口罐病毒(学名:Pithovirus sibericum),是目前已知最大
  • 达拉斯-沃斯堡国际机场达拉斯/沃思堡国际机场(英语:Dallas/Fort Worth International Airport,IATA代码:DFW;ICAO代码:KDFW;FAA代码:DFW),是一座位于美国德克萨斯州达拉斯/沃思堡的民用机场,是德克萨斯州最大
  • 小普雷斯帕湖坐标:40°46′N 21°06′E / 40.767°N 21.100°E / 40.767; 21.100小普雷斯帕湖(希腊语:Λίμνη Μικρή Πρέσπα,阿尔巴尼亚语:Prespa e Vogël)是欧洲南部的湖泊,位
  • 萨姆纳·威尔斯本杰明·萨姆纳·威尔斯(英语:Benjamin Sumner Welles;1892年10月14日-1961年9月24日),美国外交官。1914年,哈佛大学毕业,历任国务院拉美司司长、驻古巴大使等职。1933年,任助理国务
  • 芝诺比阿芝诺比阿或译洁诺比亚(英语:Zenobia),(240年-?)。帕尔米拉王国国王奥德那特之妻与继承人之一。丈夫死后,她成为王太后并垂帘听政。她之后更取代儿子成为皇帝。她执政期间否定了亲罗马
  • Crystal SpaceCrystal Space是3D构架,用C++语言编写。开发者包括Jorrit Tyberghein。首个公开版本发布于1997年8月26日通常用于电子游戏目的。是使用GNU Lesser General Public License协
  • 地震矩地震矩 M 0 {\displaystyle M_{0}} 是地震学家用来表示地震所释放出之能量的数量,
  • 露丝·巴比露丝·巴比(Ruth Gbagbi,1994年2月7日-)是一名科特迪瓦跆拳道运动员,主攻女子62公斤级项目。她曾经获得2015年非洲运动会女子62公斤级冠军以及2016年夏季奥林匹克运动会女子67公