注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當前位置: 首頁出版圖書人文社科哲學邏輯學(論理學)泛邏輯學語構(gòu)理論

泛邏輯學語構(gòu)理論

泛邏輯學語構(gòu)理論

定 價:¥40.00

作 者: 羅敏霞,何華燦 著
出版社: 科學出版社
叢編項: 智能科學技術(shù)著作叢書
標 簽: 邏輯學

ISBN: 9787030263483 出版時間: 2010-01-01 包裝: 平裝
開本: 大32開 頁數(shù): 170 字數(shù):  

內(nèi)容簡介

  《泛邏輯學語構(gòu)理論》內(nèi)容可分為四個部分。第一部分講述泛邏輯學的主要思想以及格與布爾代數(shù)的基本知識。第二部分講述泛邏輯運算模型的基本性質(zhì)以及基于泛與運算模型的幾個模糊邏輯系統(tǒng)。第三部分講述泛邏輯理想狀態(tài)下的命題演算系統(tǒng)以及基于零級運算模型的泛邏輯命題演算理論。第四部分講述集合、邏輯與代數(shù)的三位一體關(guān)系,同時介紹基于偽t-模的三個非可換模糊邏輯系統(tǒng)及其擴張?!斗哼壿媽W語構(gòu)理論》可供計算機、應(yīng)用數(shù)學、人工智能、信息處理等相關(guān)專業(yè)的研究人員、高校教師、研究生和高年級本科生學習參考。

作者簡介

暫缺《泛邏輯學語構(gòu)理論》作者簡介

圖書目錄

《智能科學技術(shù)著作叢書》序

前言
第一章 緒論與預(yù)備知識
1.1 泛邏輯學的主要思想
1.2 泛邏輯命題聯(lián)結(jié)詞運算模型
1.3 現(xiàn)有部分非經(jīng)典邏輯系統(tǒng)的發(fā)展狀況
1.4 偏序集、格與Boole代數(shù)
1.5 經(jīng)典邏輯的命題演算
第二章 泛邏輯運算模型的代數(shù)性質(zhì)
2.1 引言
2.2 預(yù)備
2.3 泛邏輯零級運算模型Aε(0,0.75)的代數(shù)性質(zhì)
2.4 泛邏輯零級運算模型Aε(0.75,1)的代數(shù)性質(zhì)
2.5 零級泛與運算模型的表示
2.6 零級泛或運算模型的表示
2.7 泛邏輯一級運算模型的代數(shù)性質(zhì)(一)
2.8 泛邏輯一級運算模型的代數(shù)性質(zhì)(二)
2.9 泛邏輯泛與運算譜系
2.10 泛邏輯泛或運算譜系
2.11 泛邏輯運算模型之間的關(guān)系
第三章 基于泛與運算模型的模糊命題邏輯
3.1 引言
3.2 基于冪零泛與運算模型的模糊命題邏輯
3.3 基于嚴格泛與運算模型的模糊命題邏輯
3.4 基于一類嚴格三角范數(shù)的模糊命題邏輯
3.5 命題演算形式演繹系統(tǒng)UBL
3.6 UBL邏輯的幾種擴張
3.7 命題演算形式系統(tǒng)SUBL
第四章 理想狀態(tài)下泛邏輯的命題演算系統(tǒng)
4.1 引言
4.2 理想狀態(tài)下泛邏輯的形式演繹系統(tǒng)B
4.3 UB代數(shù)的性質(zhì)
4.4 形式演繹系統(tǒng)B的完備性
第五章 泛邏輯命題演算形式演繹系統(tǒng)
5.1 引言
5.2 UL代數(shù)的主要性質(zhì)
5.3 泛邏輯命題演算形式演繹系統(tǒng)LU
5.4 形式系統(tǒng)LU的完備性
5.5 基于一級運算模型的命題演算形式演繹系統(tǒng)
第六章 集合、邏輯與代數(shù)的三位一體關(guān)系
6.1 引言
6.2 經(jīng)典集合、經(jīng)典邏輯與二值Boole代數(shù)的對應(yīng)關(guān)系
6.3 模糊集、模糊邏輯與相應(yīng)代數(shù)的對應(yīng)關(guān)系
6.4 Rough集、Rough邏輯和相應(yīng)代數(shù)的對應(yīng)關(guān)系
6.5 泛集合、泛邏輯和相應(yīng)代數(shù)的對應(yīng)關(guān)系
第七章 基于偽t-模的非可換模糊邏輯系統(tǒng)
7.1 引言
7.2 非可換模糊邏輯系統(tǒng)PL
7.3 非可換模糊邏輯系統(tǒng)psBL
7.4 非可換模糊邏輯系統(tǒng)psMTL
參考文獻

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號