基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應用于聯(lián)合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
mega8 四路PWM輸出
標簽： mega8 PWM 輸出
上傳時間： 2014-01-07
上傳用戶：qq521
十五路遙控接收板
標簽： 遙控接收
上傳時間： 2013-12-28
上傳用戶：liansi
a/d公司8位微控制器aduc812（10路10位adc）應用筆記
標簽： aduc 812 adc 8位
上傳時間： 2015-03-11
上傳用戶：84425894
GAL16V8反匯編源程序JED2ABEL.C 把jec匯編成abel文件
標簽： ABEL abel GAL 16V
上傳時間： 2013-11-29
上傳用戶：stewart·
有許多是考研要用的！三路歸并算法，快速排序的非遞歸算法，無向連通圖的非遞歸的深度優(yōu)先遍歷等，，希望大家用得著
標簽： 算法
上傳時間： 2014-01-01
上傳用戶：wang5829
自制的串口控制8路光藕隔離輸出，可以通過計算機串口控制，8路輸出
標簽： 串口控制 8路 光藕 隔離
上傳時間： 2014-01-18
上傳用戶：冇尾飛鉈
四路MPEG1視頻采集卡，DDB文件 附原理圖 PCB圖紙
標簽： MPEG1 視頻采集卡
上傳時間： 2014-01-11
上傳用戶：tianyi223
用冪法與反冪法求矩陣的最大特征值及最小特征值
標簽： 特征 矩陣
上傳時間： 2015-03-17
上傳用戶：gaome
各種波特路的串口通信程序（還是MSP430 ）
標簽： MSP 430 串口通信 程序
上傳用戶：ynsnjs
蟲蟲下載站版權所有 京ICP備2021023401號-1
