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

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

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

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

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

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

售價：HK$ 221.8

我要買 件

share:

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


新書推薦：
学校如何改进（梦山书系）
《 学校如何改进（梦山书系） 》
售價：HK$ 52.8
战国秦汉时期的择日术与时空认知
《 战国秦汉时期的择日术与时空认知 》
售價：HK$ 74.8
你好，AI：智能时代职场生存指南（为现代职场人量身打造的AI实用指南，帮助读者从对AI的初步认知，进阶到灵活运用DeepSeek等智能工具高效完成工作，提升生活品质。）
《 你好，AI：智能时代职场生存指南（为现代职场人量身打造的AI实用指南，帮助读者从对AI的初步认知，进阶到灵活运用DeepSeek等智能工具高效完成工作，提升生活品质。） 》
售價：HK$ 63.8
美国中国史研究
《 美国中国史研究 》
售價：HK$ 97.9
战天京：晚清军政传信录
《 战天京：晚清军政传信录 》
售價：HK$ 96.8
恢复、道学、权臣：南宋中期政治研究
《 恢复、道学、权臣：南宋中期政治研究 》
售價：HK$ 107.8
萤火虫全球史068：历史上著名的101座城堡
《 萤火虫全球史068：历史上著名的101座城堡 》
售價：HK$ 83.6
大争之世：改变古代中国的十五次战争
《 大争之世：改变古代中国的十五次战争 》
售價：HK$ 96.8

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

 

 

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