資料介紹
對命題邏輯的相關(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)化方法
- UPS不間斷電源續(xù)航能力深度解析:從公式到實戰(zhàn)的可靠性工程 265次閱讀
- 【峟思應(yīng)變計】應(yīng)力計算公式及其符號意義 3.4k次閱讀
- 熱解粒子探測器與什么相似 1.3k次閱讀
- 示波器周期的計算公式 6.1k次閱讀
- 電量計算公式多少度電 電量和度數(shù)怎么換算 10.4w次閱讀
- 層間對準(zhǔn)度的計算方法有哪些 1.6k次閱讀
- 圖像相似度分析——相似度算法 1.4w次閱讀
- 為什么衛(wèi)生間要裝等電位? 1.8k次閱讀
- 液壓計算常用公式與馬達常用計算公式 6.6k次閱讀
- C語言中的邏輯運算符是怎么樣的 4.8k次閱讀
- c語言攝氏度與華氏溫度如何轉(zhuǎn)換 2.5w次閱讀
- 計算文本相似度幾種最常用的方法,并比較它們之間的性能 5.5w次閱讀
- 三相電流不平衡度計算公式_三相電流不平衡度標(biāo)準(zhǔn)及應(yīng)用 8.1w次閱讀
- 怎么理解邏輯真值表_真值表如何推出邏輯表達式 6.9w次閱讀
- 華氏度與攝氏度的換算在線計算 溫度轉(zhuǎn)換公式大全 2w次閱讀
下載排行
本周
- 1新一代網(wǎng)絡(luò)可視化(NPB 2.0)
- 3.40 MB | 1次下載 | 免費
- 2MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 3MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 4聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 5收音環(huán)繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 624Pin Type-C連接器設(shè)計報告
- 1.06 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論