看板 [ C_and_CPP ]
討論串[問題] 請問有哪種程式語言能做到數學的自動證明
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [問題] 請問有哪種程式語言能做到數學的自動證明
推噓0(0推 0噓 11→)留言11則，0人參與, 最新作者iamstudent (stu)時間14年前 (2012/03/27 15:40), 編輯資訊
0
0
0
內容預覽:
以前在大學部的時候. 學過計算理論. 目前還隱約記得. 有許多問題本身就是non determinable. 而且大多問題. 都是不可能以程式解答的. 如果可以，則能導出矛盾. Halting problem：. 不可能寫出一個程式. 它能判斷任何程式是否永遠無法停止. 證明應該很容易找到. 基於這
(還有179個字)
#1
[問題] 請問有哪種程式語言能做到數學的自動證明
推噓5(5推 0噓 8→)留言13則，0人參與, 最新作者allenlinli (allen)時間14年前 (2012/03/27 13:57), 編輯資訊
0
0
0
內容預覽:
不好意思在這邊問這個問題不知道適不適當^^". 請問哪種程式語言可以做到"數學的自動證明"嗎? 或者是C,C++的特殊函式庫. 可以做到?. 像做到以下的事. 1. 6x>5x , if x>0. 2. 5x+6y=a+2b , given a=5x, b=3y. 3. if a>b, then a
(還有37個字)
首頁
上一頁
1
下一頁
尾頁