面向計算機科學的數理邏輯

《面向計算機科學的數理邏輯》是2002年科學出版社出版的圖書。

基本信息

出版社: 科學出版社; 第2版 (2002年1月1日)

叢書名: 中國科學院研究生教學叢書

平裝: 263頁

正文語種: 簡體中文

開本: 32

ISBN: 9787030096579, 7030096576

條形碼: 9787030096579

商品尺寸: 20 x 13.6 x 1.2 cm

商品重量: 259 g

ASIN: B00116FN0E

商品描述

內容簡介

《面向計算機科學的數理邏輯》敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯.《面向計算機科學的數理邏輯》在選材時考慮了邏輯系統的特徵，並且適應計算機科學的要求，《面向計算機科學的數理邏輯》研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。《面向計算機科學的數理邏輯》大部分章節附有習題。

編輯推薦

《面向計算機科學的數理邏輯》由科學出版社出版。讀者對象為高校計算機專業師生，科研人員。