高低級

高階、低級(英語:High and low level)是在邏輯學及計算機科學相關領域中,與推論有關的一種技術,是抽象化有關的概念。

基本介紹

  • 中文名:高低級
  • 外文名:High and low level
  • 特點:抽象化
  • 領域:計算機
簡介,套用,抽象化,推論,邏輯學,

簡介

由於不同的人類在思考時,偏好“將特定命題抽象化或具體化成自己容易思考的程度”。“高階、低級”就是指稱“命題抽象化的程度”。命題越抽象,就越高階。越具體而不抽象,就越低級。
“高階、低級”在權能的概念里,指稱的是權能的大小及多寡。

套用

  • 在計算機科學中,軟體通常分為兩種類型:高級終端用戶套用軟體(如文字處理器,資料庫,視頻遊戲等)和低級系統軟體(如作業系統,硬體驅動程式等等。)。因此,高級應用程式通常依賴於低級應用程式來運行。在編程方面,高級程式語言是具有相對高級抽象的語言,並且以結構化方式操縱概念功能。一個低級語言是一個像彙編語言,包含基本的微處理器命令
  • 在形式方法中,高級形式規範可以與低級可執行實現相關(例如,通過使用形式驗證技術的數學證明正式)。
  • 社會學和社會人類學中,高級描述將是經濟政治結構等術語,低級描述將是個體人的動機和工作。
  • 在神經科學中,低水平將涉及細胞(或細胞或分子的一部分)的功能,並且與神經系統的整體功能或活性有關。
  • 在文檔中,高層次的檔案包含了執行摘要中,低一級的檔案,技術規範。
  • 在企業中,企業戰略是一個高級別的描述,一個列表,誰做什麼工作是低級別的描述。

抽象化

抽象化(英語:Abstraction)是指以縮減一個概念或是一個現象的資訊含量來將其廣義化(Generalization)的過程,主要是為了只保存和一特定目的有關的資訊。例如,將一個皮製的足球抽象化成一個,只保留一般球的屬性行為等資訊。相似地,亦可以將快樂抽象化成一種情緒,以減少其在情緒中所含的資訊量。
抽象化主要是為了使複雜度降低,以得到論域中,較簡單的概念,好讓人們能夠控制其過程或以綜觀的角度來了解許多特定的事態。

推論

在數學上,推論(也稱為系理)指能夠“簡單明了地”從前述命題推出的論斷,推論往往在定理後出現。如果命題B能夠被簡單明了的從命題A推導出,則稱BA推論
推論定理命題等術語的使用區別往往是比較主觀的,因為“簡單明了”的定義本來就與作者及上下文相關。當然,推論一般被認為不如定理重要。

邏輯學

邏輯古希臘語:λογική;德語:Logik;法語:logique;英語:logic;義大利語、西班牙語、葡萄牙語: logica),又稱理則論理推理推論,是對有效推論哲學研究。邏輯被使用在大部分的智慧型活動中,但主要在哲學心理學習推論統計學腦科學數學語義學法律計算機科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論
邏輯通常可分為三個部分:歸納推理溯因推理演繹推理
哲學里,邏輯被套用在大多數的主要領域之中:形上學/宇宙論本體論知識論倫理學
數學里,邏輯是指形式邏輯和數理邏輯,形式邏輯是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。數理邏輯是研究抽象邏輯關係和數學基本的問題。
心理腦科學語義學法律里,是研究人類思想推理的處理。
學習推論統計學里,是研究最大可能的結論。主要是歸納推理溯因推理
計算機科學里, 是研究各種方法的性質,可能性,和實現在機器上。主要是歸納推理溯因推理,也有在歸納推理的研究。
從古文明開始(如古印度中國古希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位置。

相關詞條

熱門詞條

聯絡我們