命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理,但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論,這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法,可以完全脫離人的經驗和技巧,機械地構造每一步推導,證明一個命題邏輯定理的成立。
資源簡介:命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理,但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論,這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法,可以完全脫離人的經驗和技巧,...
上傳時間: 2013-12-31
上傳用戶:wxhwjf
資源簡介:這個類可以用來生成一個HTML表單選擇投入的結果, MySQL數據庫的查詢。 它連接到一個特定MySQL數據庫和執行SQL查詢。 課堂生成的HTML的形式選擇投入使用返回值的查詢結果
上傳時間: 2013-12-13
上傳用戶:waizhang
資源簡介:分享一個外國人編寫的FDTD程序,可以用來計算微帶線和微帶貼片天線,程序中采用的是均勻網格劃分,但也可以在容易地在它基礎上改寫成非均勻網格.其邊界條件與Sheen的程序不同,這里采用二階技術.
上傳時間: 2016-05-18
上傳用戶:youke111
資源簡介:關于字符串的轉換,格式方面的轉換程序,可以用來在程序中的轉換
上傳時間: 2013-12-18
上傳用戶:yuzsu
資源簡介:S3C44B0的IIS音頻接口的測試程序 可以用來測試IIS接口
上傳時間: 2015-03-20
上傳用戶:dyctj
資源簡介:學習設計c#的很好的系統啊,可以用來做一般的網站
上傳時間: 2013-12-22
上傳用戶:maizezhen
資源簡介:File.toURL 方法是 Java(tm) 2 Platform 的新特性, 可以用來將 pathname 轉換為URL格式.
上傳時間: 2015-04-16
上傳用戶:開懷常笑
資源簡介:SST單片機的幾大獨特用法和優勢,例如:用戶程序空間可達72K,數據存儲可超64K,程序和數據的存儲空間互補利用,沒用到程序的存儲地方可以用來存儲數據.
上傳時間: 2015-04-22
上傳用戶:JIUSHICHEN
資源簡介:Linux下用來檢查和校驗光盤完整性的工具,也可以用來生成校驗碼
上傳時間: 2015-05-14
上傳用戶:鳳臨西北
資源簡介:PERL和XML的結合源,可以用來做不同語言之間的轉換工作
上傳時間: 2014-01-20
上傳用戶:wyc199288
資源簡介:數學形態學提供了一種以形態或集合論為基礎對圖像進行分析理解的工具。可以用來去除噪聲、抽取骨架、插補、分割、多分辨率分析、匹配等。 包括四個主要的算符:擴張(膨脹)○+,腐蝕○-,開○,閉●
上傳時間: 2014-02-05
上傳用戶:wpwpwlxwlx
資源簡介:一個在線銷售讀書的簡單網站 可以用來學習一下 功能不是很健全
上傳時間: 2013-12-27
上傳用戶:水口鴻勝電器
資源簡介:相當不錯的網絡編程學習的文檔! 可以用來學習和加深網絡編程基礎和原理!
上傳時間: 2013-11-28
上傳用戶:royzhangsz
資源簡介:ULA1一個天線陣的方向圖,可以用來估計信號的來波方向,face_direction_pic面陣的方向圖 music,MN-music,capon,ESPRINT為四種進測量來波方向的算法 該程序包主要用來測量信號來波的方向,可以應用在通信雷達方面
上傳時間: 2014-12-04
上傳用戶:yyq123456789
資源簡介:JAVA 實現的CCDDOS, 可以用來作測試用,不過不要作不道德的事啊.
上傳時間: 2016-01-23
上傳用戶:cc1
資源簡介:利用VB的圖片框實現屏幕的滾動如可以用來創建一些動畫圖形等。其實對于上面的問題我們也可 以利用圖片框來巧妙地解決。
上傳時間: 2014-01-06
上傳用戶:watch100
資源簡介:是一個加花工具,可以用來保護軟件,躲過殺毒軟件的查殺
上傳時間: 2013-12-18
上傳用戶:2467478207
資源簡介:beiyubbsTXT312 一個相對完整的PHP系統,可以用來參考或模擬
上傳時間: 2016-02-22
上傳用戶:bcjtao
資源簡介:刷票程序 用于刷網站上的票 你可以用來達到自己的目的 達到網站的第一名
上傳時間: 2014-01-27
上傳用戶:aa17807091
資源簡介:可以用來求復合半導體能帶隨著偏壓的變化情況,可以考慮到interface charges
上傳時間: 2016-06-17
上傳用戶:JIUSHICHEN
資源簡介:巨正則系綜蒙特卡羅算法的源程序;可以用來進行吸附等分子模擬;最大的好處在于可以插入或刪除原子
上傳時間: 2014-11-23
上傳用戶:ommshaggar
資源簡介:java與windows的com橋,可以用來操作所有的com程序如word或者excel等
上傳時間: 2014-01-18
上傳用戶:lijinchuan
資源簡介:無刷直流電機的SPWM程序,可以用來實現變頻的作用
上傳時間: 2014-01-09
上傳用戶:372825274
資源簡介:典型的實驗函數,可以用來測試算法的性能!
上傳時間: 2013-12-15
上傳用戶:himbly
資源簡介:統計模塊的 C++源程序 ,可以用來計算統計數據.
上傳時間: 2013-12-26
上傳用戶:小寶愛考拉
資源簡介:用jsp連接sql數據庫的實現代碼,可以用來替代hibernate實現數據庫連接
上傳時間: 2016-11-09
上傳用戶:zl5712176
資源簡介:一種可編程的全數字鎖相環的絲線,可以用來做一個小的課程設計
上傳時間: 2014-02-11
上傳用戶:xwd2010
資源簡介:這是一個用于立體匹配的程序。 可以用來進行立體匹配!
上傳時間: 2017-02-14
上傳用戶:hongmo
資源簡介:partition算法 一種較aprior的改進版 可以用來進行新手的測試
上傳時間: 2014-01-10
上傳用戶:xsnjzljj
資源簡介:基與51和PC機的串口測試程序 可以用來測試51和PC 串口通信的情況 也可以測試通信的質量好壞
上傳時間: 2017-04-24
上傳用戶:黃華強