購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
[明]杨慎 撰，王大淳 箋證
”共有
9178
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实 ... |
詳情>> | |
 |
刑事证明结构：运行与优化
『简体书』 作者：李昌盛 出版：中国政法大学出版社 日期：2023-07-01 对刑事司法的参与者来说，刑事诉讼是由一系列具有不同角色的主体前后相继的判断活动所组成的。此种判断活动由两部分组成：一为以法律为根据的规范性判断活动；二为以证据为基础的事实性判断活动。本书围绕刑事证明的结构、参与方、证明责任、证明标准的功能与比较等展开论述，并对一些典型错案展开分析与反思，在此基础上对 ... |
詳情>> | |
 |
数学天书中的证明（第六版）
『简体书』 作者：Martin Aigner， Günte 出版：高等教育出版社 日期：2022-08-01 本书介绍了45个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书， 也不是一本专著，而是一本开阔数学视野和提高数学修养的著作。希望每一个数学爱好者都会喜欢这本书，并且从中学到 ... |
詳情>> | |
 |
关联的证明——博风建筑设计实践
『简体书』 作者：王方戟、肖潇、董晓 出版：同济大学出版社 日期：2024-01-01 在建筑设计中，建筑师要面对诸多的设计条件，每个项目中设计条件又有诸多不同的排列组合方式，这造成了具体建筑设计手法的多样化。《关联的证明》试图对作者所在设计公司相关建筑设计理念的梳理，寻找出在不同状况下整合项目条件的有效思考与推进方式。主要内容包括对建筑设计方法的理论阐述、与理论相结合的实践案例展示， ... |
詳情>> | |
 |
社会科学证据的司法证明
『简体书』 作者：王星译 出版：法律出版社 日期：2022-09-01 本文从规范研究的立场出发，倡导“多元证据形式的统一证据方法”的整合路径，即以证明指向为导向，将专门性问题的解决整合于统一的专家这一证据方法，并包容不同的证据形式。这是因为社会科学证据并不具有被推定的可靠性，反而，其蕴含的推论性信息与统计学数据可能存在可靠性风险。为此，应当通过一系列矫正风险的程序性机 ... |
詳情>> | |
 |
纪事录笺证
『简体书』 作者：[明]俞木 撰 出版：中华书局 日期：2015-07-01 《纪事录》原名《皇明纪事录》，元末明初俞本撰，后由张大同删定，易名为《明兴野记》。俞本编著的《纪事录笺证》分上下两卷，以编年体记录元末至正十一年（1351）至明 ... |
詳情>> | |
 |
中医临床丛书重刊——慎柔五书
『简体书』 作者：胡慎柔 出版：人民卫生出版社 日期：2023-05-01 1.本书由“中医临床必读丛书”精选而来。该丛书畅销十余年，累计数百万销量，久居图书畅销榜前列。2.所选医籍，多为医家推崇，尊为必读经典医籍，占有重要的学术地位。3.所选医籍均为各位专家遴选精善底本，加以严谨校堪，为读者提供精确的原文。4.本次修订拟从开本、装帧形式、用纸方面进行调整，同时针对原书错讹 ... |
詳情>> | |
 |
黑格尔哲学中的证明原则
『简体书』 作者：丁宁 出版：中国社会科学出版社 日期：2020-06-01 证明的原则是黑格尔哲学建构的基本实现形式，也是理解西方传统哲学的一个抓手。 《黑格尔哲学中的证明原则》从形式与内容的角度出发，结合着哲学史和黑格尔的相关文本来阐述这一原则在其哲学中的具体体现。它首先表现为事物自身（真理或上帝）的展开。在展开过程中又包含着否定性的环节，所以，证明的原则是和辩证法相关 ... |
詳情>> | |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了 ... |
詳情>> | |
 |
慎小嶷：十天突破雅思写作 剑12版（赠便携式速查手册+作业本+纯正英音朗读音频卡）
『简体书』 作者：慎小嶷著 出版：机械工业出版社 日期：2017-07-01 全新剑12版上市，欢迎选购 慎小嶷：十天突破雅思口语剑12版（附赠便携式学习手册纯正英音朗读音频卡） 慎小嶷：十天突破雅思写作剑12版（附赠便携式学习手册纯 ... |
詳情>> | |
 |
魏晋才子传笺证
『简体书』 作者：袁济喜著 出版：中国社会科学出版社 日期：2016-12-01 本书拟在既有的《唐才子传笺证》《宋才子传笺证》基础之上，以史书上的魏晋文学与文化人物传作为基础，糅合今人的研究成果加以整合。在传记基础之上，广泛采集古今人物传记资料，通过笺证，对于人物传记进行考辨与存真。恢复人物的本来面貌。同时有所创新。本项目重在文献资料的整理与疏证方面，同时体现出自身的研究观点。 ... |
詳情>> | |
 |
静修刘先生文集
『简体书』 作者：刘因 撰， 北京大学《儒藏》编纂与研究中心， 邱居里 出版：北京大学出版社 日期：2024-08-01 刘因与许衡、吴澄并称元代大儒，《静修刘先生文集》是其平生诗词文赋作品的集合，从中可一窥刘因的学术思想及元代的文化特征。 ... |
詳情>> | |
 |
象山先生全集 《儒藏》精华编选刊
『简体书』 作者：陆九渊 撰， 王武子 校点， 北京大学《儒藏》编纂与研究中心 出版：北京大学出版社 日期：2024-11-01 此次整理，以《四部丛刊初编》影印明嘉靖四十年何迁刻本为底本，校以明正德十六年李茂元刻本，参校道光三年金?G槐堂陆邦瑞刻本，并吸收喻震孟《陆象山先生文集校勘略》的 ... |
詳情>> | |
 |
战国策笺证（上下）（精装）
『简体书』 作者：刘向 出版：上海古籍出版社 日期：2006-12-01 《战国策笺证》上下是战国时期策士及各类人士纵论国事与时势的言论辑录。全书文笔优美，记述生动，反映出战国时期特有的社会风貌，是研究战国社会历史的重要史料。但是，该书内容庞杂，前后矛盾，难题甚多，前人整理该书付出了很多心血，然而，迄今为止，还没有理想的整理本、注释本问世。范祥雍先生花费几十年功夫完成 ... |
詳情>> | |
 |
红楼梦精华笺证（全三册）
『简体书』 作者：曹雪芹原著 杨义笺证 出版：文化艺术出版社 日期：2021-07-01 《红楼梦》的过程中，对这一文学名著，加以精细解读，是他古今贯通，文史哲贯通，开拓文学图志学、文学地理学、文学民族学、中国叙事学、诸子还原学、经典文本生命分析等学科分支和思想文化领域的成功的学术实践，因而他对《红楼梦》的研究，一是能够从文化本源脐带、包括与儒学、佛学、道学上揭示其深层奥秘；二是能够从民 ... |
詳情>> | |
 |
四库全书馆密函——于敏中致陆锡熊手札笺证（精）
『简体书』 作者：于敏中 出版：中华书局 日期：2023-07-01 一、珍贵史料：正总裁写给总纂官的亲笔信札，反映了四库馆前期编纂《四库全书》的生动细节，史料珍贵，也揭秘乾隆皇帝纂修《四库全书》的诸多意旨。 二、准确释读：信札 ... |
詳情>> | |
 |
身份基类哈希证明系统的构造及应用
『简体书』 作者：周彦伟 出版：西安电子科技大学出版社 日期：2023-12-01 “数据安全与隐私保护丛书”旨在为各行各业的科技工作者、管理工作者和企业技术人员提供一套较为完整的基础丛书，帮助读者较为系统地学习网络与数据安全方面的相关理论、算 ... |
詳情>> | |
 |
数学写真集（第3季）—无需语言的证明
『简体书』 作者：范兴亚 管涛 程晓亮 等著 出版：机械工业出版社 日期：2022-06-01 本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数学杂志中一流数学家发表的文章。 ... |
詳情>> | |
 |
数学写真集（第2季）—无需语言的证明
『简体书』 作者：Roger B. Nelsen 出版：机械工业出版社 日期：2022-07-01 本书由131个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数学杂志中一流数学家发表的文章。 ... |
詳情>> | |
 |
用实验证明古诗（全2册）
『简体书』 作者：路虹剑 主编 出版：化学工业出版社 日期：2019-02-01 本选题通过解读国学中的诗词经典 ，用科学实验来证明诗词中描绘的情景并做科学知识的拓展和讲解。特点是将中国传统文化和现代科学巧妙结合起来；由北京市小学在校科学老师 ... |
詳情>> | |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |