《面向计算机科学的数理逻辑第二版》 - 陆钟万 - 科学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』面向计算机科学的数理逻辑第二版

書城自編碼： 3539163
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者：陆钟万
國際書號(ISBN)： 9787030096579
出版社：科学出版社
出版日期： 2020-08-01

頁數/字數： /
書度/開本： 16开釘裝：平装

售價：HK$ 64.4

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《阿非利加征服者：比拿破仑更伟大的西庇阿》
售價：HK$ 69.6

建議一齊購買：

HK$ 70.0
《基于STM32 ARM处理器的编程技术》

內容簡介：

本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.