请输入您要查询的汉字、词语:

 

词条 符號邏輯
释义

條目符號邏輯

拼音fú hào luó jí

注音ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ

符號邏輯 網路解釋

符號邏輯

  • 符號邏輯又稱數理邏輯、理論邏輯。它是數學的一個分支,是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。 所謂數學方法就是指數學採用的一般方法,包括使用符號和公式,已有的數學成果和方法,特別是使用形式的公理方法。 用數學的方法研究邏輯的系統思想一般追溯到萊布尼茨,他認爲經典的傳統邏輯必須改造和發展,是之更爲精確和便於演算。後人基本是沿着萊布尼茨的思想進行工作的。 簡而言之,數理邏輯就是精確化、數學化的形式邏輯。它是現代計算機技術的基礎。新的時代將是數學大發展的時代,而數理邏輯在其中將會起到很關鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學科,最早由古希臘學者亞里士多德創建的。用數學的方法研究關於推理、證明等問題的學科就叫做數理邏輯。也叫做符號邏輯。
  • 随便看

     

    超级辞典收录超过八万个汉字,二十万个词语,基本涵盖了全部常用汉语的释义及用法,是汉语学习的有利工具。

     

    Copyright © 2004-2023 Sdict.net All Rights Reserved
    京ICP备2021023879号 更新时间:2025/3/3 18:33:54