注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)計(jì)算機(jī)科學(xué)理論與基礎(chǔ)知識(shí)邏輯公式的可滿足性判定：方法、工具及應(yīng)用

邏輯公式的可滿足性判定：方法、工具及應(yīng)用

邏輯公式的可滿足性判定：方法、工具及應(yīng)用

定　價(jià)：￥18.00

作　者： 張健著
出版社： 科學(xué)出版社
叢編項(xiàng)： 博士叢書
標(biāo)　簽： 命題邏輯
ISBN： 9787030083647 出版時(shí)間： 2000-01-01 包裝： 精裝
開本： 20cm 頁數(shù)： 172頁 字?jǐn)?shù)：  

內(nèi)容簡介

　　本書共分四章。前三章分別討論了經(jīng)典的命題邏輯和一階謂詞邏輯公式以及命題模態(tài)邏輯公式的可滿足性判定算法，也提到有關(guān)的軟件工具。第四章介紹了它們在離散數(shù)學(xué)研究、軟件和硬件的形式驗(yàn)證與測試等方面的應(yīng)用。

作者簡介

暫缺《邏輯公式的可滿足性判定：方法、工具及應(yīng)用》作者簡介

圖書目錄

暫缺《邏輯公式的可滿足性判定：方法、工具及應(yīng)用》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.shuitoufair.cn 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)