你即將離開本站

並前往http://www.jsjkx.com/CN/article/openArticlePDF.jsp?id=12383

机器证明是人工智能的一个重要课题，即用计算机来证明定理

辑、三爱论、充分条件、同理可证．直觉思维的同限性 ... 申重要的研究课题，况且数学定理证明的重大进展 ... 浩在IBM 7040机器上证明了'数学原理'中350多个.

確定！ 回上一頁

查詢 「同 理 可證 數學」的人也找了：

  1. 數學證明題
    2.
  2. 數學證明寫法
    3.
  3. 同理可證英文
    4.
  4. 同理可證同義詞
    5.
  5. 離散數學證明
    6.
  6. 數學證明
    7.
  7. 數學歸納法證明
    8.
  8. 數學證明符號
    9.