一階謂詞邏輯，詳細講述一階謂詞邏輯，是現在語義網semanticweb的基礎
資源簡介：一階謂詞邏輯，詳細講述一階謂詞邏輯，是現在語義網semanticweb的基礎
上傳時間： 2014-01-05
上傳用戶：sunjet
資源簡介：本課程為本專業(獨立本科段)的一門專業基礎課。課程內容為：命題邏輯和一階謂詞邏輯的基本概念和基本演算；集合的概念和運算、二元關系和函數；代數運算和代數系統的基本性質、半群和群、隊和域、格和布爾代數；圖的基本概念、樹、歐拉圖和哈密頓圖、平面圖、...
上傳時間： 2017-05-21
上傳用戶：lhw888
資源簡介：離散數學中---------一階謂詞演算源代碼
上傳時間： 2015-12-17
上傳用戶：古谷仁美
資源簡介：國家SQL標準委員會ISO/IEC JTC1 SC32 WG3負責人Keith W.Hare作序推薦。 使用SQL進行數據操作的快速上手指南。 如果你使用如下的數據庫系統：Access，MS SQL Serve，Oracle，DB2，MySQL，Ingres。 或者任何其他基于SQL的程序，在你開始編寫查詢之前，本書都...
上傳時間： 2014-01-23
上傳用戶：gdgzhym
資源簡介：Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯，引入了一個多態多類的類型系統和多種新的語言成分，支持抽象數據類型和模塊化程序設計等技術，語言本身也具有很強的說明性語義。詳細介紹了Goedel語言的類型系統及其構造，對在邏輯程序設計語言...
上傳時間： 2014-11-26
上傳用戶：BIBI
資源簡介：用maxplus2實現的一種通用邏輯模塊，背景是一個基于dsp的嵌入式開發板，上面的邏輯模塊全用cpld實現。此模塊可以供以后的嵌入式開發作參考。
上傳時間： 2013-09-06
上傳用戶：懶龍1988
資源簡介：計算二階有源濾波、一階有源濾波、阻容充放電。
上傳時間： 2013-11-17
上傳用戶：hgmmyl
資源簡介：一階IIR數字濾波器時域濾波效果模擬tzl1963摘要－ 供初學如何設計實際的數字濾波器參考。一，基本概念FIR Filter－有限長單位脈沖響應濾波器，傳遞函數：Σ?=?=10)()(NnnznhzH ； （1）)(nh是一個有限長序列。IIR Filter－無限長單位脈沖響應濾波器，傳遞函...
上傳時間： 2013-11-20
上傳用戶：gaome
資源簡介：一階導數hermite插值。
上傳時間： 2013-12-17
上傳用戶：thesk123
資源簡介：一階微分算法，用于邊緣提取
上傳時間： 2013-11-25
上傳用戶：a6697238
資源簡介：吉爾法求解一階微分方程組的算法
上傳時間： 2015-02-23
上傳用戶：英雄
資源簡介：基于一階Bézier曲線的信息隱藏算法
上傳時間： 2014-12-06
上傳用戶：趙云興
資源簡介：Huffman編碼1． 給出信源符號的一階概率分布，并計算信源符號熵和單字符Huffman碼表。2． 計算每信源的平均字長，并與信源符號熵比較。3． 比較壓縮效果。
上傳時間： 2013-12-13
上傳用戶：爺的氣質
資源簡介：高斯脈沖及高斯一階導、高斯二階導產生時域圖
上傳時間： 2014-07-25
上傳用戶：cx111111
資源簡介：人工智能專題講座 機器人、遺傳算法、狀態空間、謂詞邏輯、問題狀態圖
上傳時間： 2013-12-18
上傳用戶：litianchu
資源簡介：有關自動控制方面的一階微分響應，matlab仿真程序
上傳時間： 2014-11-24
上傳用戶：alan-ee
資源簡介：用maxplus2實現的一種通用邏輯模塊，背景是一個基于dsp的嵌入式開發板，上面的邏輯模塊全用cpld實現。此模塊可以供以后的嵌入式開發作參考。
上傳時間： 2014-07-05
上傳用戶：ayfeixiao
資源簡介：用神經網絡來控制一階倒立擺，給出matlab的simulink仿真
上傳時間： 2015-06-11
上傳用戶：yangbo69
資源簡介：基于時間序列模型的一階濾波程序，沒有解壓密碼，直接使用
上傳時間： 2014-01-12
上傳用戶：jqy_china
資源簡介：模糊控制程序 設計帶有純延遲的一階慣性環節 的模糊控制器，觀察仿真結果。
上傳時間： 2015-06-30
上傳用戶：hebmuljb
資源簡介：c語言編程。單精度的龍格-庫塔-基爾法在初始條件下求解n元聯立一階常微分方程組；很好。
上傳時間： 2014-01-22
上傳用戶：363186
資源簡介：用一階鎖相環實現的FM解調器.用ELANIX公司的SYSTEMVIEW運行調試.
上傳時間： 2015-07-18
上傳用戶：270189020
資源簡介：結合實例用VB編程表達了一階偏微分方程的數值解法，希望能為您提供一點幫助。
上傳時間： 2015-07-22
上傳用戶：lepoke
資源簡介：可以用多種算法擬和系統模型,用來求取系統的一階模型.
上傳時間： 2015-07-22
上傳用戶：dongqiangqiang
資源簡介：混沌時間序列局域法多步預報模型.doc(有程序下載) 針對混沌時間序列預測中用加權一階局域法單步預報模型進行多步預報時計算量大且存在誤差累積效應的不足，本文提出了基于相空間重構技術的局域法多步預報模型，包括加權一階局域法多步預報模型和RBF神經網絡...
上傳時間： 2014-11-10
上傳用戶：gtf1207
資源簡介：程序為用加權一階局域預測法對Logistic影射進行預測：）
上傳時間： 2014-02-12
上傳用戶：zukfu
資源簡介：一本介紹微分方程的電子書籍,包含一階\高階\線性\非線性方程的定義及求解方法
上傳時間： 2015-08-18
上傳用戶：集美慧
資源簡介：計算機組成原理的實驗報告,包括 實驗四 基本模型機設計與實現,實驗一 運算器實驗 （一） 算術邏輯運算器 實驗一 運算器實驗 （二） 進位控制實驗 實驗一 運算器實驗 （三） 移位運算器實驗 實驗二 半導體存儲器原理實驗實驗三 微程序控制器實驗 包括...
上傳時間： 2014-01-06
上傳用戶：zhangzhenyu
資源簡介：零階、一階和任意整數階的第一二類貝賽爾函數算法
上傳時間： 2015-09-14
上傳用戶：獨孤求源
資源簡介：每一階利用20ms內占空比的調整來控制亮暗的時間,從而實現漸變//此程序是實現漸暗的功能
上傳時間： 2014-02-11
上傳用戶：13681659100
