【摘要】：概率模型P是為有效地檢驗命題演算系統(tǒng)之永真(假)函項、永真蘊涵關(guān)系;求取命題(合取、析取)范式及證明各重言式定理而特設(shè)的一種純數(shù)學(xué)模型.其特征是,在運算中既保持概率運算的基本性質(zhì),又滿足命題演算的邏輯要求,且運算關(guān)系簡單(僅含算術(shù)運算+、-、×).
【作者單位】： 長沙大學(xué)人文系
【分類號】：O141.1

【共引文獻】

相關(guān)期刊論文 前10條

1 葉思聰;;普適信源、普適劃分及語義識別信息[J];西安交通大學(xué)學(xué)報;1990年02期

2 陳乃輝;數(shù)理統(tǒng)計教材建設(shè)芻議[J];高等理科教育;2002年06期

3 蘇岐芳,楊捷飛;0—1多項式與命題邏輯[J];高師理科學(xué)刊;1995年03期

4 宿維軍;化簡命題演算一例[J];甘肅高師學(xué)報;2000年02期

5 李辰;公理化方法的會計學(xué)應(yīng)用:會計基本理論的解構(gòu)與重構(gòu)[J];會計研究;2003年09期

6 朱嶺,周政,于景元;離散事件系統(tǒng)狀態(tài)反饋控制的幾何理論[J];控制與決策;1991年01期

7 楊柯,王冰笛,張立翔,李桂青;充液管道流固耦合4方程模型的一個解析解[J];水動力學(xué)研究與進展A輯;1999年04期

8 蘇岐芳,蘇雅春;命題邏輯中的可表性[J];松遼學(xué)刊(自然科學(xué)版);1997年04期

9 王海明;論倫理學(xué)體系的構(gòu)建方法[J];上海師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2002年04期

10 張型岱,張格華;主范式的運算性質(zhì)[J];數(shù)學(xué)的實踐與認(rèn)識;2004年04期

相關(guān)博士學(xué)位論文 前2條

1 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

2 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

相關(guān)碩士學(xué)位論文 前4條

1 李麗宏;歐幾里得與阿基米德數(shù)學(xué)思想之比較[D];上海師范大學(xué);2007年

2 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

3 王軼;認(rèn)知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年

4 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

【相似文獻】

相關(guān)期刊論文 前10條

1 余嘉元;項目反應(yīng)理論研究中的計算機模擬方法[J];心理科學(xué);1991年02期

2 ;廖鼎烈教授參加第十六屆國際混凝土及結(jié)構(gòu)學(xué)術(shù)會議[J];石家莊鐵道學(xué)院學(xué)報;1991年04期

3 羅冠中;;Rasch模型及其發(fā)展[J];教育研究與實驗;1992年02期

4 李小五;用帶測度函數(shù)的可能世界語義學(xué)解釋—歸納認(rèn)知邏輯[J];自然辯證法研究;1993年02期

5 劉霞，潘曉良;關(guān)于不確定性問題解決的研究[J];湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1995年04期

6 馬劍虹;GUTTMAN量表的概率模型及其發(fā)展[J];心理發(fā)展與教育;1997年04期

7 朱靖波,姚天順;面向數(shù)據(jù)的句法分析技術(shù)[J];中文信息學(xué)報;1998年01期

8 劉挺;馬金山;李生;;基于詞匯支配度的漢語依存分析模型[J];軟件學(xué)報;2006年09期

9 周健勇;;命題演算系統(tǒng)S的概率模型[J];數(shù)學(xué)的實踐與認(rèn)識;2006年12期

10 楊軍;;概率性優(yōu)選論[J];當(dāng)代語言學(xué);2007年02期

相關(guān)會議論文 前10條

1 劉懷高;;難度自增殖系統(tǒng)的一類概率模型[A];復(fù)雜巨系統(tǒng)理論·方法·應(yīng)用——中國系統(tǒng)工程學(xué)會第八屆學(xué)術(shù)年會論文集[C];1994年

2 金炳堯;蔚承建;何振亞;;一個基于遺傳與局部搜索的概率學(xué)習(xí)算法[A];1999年中國智能自動化學(xué)術(shù)會議論文集（下冊）[C];1999年

3 曹莘耕;;線切割數(shù)控計算機可靠性計算及其應(yīng)用[A];第四屆全國電加工學(xué)術(shù)會議論文集[C];1983年

4 楊丹宇;;應(yīng)用于非特定人孤立詞小字表漢語語音識別中的新的隱式概率模型[A];第二屆全國人機語音通訊學(xué)術(shù)會議論文集[C];1992年

5 何為民;趙銳;陳光發(fā);;軍事口令非特定人識別系統(tǒng)的實現(xiàn)[A];第三屆全國人機語音通訊學(xué)術(shù)會議論文集[C];1994年

6 朱思俞;李建人;余金森;王海燕;;在中等噪聲背景下的全音節(jié)漢語語音識別[A];第三屆全國人機語音通訊學(xué)術(shù)會議論文集[C];1994年

7 王海燕;朱思俞;李建人;余金森;;噪聲背景下大詞匯漢語語音識別[A];第三屆全國人機語音通訊學(xué)術(shù)會議論文集[C];1994年

8 張少華;言茂松;;抽水蓄能電站調(diào)峰效益的經(jīng)濟評價[A];1995中國控制與決策學(xué)術(shù)年會論文集[C];1995年

9 高小旺;魏璉;;結(jié)構(gòu)抗震可靠度的分析方法[A];工程結(jié)構(gòu)可靠性——中國土木工程學(xué)會橋梁及結(jié)構(gòu)工程學(xué)會第七屆學(xué)術(shù)會議論文集[C];1987年

10 瞿偉康;李桂青;;建筑結(jié)構(gòu)基于雙重破壞機制的彈塑性變形抗震可靠性(基于剪切型層間模型)[A];工程結(jié)構(gòu)可靠性——中國土木工程學(xué)會橋梁及結(jié)構(gòu)工程學(xué)會第七屆學(xué)術(shù)會議論文集[C];1987年

相關(guān)重要報紙文章 前10條

1 記者郭均忠;結(jié)構(gòu)可靠度理論為橋梁護駕[N];中國交通報;2002年

2 清華大學(xué)計算機系智能技術(shù)與系統(tǒng)國家重點實驗室 張敏 金奕江;尋“寶”有術(shù)[N];計算機世界;2003年

3 梁瑞安;資金管理的古典概率模型[N];期貨日報;2003年

4 見依;學(xué)會用計量經(jīng)濟學(xué)研究人力資本[N];北京人才市場報;2003年

5 馮 佳 劉興龍;安永搶跑銀行內(nèi)部評級咨詢業(yè)[N];證券日報;2005年

6 王一琳 夏峰 王立偉;亞太區(qū)銀行離巴塞爾Ⅱ很遠(yuǎn)[N];東方早報;2005年

7 張雪峰;信息檢索技術(shù)的新視角[N];中華讀書報;2005年

8 李必德(Peter Zimmerli);亞洲臺風(fēng)模型需要精益求精[N];中國保險報;2006年

9 特約記者 趙應(yīng)繁;湖北地災(zāi)信息實現(xiàn)共享[N];中國礦業(yè)報;2006年

10 程實;世界杯,如何影響全球股市[N];第一財經(jīng)日報;2006年

相關(guān)博士學(xué)位論文 前10條

1 王笑蓉;蟻群優(yōu)化的理論模型及在生產(chǎn)調(diào)度中的應(yīng)用研究[D];浙江大學(xué);2003年

2 黃曉英;鐘控生成器概率模型輸出序列的性質(zhì)研究[D];中國人民解放軍信息工程大學(xué);2003年

3 沈照偉;基于可靠度的海洋工程隨機荷載組合及設(shè)計方法研究[D];浙江大學(xué);2004年

4 孫慶杰;靜態(tài)圖像中人體檢測技術(shù)研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

5 譚毅華;完全可伸縮小波視頻編碼及后處理技術(shù)研究[D];華中科技大學(xué);2004年

6 劉揚;混凝土斜拉橋施工期的時變可靠性研究[D];湖南大學(xué);2005年

7 郭麗峰;電梯導(dǎo)軌不平順度測量、建模及轎箱水平振動特性的研究[D];天津大學(xué);2005年

8 呂穎釗;在役混凝土橋梁可靠性評估與壽命預(yù)測研究[D];長安大學(xué);2006年

9 萬臻;斜拉橋結(jié)構(gòu)可靠性評估及剩余壽命預(yù)測[D];西南交通大學(xué);2006年

10 阮欣;橋梁工程風(fēng)險評估體系及關(guān)鍵問題研究[D];同濟大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 周斌;應(yīng)用于數(shù)字圖書館的分布式檢索技術(shù)的研究與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2001年

2 張衛(wèi)明;帶記憶非線性組合生成器的概率模型及相關(guān)性分析[D];中國人民解放軍信息工程大學(xué);2002年

3 肖萍;橋梁技術(shù)狀況評價與預(yù)測[D];長安大學(xué);2003年

4 楊曉萍;存在項目無回答時的因子分析[D];華東師范大學(xué);2001年

5 王宗忠;模具協(xié)作制造項目管理信息監(jiān)視預(yù)警的研究[D];廣東工業(yè)大學(xué);2004年

6 劉春光;偏微分方程邊值問題的蒙特卡羅解法[D];吉林大學(xué);2004年

7 羅U喫，

本文編號：2537719