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

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

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

定　價：￥18.00

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

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