資料介紹
對命題邏輯的相關(guān)概念進行量化處理,是命題邏輯硏究的一種新方法,是一種有別于語構(gòu)與語義的硏究方法,是研究命題集結(jié)構(gòu)的一個有力工具。通過運用向量間的 Jaccard相似系數(shù),在經(jīng)典邏輯系統(tǒng)L中給出了公式間的 Jaccard相似度、 Jaccard距離等概念,給出了計量邏輯學(xué)中公式真度的 Jaccard相似度表示形式,建立了一種新的量化模型。討論了由 Jaccard距離導(dǎo)出的邏輯度量空間(F(S)p)的一些性質(zhì)。得到結(jié)論:矛盾式是邏輯度量空間(FSλρ)中唯一的孤立點;邏輯度量空間(F③Sλρυ中的非空開球是不相容理論。
- 基于概率分布函數(shù)的流程工廠模型拓撲相似度計算 5次下載
- 基于路口相似度的信號配時控制算法 8次下載
- 基于卷積神經(jīng)網(wǎng)絡(luò)的相似度計算模型 19次下載
- 基于時空分析的交通路口相似度計算方法 5次下載
- 基于Jaccard相似度的基礎(chǔ)聚類成員預(yù)處理算法 8次下載
- 針對協(xié)同過濾推薦算法的相似度計算方法 6次下載
- 一種用于釋義識別的句子相似度算法 8次下載
- 一種改進的聚類聯(lián)合相似度推薦算法 10次下載
- 如何使用區(qū)域相似度實現(xiàn)局部擬合活動輪廓模型 2次下載
- 如何降低相似度碰撞的證據(jù)融合方法 2次下載
- 基于關(guān)鍵詞相似度的用戶挖掘研究 0次下載
- 一中余弦相似度的改進方法 0次下載
- 一種基于本體的概念相似度計算及其應(yīng)用_冉婕 0次下載
- 邊緣相似度及其在散斑噪聲抑制算法比較中的應(yīng)用
- 基于相似度計算的本體映射優(yōu)化方法
- 示波器周期的計算公式 989次閱讀
- 電量計算公式多少度電 電量和度數(shù)怎么換算 3.8w次閱讀
- 層間對準度的計算方法有哪些 556次閱讀
- 圖像相似度分析——相似度算法 3313次閱讀
- 為什么衛(wèi)生間要裝等電位? 658次閱讀
- MarkDown公式指導(dǎo)手冊 1101次閱讀
- 液壓計算常用公式與馬達常用計算公式 4296次閱讀
- 一文分享電感最重要的公式 8109次閱讀
- 基本邏輯運算及其電路實現(xiàn) 8290次閱讀
- C語言中的邏輯運算符是怎么樣的 3915次閱讀
- c語言攝氏度與華氏溫度如何轉(zhuǎn)換 2.2w次閱讀
- 計算文本相似度幾種最常用的方法,并比較它們之間的性能 5.3w次閱讀
- 三相電流不平衡度計算公式_三相電流不平衡度標準及應(yīng)用 7.2w次閱讀
- 怎么理解邏輯真值表_真值表如何推出邏輯表達式 6.6w次閱讀
- 華氏度與攝氏度的換算在線計算 溫度轉(zhuǎn)換公式大全 1.5w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1491次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 4次下載 | 免費
- 8基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多