購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
[明]杨慎 撰，王大淳 箋證
”共有
6996
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
无字证明精选：中学生能看懂的198个趣题
『简体书』 作者：范兴亚 管涛 崔佳佳 李萌 出版：机械工业出版社 日期：2024-03-01 本书精选了近两百个中学生能够看懂的“无字证明”.“无字证明”一般是指仅用图形而无须语言解释就能不证自明的数学结论，其形式往往是一个或一组特定的图片，有时也配有少量的解释说明.本书的每个无字证明都是一个趣题，这些无字证明涵盖了中学数学的方方面面，是罕见的直观反映 ... |
詳情>> | |
 |
机器证明：公理集论及分析基础的形式化
『简体书』 作者：郁文生 等 出版：科学出版社 日期：2025-09-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。《机器证明：公理集论及分析基础的形式化》利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，可以迅速而自然地给出 ... |
詳情>> | |
 |
参与的力量：一个投行人士的儿童福利院援助之旅
『简体书』 作者：慎泰俊 出版：中信出版社 日期：2019-06-01 这本书是作者在思考儿童机会不平等的问题时，亲自进入日本儿童福利院进行深度体验、调研后的研究成果。他为我们展现了一个真实的环境：处在困境中的儿童的真实需求、群体心理特征，福利院等组织在解决这个问题时所遇到的瓶颈，以及我们需要怎么做这对当下中国的留守儿童问题、困境 ... |
詳情>> | |
 |
刑事司法证明模式论
『简体书』 作者：谢澍 出版：法律出版社 日期：2025-05-01 本书围绕“刑事司法证明模式”这一主题，分为上下两篇内容。 上篇为刑事司法证明模式本体论。本篇关注刑事司法证明模式的基本理论及其发展脉络，从中国语境的“印证证明模式”出发，根据“模式论”的基本方法，对“印证证明模式”的理论和实践进行反思。本篇提出，“作用维 ... |
詳情>> | |
 |
优美的数学思维：问题求解与证明（原书第2版）
『简体书』 作者：[美]约翰 · P. 丹吉洛道格拉斯·B. 韦斯特 出版：机械工业出版社 日期： 本书以大量生动有趣的问题求解实例为背景，使用通俗易懂的语言，深入浅出地介绍优美的数学思维和严谨的证明方法，所涉及的数学内容不仅包含函数与集合、数学归纳法理论、组合计算与组合证明、整数理论、数理逻辑、图论等离散数学，而且包含微积分与实数理论等连续数学，覆盖了多个 ... |
詳情>> | |
 |
无字证明 5
『简体书』 作者：管涛 出版：机械工业出版社 日期：2023-02-01 本书由100多个“无字证明”组成.无字证明（Proofs Without Words）也叫作“不需要语言的证明”，一般是指仅用图像而不需要语言就能揭示数学结论的推理过程.无字证明往往是指一个或一系列特定的图片，有时也配有少量的解释说明.本书是数学爱好者的上佳读 ... |
詳情>> | |
 |
刑事证明标准的二元建构
『简体书』 作者：寿媛君 出版：法律出版社 日期：2025-09-01 本书基于刑事实体法与程序法的一体化角度，解构了刑事证明的双重本质，即刑事证明既是犯罪事实向犯罪构成要件演化的媒介，亦是证据材料向定案证据转变的过程，据此提出“二元结构”理论框架，从而将刑事证明标准区隔为“诉讼合法性标准”与“裁判合理性标准”，依此分别建立审前程 ... |
詳情>> | |
 |
证明责任重述
『简体书』 作者：胡学军著 出版：法律出版社 日期：2024-01-01 本书在对中国本土实践中证明责任制度运作样态的实证分析基础上，澄清了该领域的诸多理论误识与实践误区，进而对证明责任理论涉及的几乎所有方面问题予以深入而细致的重新阐述，是对现代证明责任理论与制度真正中国化的尝试。 ... |
詳情>> | |
 |
网络犯罪证明的模型化
『简体书』 作者：谢君泽 出版：清华大学出版社 日期：2024-06-01 人类社会在证明方法上的进化发展与人类行为工具的演化史密切相关。人类社会从神证时代走向人证时代与人类在语言沟通能力上的进化密切相关，造纸术与印刷术的出现更是人证时代与物证时代的分水岭。从物证时代走到当下以数据为核心的技术证明时代，显然是行为工具与工具行为在网络信 ... |
詳情>> | |
 |
证明、论证以及零知识
『简体书』 作者：Justin Thaler 出版：东南大学出版社 日期：2024-12-01 本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起，本书阐述了不同计算复杂性模型下的简洁交互式论证构建，并详细描述了通用程序和可满足性电路之间的转换，通过多项式承诺方案实现简洁论证以及多 ... |
詳情>> | |
 |
数学分析 证明入门（第6版）影印版
『简体书』 作者：Steven R. Lay、Richard G. Ligo 出版：高等教育出版社 日期：2025-04-01 本书提供数学分析的基础内容，强调推理的逻辑性和论证的结构性，帮助学生的学习从计算转向证明。书中包含大量例题和练习以及各种图形，使学生更容易理解教材内容，且便于教师授课。本书的特色有 1. 正文含 250 余道判断题，与教材内容紧密联系，可供课堂讨论。 2. 正 ... |
詳情>> | |
 |
证明
『简体书』 作者：松本清张 出版：东方出版社 日期：2018-01-01 《证明》 一心一意供养丈夫信夫追求文学创作的久美子，却因信夫日复一日的被拒稿而狂躁暴怒，深陷自暴自弃的深渊泥潭之中，并将自己的怨气变态地发泄到妻子身上，对久美子进行无尽的精神上的折磨而终令久美子出轨他人，而久美子这段饮鸩止渴般的恋情两年后又发现情人不过是将自 ... |
詳情>> | |
 |
慎小嶷：十天突破雅思口语 剑14版（附赠便携式速查手册+纯正英音朗读音频卡）
『简体书』 作者：慎小嶷 编著 出版：机械工业出版社 日期：2019-06-01 本书正文按照天数划分内容，在十天里紧密结合《剑14》对*雅思口语考试的应试策略进行了详尽的剖析，并结合《剑14》的考题特点提供了富有针对性的语言点讲解。 本书作者Pat老师有多年的英语国家生活经历，在使用地道英语表达对IELTS口语题库进行透析的同时，还对中 ... |
詳情>> | |
 |
少捕慎诉慎押实施问题研究 韩旭 少捕慎诉慎押刑事司法政策实施 社科法律专著
『简体书』 作者：韩旭 出版：中国政法大学出版社 日期：2023-08-01 2021年4月，中央全面依法治国委员会把“坚持少捕慎诉慎押刑事司法政策，依法推进非羁押强制措施适用”作为2021年度研究推进的重大问题和改革举措，首次将“少捕慎诉慎押”司法理念上升为党和国家的刑事司法政策。本书是国内第一部研究“少捕慎诉慎押”问题的专著，具有显 ... |
詳情>> | |
 |
慎斋遗书 中医临证经典文库
『简体书』 作者：[明]周之干 出版：中国中医药出版社 日期：2025-10-01 《慎斋遗书》是明代医家周之干晚年总结治学心得与临床经验的汇编，收录于《中国古医籍整理丛书》。全书共十卷，前五卷涵盖阴阳脏腑、气运经络、望色切脉等基础理论，并辑录古今名方90首；后五卷详细论述了寒热、内伤、虚损等内科杂病及妇人、小儿、五官、外科等90余种疾病的诊 ... |
詳情>> | |
 |
敬慎山房导引图
『简体书』 作者：程宝书、王鸿、刘贯宇 出版：中国医药科技出版社 日期：2022-10-01 导引是中国古代一种强身除病的养生方法，相当于现代的气功和体育疗法。为了弘扬导引之法，使这种濒临失传的疗法得以继承和发扬，让更多的民众免除病痛之苦，特将《敬慎山房导引图》进行整理，彩图部分重新着色，使之焕然一新，更臻精美。本书介绍了24种导引健身、疗病方法，简单 ... |
詳情>> | |
 |
说文段注撰要
『简体书』 作者： 出版：黄山书社 日期：2024-02-01 本书内容讲述: 清代段玉裁被后世誉为“集汉学派文字学大成”者, 其所著《说文解字注》, 是历代研究《说文》专著中之成果者, 也是研究文字学之人所为博且精者。清马寿龄为说文及段学研究名家, 其《说文段注撰要》为对段玉裁《说文解字注》的匡订、申补著作。清当涂人马寿 ... |
詳情>> | |
 |
中药理性撰要
『简体书』 作者：梁传亭，梁家胜，梁家汇 著 出版：中医古籍出版社 日期：2019-06-01 《中药理性撰要》搜集摘录了医药名家的上百种医药名著，针对中药性能理论部分的论述，参考现代药理研究，选择临床常用的301种中药，按药性分类顺序，分门别类地进行了性能归纳、性能应用及个人体会的纂写，用传统的中医理论指导药理性能，来增强对中药性能理论的认识。 《中 ... |
詳情>> | |
 |
纪事录笺证
『简体书』 作者：[明]俞木 撰 出版：中华书局 日期：2015-07-01 《纪事录笺证》主要讲的是《纪事录》，《纪事录》分上下两卷，以编年体记录元末至正十一年（1351）至明初建文四年（1402）的大章小节，内容涵盖战争、制度以至秘闻谣传、世情百态，语无顾忌，可补《明太祖实录》之阙，纠《实录》之误，辨《实录》之伪。作者俞本在元末兵兴 ... |
詳情>> | |
 |
传习录（古典名著全本全注全译） 王阳明 撰 岳麓书社出版
『简体书』 作者：[明]王守仁撰、萧无陂导读注译 出版：岳麓书社 日期：2023-04-01 《传习录》是王阳明与其弟子、友人的部分对话、书信的汇集，包含了王阳明的主要哲学思想，是研究阳明心学及其发展的重要资料。“古典名著全本全注全译”《传习录》为每条语录编写了序号，又在不改动文本次序的前提下，尽可能地将主题相同或相近的语录放置在一起，进行导读，并列出 ... |
詳情>> | |