中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
面向計算機科學的數理邏輯系統建模與推理 版權信息
- ISBN：9787111213970
- 條形碼：9787111213970 ; 978-7-111-21397-0
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
面向計算機科學的數理邏輯系統建模與推理 內容簡介
簡介 本書對計算機科學方面的數理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、模態邏輯與代理、二叉判定圖、模型檢測和程序驗證等內容。本書主要討論有關軟硬件規范和驗證這一主題，反映了計算機科學中數理邏輯的新發展和實際需要。第2版新增了可滿足性算法、lowenheim-skolem定理等，并介紹了alloy語言和nusmv工具等內容。 本書適宜作為高等院校計算機及相關專業的數理邏輯/形式化方法課程的教材，也可供相關研究人員和專業人士參考。
面向計算機科學的數理邏輯系統建模與推理 目錄
出版者的話專家指導委員會譯者序第1版序第2版前言第1章 命題邏輯
展開全部
面向計算機科學的數理邏輯系統建模與推理 節選
本書對計算機科學方面的數理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、模態邏輯與代理、二叉判定圖、模型檢測和程序驗證等內容。本書主要討論有關軟硬件規范和驗證這一主題，反映了計算機科學中數理邏輯的新發展和實際需要。第2版新增了可滿足性算法、L6wenheim—Skolem定理等，并介紹了Alloy語言和NuSMV工具等內容。本書適宜作為高等院校計算機及相關專業的數理邏輯／形式化方法課程的教材，也可供相關研究人員和專業人士參考。
書友推薦
- >
唐代進士錄
- >
姑媽的寶刀
- >
伊索寓言-世界文學名著典藏-全譯本
- >
巴金－再思錄
- >
李白與唐代文化
- >
莉莉和章魚
- >
推拿
- >
史學評論
本類暢銷
