《計算機科學的邏輯：系統的建模與推理》是機械工業出版社出版的圖書，作者是（英）胡思（Huth,M.）。
基本介紹
- 中文名：計算機科學的邏輯：系統的建模與推理
- 作者：（英）胡思（Huth,M.）
- 出版社：機械工業出版社
- 定價：49 元
- ISBN：7111160533
計算機科學的邏輯：系統的建模與推理
相關詞條
- 計算機科學的邏輯：系統的建模與推理
《計算機科學的邏輯：系統的建模與推理》是機械工業出版社出版的圖書，作者是（英）胡思（Huth,M.）。...
- 面向計算機科學的數理邏輯系統建模與推理
《面向計算機科學的數理邏輯系統建模與推理》是2007年機械工業出版社出版的圖書，作者是哈斯瑞安。本書適宜作為高等院校計算機及相關專業的數理邏輯/形式化方法課程的教材，也可供相關研究人員和專業人士參考。內容簡介 本書對計算機科學方面的...
- 計算機科學中的邏輯學
《計算機科學中的邏輯學》是1989年科學出版社出版的圖書，作者是王元元。內容簡介 本書介紹了數理邏輯的基本內容和針對計算機的套用而發展起來的各種邏輯——模態邏輯、時態邏輯、動態邏輯、模糊邏輯、非單調邏輯等，並介紹了入一演算和組合...
- 系統建模與仿真(2008年清華大學出版社出版的圖書)
在《系統建模與仿真》理論和技術基礎上研發成功的多功能過程與控制系統，實現了運用仿真模型進行創新與探索型科學實驗的目標。《系統建模與仿真》在定性建模與仿真部分突出了定性因果模型、計算機定性推理理論和實用技術，在過程系統危險識別、...
- 計算機科學導論(第5版)(2018年清華大學出版社出版的圖書)
2.4 數字邏輯與數字系統 54 2.4.1 基本邏輯關係及邏輯門 54 2.4.2 邏輯代數與邏輯函式 56 2.5 計算機系統的組成 59 2.5.1 圖靈模型 59 2.5.2 馮·諾依曼模型 60 2.5.3 計算機系統的組成...
- Event-B建模:系統和軟體工程
簡-埃蒙德·阿布瑞爾（Jean-Raymond Abrial）是國際著名計算機科學家，曾任蘇黎世聯邦理工學院客座教授，他基於精化的思想提出了一種系統化的方法，教讀者如何逐步構造出所期望的模型，並通過嚴格的證明完成對所構造模型做系統化的推理。...
- 計算機科學導論第2版
11.9 數學建模與計算機模擬 11.10 本章小結 11.11 習題 第12章 社會和職業問題 12.1 計算的社會背景 12.2 計算機與道德 12.3 基於計算機系統的風險與責任 12.4 智慧財產權 12.5 隱私與公民自由 12.6 計算機犯罪 12.7 哲學...
- 計算機科學導論(2010年清華大學出版社出版的圖書)
第13章 數值計算科學 13.1 高性能計算 13.2 數值分析 13.3 運籌學 13.4 數學建模與計算機模擬 本章小結 習題 第14章 智慧型系統 14.1 人工智慧系統 14.2 知識表示及推理 14.3 搜尋技術 14.4 自然語言處理 14.5 智慧型計算 1...
- 群決策案例推理系統的動態學習模型及套用研究
案例推理是人工智慧領域的重要研究方向之一，它從認知科學的角度對人類思維和學習機制進行探索，是一種有效的智慧型求解與推理方法，案例推理的學習能力直接影響問題求解的質量和推理效率。項目以案例推理系統的建模與設計為研究對象，以賦予案例...
- 基於認知機理的心理狀態識別技術研究:建模與算法
因此賦予計算機擁有像人一樣的心理認知能力是和諧人機互動的重要組成，也是比較急迫的研究課題。針對當前心理推理研究在系統建模、模式表示等方面存在的不足，本申請擬融合面部表情、頭部姿態、眼睛狀態、視線四種面部信息，在傳統的面部運動...
- 結合描述邏輯和霍恩規則的不確定推理算法
課題組設計並開發了結合描述邏輯和霍恩規則的不確定性推理算法的軟體系統，並且套用於線上藥品廣告違規行為的分析判斷。通過與美國麻省理工學院信息技術研究團隊的國際合作，將項目研究成果套用於數據上下文信息建模和數據層語義衝突檢測與消解，...
- 基於本體的計算機病毒自適應建模方法研究
本課題研究計算機病毒防禦技術中的關鍵問題:病毒描述方法以及分析檢測技術。深入研究基於病毒語義的本體建模方法,根據本體知識構造病毒本身邏輯推理系統,引入自適應學習機制,力求較為完整準確地描述病毒,以實現智慧型分析、檢 測、防禦新型病毒的...
