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

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

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

『簡體書』应用逻辑的数学问题

書城自編碼: 3484852
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: [英]D.M.加贝等 编,陈晓华,刘张华 译
國際書號(ISBN): 9787030646354
出版社: 科学出版社
出版日期: 2020-04-01

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

售價:HK$ 221.8

我要買

share:

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


新書推薦:
山家清供:小楷插图珍藏本 谦德国学文库系列
《 山家清供:小楷插图珍藏本 谦德国学文库系列 》

售價:HK$ 143.4
政略与战略论
《 政略与战略论 》

售價:HK$ 140.0
百年词史-(1900-2000(全二册))
《 百年词史-(1900-2000(全二册)) 》

售價:HK$ 333.8
RDI人际关系发展疗法:修复孤独症核心障碍,让干预回归生活
《 RDI人际关系发展疗法:修复孤独症核心障碍,让干预回归生活 》

售價:HK$ 99.7
金融科技监管的目标、原则和实践:全球视野下加密货币的监管
《 金融科技监管的目标、原则和实践:全球视野下加密货币的监管 》

售價:HK$ 110.9
城市轨道交通绿色低碳规划设计研究——深圳地铁6号线工程创新与实践
《 城市轨道交通绿色低碳规划设计研究——深圳地铁6号线工程创新与实践 》

售價:HK$ 221.8
艾尔米塔什国家博物馆 少年游学 人一生一定要看的博物馆
《 艾尔米塔什国家博物馆 少年游学 人一生一定要看的博物馆 》

售價:HK$ 38.1
世界四大博物馆4册套装 卢浮宫大英大都会艾尔米塔什博物馆 青少年游学艺术参观科普书
《 世界四大博物馆4册套装 卢浮宫大英大都会艾尔米塔什博物馆 青少年游学艺术参观科普书 》

售價:HK$ 152.3

 

內容簡介:
本书围绕"逻辑学中*重要、*突出、*紧迫的问题是什么"这一个主题展开,内容分上、下两篇,共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。

 

 

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