![]() |
登入帳戶
| 訂單查詢
| ![]() |
||
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
臺灣用戶 |
![]() |
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 | 服務:香港/台灣/澳門/海外 | 送貨:速遞/郵局/服務站 | ![]() |
在 大書城
以“
全文
模式”搜“
[明]罗贯中 著,盛巽昌,补证
”共有
4744
结果:![]() |
同時支援繁體 / 正體 / 简体字輸入搜索 |
![]() ![]() |
清畫全集 第十七卷 第八册(羅聘、王素等)
『简体书』 作者: 出版:浙江大学出版社 日期: ... |
詳情>> | |
![]() ![]() |
自然数的紧化延伸机器证明系统
『简体书』 作者:郁文生,窦国威 出版:科学出版社 日期:2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq, 在Morse-Kelley 公理化集合论形式化系统下,给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统, 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实 ... |
詳情>> | |
![]() ![]() |
刑事证明结构:运行与优化
『简体书』 作者:李昌盛 出版:中国政法大学出版社 日期:2023-07-01 对刑事司法的参与者来说,刑事诉讼是由一系列具有不同角色的主体前后相继的判断活动所组成的。此种判断活动由两部分组成:一为以法律为根据的规范性判断活动;二为以证据为基础的事实性判断活动。本书围绕刑事证明的结构、参与方、证明责任、证明标准的功能与比较等展开论述,并对一些典型错案展开分析与反思,在此基础上对 ... |
詳情>> | |
![]() ![]() |
数学天书中的证明(第六版)
『简体书』 作者:Martin Aigner, Günte 出版:高等教育出版社 日期:2022-08-01 本书介绍了45个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书, 也不是一本专著,而是一本开阔数学视野和提高数学修养的著作。希望每一个数学爱好者都会喜欢这本书,并且从中学到 ... |
詳情>> | |
![]() ![]() |
关联的证明——博风建筑设计实践
『简体书』 作者:王方戟、肖潇、董晓 出版:同济大学出版社 日期:2024-01-01 在建筑设计中,建筑师要面对诸多的设计条件,每个项目中设计条件又有诸多不同的排列组合方式,这造成了具体建筑设计手法的多样化。《关联的证明》试图对作者所在设计公司相关建筑设计理念的梳理,寻找出在不同状况下整合项目条件的有效思考与推进方式。主要内容包括对建筑设计方法的理论阐述、与理论相结合的实践案例展示, ... |
詳情>> | |
![]() ![]() |
社会科学证据的司法证明
『简体书』 作者:王星译 出版:法律出版社 日期:2022-09-01 本文从规范研究的立场出发,倡导“多元证据形式的统一证据方法”的整合路径,即以证明指向为导向,将专门性问题的解决整合于统一的专家这一证据方法,并包容不同的证据形式。这是因为社会科学证据并不具有被推定的可靠性,反而,其蕴含的推论性信息与统计学数据可能存在可靠性风险。为此,应当通过一系列矫正风险的程序性机 ... |
詳情>> | |
![]() ![]() |
黑格尔哲学中的证明原则
『简体书』 作者:丁宁 出版:中国社会科学出版社 日期:2020-06-01 证明的原则是黑格尔哲学建构的基本实现形式,也是理解西方传统哲学的一个抓手。 《黑格尔哲学中的证明原则》从形式与内容的角度出发,结合着哲学史和黑格尔的相关文本来阐述这一原则在其哲学中的具体体现。它首先表现为事物自身(真理或上帝)的展开。在展开过程中又包含着否定性的环节,所以,证明的原则是和辩证法相关 ... |
詳情>> | |
![]() ![]() |
分析基础机器证明系统
『简体书』 作者:郁文生,付尧顺,郭礼权 出版:科学出版社 日期:2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了 ... |
詳情>> | |
![]() ![]() |
通俗编 附直语补证(全2册·平装繁体横排)
『简体书』 作者: 出版:中华书局 日期: ... |
詳情>> | |
![]() ![]() |
身份基类哈希证明系统的构造及应用
『简体书』 作者:周彦伟 出版:西安电子科技大学出版社 日期:2023-12-01 “数据安全与隐私保护丛书”旨在为各行各业的科技工作者、管理工作者和企业技术人员提供一套较为完整的基础丛书,帮助读者较为系统地学习网络与数据安全方面的相关理论、算 ... |
詳情>> | |
![]() ![]() |
数学写真集(第3季)—无需语言的证明
『简体书』 作者:范兴亚 管涛 程晓亮 等著 出版:机械工业出版社 日期:2022-06-01 本书由一百多个“无需语言的证明”的图片组成,每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时,读者便能够体会到数学绝妙的美,所以这本书叫做数学写真集。书中的素材选取自国际顶尖数学杂志中一流数学家发表的文章。 ... |
詳情>> | |
![]() ![]() |
数学写真集(第2季)—无需语言的证明
『简体书』 作者:Roger B. Nelsen 出版:机械工业出版社 日期:2022-07-01 本书由131个“无需语言的证明”的图片组成,每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时,读者便能够体会到数学绝妙的美,所以这本书叫做数学写真集。书中的素材选取自国际顶尖数学杂志中一流数学家发表的文章。 ... |
詳情>> | |
![]() ![]() |
用实验证明古诗(全2册)
『简体书』 作者:路虹剑 主编 出版:化学工业出版社 日期:2019-02-01 本选题通过解读国学中的诗词经典 ,用科学实验来证明诗词中描绘的情景并做科学知识的拓展和讲解。特点是将中国传统文化和现代科学巧妙结合起来;由北京市小学在校科学老师 ... |
詳情>> | |
![]() ![]() |
代数不等式的证明
『简体书』 作者:单墫 出版:中国科学技术大学出版社 日期:2021-06-01 本书主要讨论代数不等式的证明,共6章.第0章介绍预备知识,第1~4章分别介绍含两个字母的不等式、含三个字母的不等式、含四个字母的不等式、含n个字母的不等式,第5章介绍与小.本书的特点是将重点放在如何寻求不等式的证明上,在分析、思索过程方面做了详细介绍. 本书适合中学数学教师和对代数不等式感兴趣 ... |
詳情>> | |
![]() ![]() |
(数学科学文化理念传播丛书)(第一辑)数学证明是怎样的一项数学活动?(09)
『简体书』 作者:萧文强 出版:大连理工大学出版社 日期:2023-03-01 本书首先引用了《辞海》中证明的定义,又通过一些传统故事说明我们在生活中与证明息息相关,证明不仅局限于数学,进而说明了证明的作用、证明与理解的关系和区别以及证明方 ... |
詳情>> | |
![]() ![]() |
保险事故诉讼证明问题研究 ALB“2020年中国十五佳律师新星”黄华珍博士著
『简体书』 作者:黄华珍 出版:北京大学出版社 日期:2023-11-01 本书以保险诉讼中疑难复杂证明问题为例,研究表明证明责任过程意义重于结果意义,分析了受判例法影响的我国保险法在证据法上与国内主流的德系的证明责任分配说如何衔接。本 ... |
詳情>> | |
![]() ![]() |
法教义学视野下的证明责任问题
『简体书』 作者:袁中华 出版:法律出版社 日期:2021-05-01 全书以“证明责任”为核心突破点,证明责任问题的关键在于方法论。传统规范说忽略了目的解释等方法,对此应当予以修正。全书以修正规范说的法教义,并结合各种法解释方法对具体的民法法规范展开解释,方能确定各种具体的证明责任分配方案。 ... |
詳情>> | |
![]() ![]() |
制度角色与制度能力——死刑案件证明标准研究
『简体书』 作者:陈虎 出版:北京大学出版社 日期:2021-08-01 本书对死刑案件证明标准降格适用的现象及其原因等问题进行了深入的分析和探究,对死刑案件证明标准改革提出了相当有针对性和富有洞见的建议。 ... |
詳情>> | |
![]() ![]() |
优美的数学思维:问题求解与证明(原书第2版)
『简体书』 作者:[美]约翰?,P.迪?,安格罗[John P.D',Ang 出版:机械工业出版社 日期:2020-09-01 本书介绍代数学、数论、组合学和分析学的基本知识。我们使用大量广泛涉及多个不同数学领域的素材介绍证明技术并强调这些不同领域主题之间的相互作用。 ... |
詳情>> | |
![]() ![]() |
无字证明精选:中学生能看懂的198个趣题
『简体书』 作者:范兴亚 管涛 崔佳佳 李萌 出版:机械工业出版社 日期:2024-03-01 这就是为什么有人会爱上数学 ... |
詳情>> | |
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
megBook.com.hk | |
Copyright © 2013 - 2025 (香港)大書城有限公司 All Rights Reserved. |