登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

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

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『簡體書』数理逻辑引论——计算机科学与系统的天然基础

書城自編碼: 3807398
分類:簡體書→大陸圖書→計算機/網絡计算机理论
作者: 刘志明,裘宗燕
國際書號(ISBN): 9787030732385
出版社: 科学出版社
出版日期: 2022-11-01

頁數/字數: /
釘裝: 平装

售價:HK$ 210.0

我要買

 

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


新書推薦:
生活不是掷骰子:理性决策的贝叶斯思维
《 生活不是掷骰子:理性决策的贝叶斯思维 》

售價:HK$ 82.8
万有引力书系·基辅罗斯:东斯拉夫文明的起源
《 万有引力书系·基辅罗斯:东斯拉夫文明的起源 》

售價:HK$ 141.6
康熙的红票:全球化中的清朝
《 康熙的红票:全球化中的清朝 》

售價:HK$ 93.6
PyTorch语音识别实战
《 PyTorch语音识别实战 》

售價:HK$ 82.8
多卖三倍
《 多卖三倍 》

售價:HK$ 54.0
哲学思维:清晰思考的12条关键原则
《 哲学思维:清晰思考的12条关键原则 》

售價:HK$ 82.8
海盗之书
《 海盗之书 》

售價:HK$ 81.6
亲美与反美:战后日本的政治无意识
《 亲美与反美:战后日本的政治无意识 》

售價:HK$ 69.6

 

建議一齊購買:

+

HK$ 160.0
《 手写Spring:渐进式源码实践 》
+

HK$ 110.0
《 软件定义网络原理与服务质量优化应用实践 》
+

HK$ 147.5
《 视频行为分析与情感计算 王瀚漓 易云著 》
+

HK$ 111.3
《 一本书读懂Web3.0:区块链、NFT、元宇宙和DAO 》
+

HK$ 64.0
《 计算机组成原理(第3版) 》
+

HK$ 298.8
《 软件研发效能权威指南 》
內容簡介:
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法,以及它们与数学和计算机科学的紧密关系,解释数理逻辑系统中符号化语言、解释、模型等概念,研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心,也成为计算机科学和计算机软件与系统的天然基础。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.