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

定　價：￥18.00

ISBN：	9787030083647	出版時間：	2000-01-01	包裝：	精裝
開本：	20cm	頁數(shù)：	172頁	字?jǐn)?shù)：

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

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

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

掃描二維碼

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