中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
形式化方法:理論及應用 版權信息
- ISBN：9787312058752
- 條形碼：9787312058752 ; 978-7-312-05875-2
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
形式化方法:理論及應用 本書特色
全面講授形式化方法理論及應用，從基礎知識出發，討論了數理邏輯、可滿足性、決策過程以及理論應用等內容，并給出了豐富的實例。
形式化方法:理論及應用 內容簡介
形式化方法是計算機科學理論中歷史悠久、理論性強、發展成熟的學科，已發展成為計算機 科學的重要分支之一。形式化方法主要用數學的理論和工具，對計算機軟硬件系統進行形式建模和性質推理研究，以期證明系統的實現正確性，或提高系統的可靠性和健壯性等。本書全面講授形式化方法理論及應用，從基礎知識出發，討論了數理邏輯、可滿足性、決策過程以及理論應用等內容，并給出了豐富的實例。全書共分為 13 章，分別討論了理論基礎、命題邏輯、布爾可滿足性、謂詞邏輯、可滿足性模理 論、數據結構的判定、符號執行、程序驗證、程序合成、Curry-Howard同構、依賴類型等內容，并給出了充分的實踐討論與應用實例。
形式化方法:理論及應用 目錄
前言
第1章 基礎知識
1.1 集合
1.2 關系與映射
1.3 上下文無關文法
1.4 歸納法
1.5 歸納定義
1.6 實現
第2章 命題邏輯
2.1 語法
2.2 證明系統
2.3 構造邏輯
2.4 語義系統
2.5 可靠性和完備性定理
2.6 可判定性
2.7 命題邏輯的實現
第3章 布爾可滿足性
3.1 布爾可滿足性
3.2 合取范式
3.3 決議與傳播
3.4 DPLL算法
3.5 實現
第4章 謂詞邏輯
4.1 命題的內部結構
4.2 語法
4.3 證明系統
4.4 語義系統
4.5 可靠性和完備性
4.6 可判定性
4.7 實現
第5章 等式與未解釋函數理論
5.1 可滿足性模理論
5.2 等式與未解釋函數理論
5.3 基本性質
5.4 判定算法
5.5 實現
5.6 應用
第6章 線性算術理論
6.1 語法
6.2 高斯消元
6.3 傅里葉-莫茨金消元
6.4 單純形法
6.5 分支定界法
6.6 減法邏輯
6.7 實現
6.8 應用
第7章 數據結構理論
7.1 位向量
7.2 數組
7.3 指針
展開全部
形式化方法:理論及應用 作者簡介
華保健，中國科學技術大學軟件學院講師，主要從事軟件安全、程序語言與編譯器等研究。獲中國計算機學會犀牛鳥研究獎、中國科技大學專業研究生教育優選個人獎等獎項。主編《深入淺出Java虛擬機設計與實現》等著作，發表論文10余篇。
書友推薦
- >
有舍有得是人生
- >
煙與鏡
- >
我與地壇
- >
月亮虎
- >
李白與唐代文化
- >
小考拉的故事-套裝共3冊
- >
唐代進士錄
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
本類暢銷
