《面向計算機科學的數理邏輯》是機械工業出版社出版的圖書，作者是（英）哈斯、（英）瑞安。
基本介紹
- 中文名：面向計算機科學的數理邏輯
- 作者：（英）哈斯、（英）瑞安
- 出版社：機械工業出版社
- 定價：86 元
- ISBN：9787111213970
面向計算機科學的數理邏輯(2007年機械工業出版社出版的圖書)
本詞條是多義詞，共3個義項
收起列表 ▲
相關詞條
- 面向計算機科學的數理邏輯系統建模與推理
《面向計算機科學的數理邏輯系統建模與推理》是2007年機械工業出版社出版的圖書，作者是哈斯瑞安。本書適宜作為高等院校計算機及相關專業的數理邏輯/形式化方法課程的教材，也可供相關研究人員和專業人士參考。內容簡介 本書對計算機科學方面的...
- 領導套用邏輯(2003年中共中央黨校出版社出版的圖書)
領導套用邏輯 《領導套用邏輯》是中共中央黨校出版社出版的圖書，作者是王健平 內容簡介 新時期領導幹部能力培養與素質教育系列。
- 離散數學(2005年科學出版社出版的圖書)
本書介紹了命題邏輯、謂詞邏輯、集合及其運算、二元關係、函式、代數結構、格和布爾代數、圖論、樹、Petri網和運輸網路以及計數方法和分類原理等與計算機科學密切相關的前沿課題。圖書目錄 目錄 第1章 命題邏輯 第2章 謂詞邏輯 第3章 ...
- 韓俊剛
軟體和硬體的形式化驗證、圖形處理器和新型計算機體系結構。教學情況 先後為研究生和本科生開設《面向計算機科學的數理邏輯》、《數字電路邏輯設計》、《離散數學》、《超大規模積體電路設計》、《專業英語》等課程，培養博士和碩士30名。科...
- 潘久輝
[3] 數據集成技術及其相容性維護方法研究。[4] 大規模軟體復用的信息支撐平台研究與開發。所授課程：[1] 面向計算機科學的數理邏輯 [2] 資料庫系統概念與構造 [3] 資料庫系統體系結構及實現技術 [4] 程式設計語言構造與實現。
- 折延宏
近年來，先後承擔了《數學分析》、《抽象代數》、《面向計算機科學的數理邏輯》等本科生與研究生課程的教學工作。現在主要從事智慧型信息處理領域的研究工作，具體研究興趣包括人工智慧、多粒度數據分析，粗糙集理論，不確定性推理等理論。目前...
- 方明(第十四屆全國政協委員,西安財經大學校長)
主要從事信息系統工程、智慧型科學與技術、數據倉庫、ERP教學和科研工作，先後為本科生開設《計算機網路》、《軟體測試技術》、《管理信息系統》、《人工智慧》等課程，為研究生開設《數據倉庫》、《面向計算機科學數理邏輯》等課程。任免信息 ...
