漢典 | 古籍 | 詩詞 | 書法 | 通識
  • 查詢索引
  • ............................
    漢字拆分查詢
    汉字部件检索
    字典部首索引
    字典繁體部首
    字典拼音索引
    字典注音索引
    康熙部首索引
    說文部首索引
簡體
 
條目
導航
漢典 古籍 詩詞 書法 通識
  • 查詢索引
  • ............................
    漢字拆分查詢
    字典部首索引
    字典繁體部首
    字典拼音索引
    字典注音索引
    康熙部首索引
    說文部首索引
簡體

條目 符号逻辑

拼音 fú hào luó ji

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

符号逻辑 詞語解釋

解釋
數理邏輯。
-----------------
國語辭典
符號邏輯fú hào luó jíㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
  1. 一種邏輯。不限名詞和命題,將其關係用數學符號表達,而以數學運算的方式,據以推斷論證命題的結果,有執簡衘繁的功效。

© 漢典

符号逻辑 網路解釋

百度百科

符號邏輯

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

    【載入評論 】

    近同音
      1. 浮瓜沈李
      2. 伏惟
      3. 浮留
      4. 佛郁
      5. 芙蓉出水
      6. 浮财
      7. 水簸箕
      8. 迎风簸簸箕
      9. 斗箕
      10. 举动荆棘
      11. 衡撃
      12. 体己
    相關詞語
      1. 符敕
      2. 符厌
      3. 符竹
      4. 符娄
      5. 符棨
      6. 符檄
      7. 录符
      8. 赤伏符
      9. 省符
      10. 银兔符
      11. 催命符
      12. 铜兵符
      13. 辑辑
      14. 辑濯
      15. 辑着
      16. 辑集
      17. 辑褫
      18. 辑瑞
      19. 抚辑
      20. 逻辑
      21. 装辑
      22. 订辑
      23. 访辑
      24. 比辑
    • 粵ICP備10071303號
    • ZDIC Facebook
    • ZDIC Twitter
    • Qgroup:203589259
    • WX:zdicwx
    © 漢典