基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
基本放大電路 基礎教學課件 放大電路中的負反饋 基礎課件部分3 集成運算放大器
標簽： 基本放大電路 分 教學課件 放大電路
上傳時間： 2013-12-24
上傳用戶：zjf3110
一本詳細講解運算放大器應用的書。是硬件電路得不錯的指導。
標簽： 運算放大器 硬件電路
上傳時間： 2015-03-12
上傳用戶：標點符號
GAL16V8反匯編源程序JED2ABEL.C 把jec匯編成abel文件
標簽： ABEL abel GAL 16V
上傳時間： 2013-11-29
上傳用戶：stewart·
用冪法與反冪法求矩陣的最大特征值及最小特征值
標簽： 特征 矩陣
上傳時間： 2015-03-17
上傳用戶：gaome
一個用于數學函數值計算的c函數,求任意數學函數f(x)和f(x,y)的值
標簽： 數學函數 c函數 計算
上傳時間： 2015-03-18
上傳用戶：zhangyigenius
Introduction to the Transport Device Interface-f
標簽： Introduction Interface-f Transport Device
上傳用戶：gundamwzc
超級增強斷點源代碼!配合trw2000和sice 使用!可以調試一些反調試的外殼和程序! 用vc編譯
標簽： 2000 sice trw 調試
上傳時間： 2014-01-02
上傳用戶：CHINA526
TI公司模擬電路專家撰寫的頂級運算放大器設計指南，可惜是英文的。不過還是值得推薦
標簽： TI公司 模擬電路 家 運算放大器
上傳時間： 2015-03-19
上傳用戶：er1219
常用的運算放大器需要的是正負電源，但是如果你的系統只能提供單一的電源的話，為了能夠使你的運放正常工作，推薦看看這個資料
標簽： 運算放大器 正負電源
上傳用戶：懶龍1988
蟲蟲下載站版權所有 京ICP備2021023401號-1
