看板 [ Programming ]
討論串[問題] 可以做"數學自動證明"的程式語言?
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#4
Re: [問題] 可以做"數學自動證明"的程式語言?
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者Favonia (小西風最乖了*^^*)時間13年前 (2012/04/01 03:57), 編輯資訊
0
0
0
內容預覽:
我摸過 Twelf, Agda, Coq 等等所以應該能夠回答你的問題 xD. 一般來說全自動證明是不可能的，只能退而求其次，請你不時引. 導一下系統，然後確定沒問題後才讓你過關。也許有點出乎你意料之. 外，很多有趣的形式系統光是要寫出正確的檢查程式就非常非常難，. 如果用 C 這麼囉唆的語言寫可謂
(還有344個字)
#3
Re: [問題] 可以做"數學自動證明"的程式語言?
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者loteslogin (張三立)時間13年前 (2012/03/30 21:27), 編輯資訊
0
0
0
內容預覽:
感覺很多狀況是表達的問題。. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 84.19.165.214.
#2
Re: [問題] 可以做"數學自動證明"的程式語言?
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者yauhh (喲)時間13年前 (2012/03/27 22:07), 編輯資訊
0
0
0
內容預覽:
如果有自動證明工具,其中比較吸引人的特色可能是. 讀入一段證明,它可以指出證明中存在一些矛盾或謬誤.. 不過我用Prolog寫個證明,覺得證明這種東西是定義遊戲,. 首先根據你的定義,所以你可以講什麼故事; 然後在講故事過程中,. 才來討論證明句有沒有寫錯.. 而你自己寫的證明,如何證明自己所寫的證
(還有453個字)
#1
[問題] 可以做"數學自動證明"的程式語言?
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者allenlinli (allen)時間13年前 (2012/03/27 13:55), 編輯資訊
0
0
0
內容預覽:
請問哪種程式語言可以做到"數學的自動證明"嗎?. 像做到以下的事. 1. 6x>5x , if x>0. 2. 5x+6y=a+2b , given a=5x, b=3y. 3. if a>b, then a+c>b+c. 因為我要做一段數學證明，它的證明的邏輯(或說原則)都. 一樣，因此照理說應該
首頁
上一頁
1
下一頁
尾頁