高低端

✍ dations ◷ 2025-11-12 10:26:39 #系统理论,复杂系统理论,控制论,计算机语言,形式方法

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

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

相关

  • 卡尔·洛夫卡尔·罗夫(英语:Karl Rove,1950年12月25日-)是美国共和党的一位政治顾问。他在乔治·W·布希担任总统期间曾担任高级顾问。2007年8月31日,他辞去了在白宫的所有职务。在此之后他
  • 龙凤龙凤(1397年)为中国明朝时期陕西起事者田九成的年号。
  • Belmont贝尔蒙特(英文:Belmont),是美国加利福尼亚州圣马特奥县下属的一个城市。于1926年10月29日建市。城市面积约为12.0平方公里,根据2010年美国人口普查,该市有人口25,835人。圣马刁县
  • 智利天主教大学智利天主教大学成立于1888年,大约有22000研究生和本科生和约2000教授。其学科和专业广泛,包括医学,工程,社会科学,自然科学,健康,经济,农业,哲学,神学,艺术和文学。智利天主教大学致力
  • 学生运动学生运动 ,简称学运,亦称学潮 ,是一种以学生为主要成员的社会运动。这种运动一般是自发的(也有可能是受新闻媒体、社论、社会意见、专栏作家、电台名嘴、意见领袖等所引导)、为集
  • 萨玛 (苏非主义)萨玛,是伊斯兰教苏菲派的仪式,信徒身穿象征性的服装,一面低念诵歌一面跳舞。目的旨在出神接近真主。在伊斯兰世界各地也有此仪式,以土耳其的梅夫拉维教团最有名。
  • 马克斯·伯格马克斯·伯格(Max Berg,1870年4月17日-1947年1月22日)生于斯特丁,是一名德国建筑师、城市规划师。他进入柏林夏洛特堡工业大学,师从Carl Schäfer(德语:Carl Schäfer)学习哥特式建筑
  • about URI方案在许多现代网页浏览器中,用户可以通过直接在地址栏输入以“about”单词开头的一系列代码(相当于访问一个特殊的地址),进入各种高级设置菜单,方便地实现对浏览器的内部重要信息进
  • 丁忱丁忱(1919年2月-2011年1月31日),字宝恂,江苏无锡人,中华人民共和国政治人物,上海工商学院首任院长,第四、五、六、七届全国政协委员。
  • 马雷克·卡明斯基马雷克·卡明斯基(波兰语:Marek Kamiński,1964年3月24日-),生于波兰格但斯克,极地探险家、作家、摄影家、企业家,世界上第一个也是唯一一个在一年之内不借助外力的帮助到达两极的