![]() |
登入帳戶
| 訂單查詢
| ![]() |
||
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
臺灣用戶 |
![]() |
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 | 服務:香港/台灣/澳門/海外 | 送貨:速遞/郵局/服務站 | ![]() |
在 大書城
以“
全文
模式”搜“
[明]罗贯中 著,盛巽昌,补证
”共有
4744
结果:![]() |
同時支援繁體 / 正體 / 简体字輸入搜索 |
![]() ![]() |
事实真伪不明与证明责任裁判
『简体书』 作者:张南日 出版:法律出版社 日期:2023-05-01 本书在系统梳理和批判性评价自罗马法以来,两大法系围绕证明责任问题所提出的各种学说和规则演进的基础上,结合实证研究所揭示的中国民事法官在证明责任裁判时所考量的多元因素和思路,提出了一套复合式、层进式的证明责任裁判标准和方法:规范说——导致事实真伪不明的证明过错——价值评价。其中,作者凭借其多年民事审判 ... |
詳情>> | |
![]() ![]() |
证明的故事:从勾股定理到现代数学
『简体书』 作者:[澳]约翰·史迪威[John Stillwell] 出版:人民邮电出版社 日期:2025-02-01 ·数学史泰斗约翰·史迪威“十年一剑”,数学史再出经典。 ·没有证明,我们就无法谈论真正的数学 ·无论在数学中还是在生活中,人类不仅要知道哪些东西是真的,哪些不是 ... |
詳情>> | |
![]() ![]() |
用实验证明成语(全2册)
『简体书』 作者:路虹剑 主编 出版:化学工业出版社 日期:2023-04-01 在多学科融合的大背景下,《用实验证明成语》系列定位于中小学生的课外阅读,由北京市十余所知名小学的科学老师们联合创作,用科学实验的方法再现成语中的现象,探究成语中 ... |
詳情>> | |
![]() ![]() |
环境侵权诉讼证明制度研究
『简体书』 作者:赖玉中 出版:中国政法大学出版社 日期:2025-01-01 本学术专著出版获得江西省高等学校人文社会科学重点研究基地课题“环境侵权诉讼证明制度研究”(JD16078)基金资助。本书基于保护中国公民生态环境利益的定位,系统地研究了环境侵权证明制度涉及到的各个部分,其中包括环境诉讼类型、侵权责任构成要件、原告适格、管辖、时效、证明责任分配、证明标准等九个部分的内 ... |
詳情>> | |
![]() ![]() |
Web 3 中的零知识证明
『简体书』 作者:高承实 出版:电子工业出版社 日期:2024-09-01 基于当前 Web 3 世界的快速发展,零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了 Web 3 的发展,以及当前的表现形态,第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么,以及如何构建零知识证明。第4章从技术层面介 ... |
詳情>> | |
![]() ![]() |
初中数学几何证明特训·上篇
『简体书』 作者:郭华敏 许峻 潘秀亮 主编 出版:南京大学出版社 日期:2024-07-01 初中几何入门的时候,由于平面几何不再用学生较为熟悉的代数运算的方法,而是用比较陌生的说理、推理、论证的研究方法,在运用“三段论”进行演绎推理时,学生常会遇到困难,几何证明题从何写起?如何合理地表达逻辑段?如何选择条件来用?本书是初中几何证明的专项练习图书,有针对性地帮助初中学生解决几何证明的痛点:从 ... |
詳情>> | |
![]() ![]() |
证明、论证以及零知识
『简体书』 作者:Justin Thaler 出版:东南大学出版社 日期:2024-12-01 本书全面系统地阐述了零知识证明算法的理论基础,设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起,本书阐述了不同计算复杂性模型下的简洁交互式论证构建,并详细描述了通用程序和可满足性电路之间的转换,通过多项式承诺方案实现简洁论证以及多项式承诺方案的多种实现。第1章到第3章介 ... |
詳情>> | |
![]() ![]() |
初中数学几何证明特训·下篇
『简体书』 作者:郭华敏 许峻 潘秀亮 主编 出版:南京大学出版社 日期:2024-07-01 几何是初中数学的重点和难点,初中数学要取得高分,必须跨越几何这座山。初中数学学科的逻辑思维要求较高,体现最为直观的就是几何问题的解决上,高分的取得主要取决于几何综合问题的分析和解决上。本套书是初中数学几何综合证明的专项练习图书,有针对性地帮助初中学生解决综合证明题的痛点:几何模型的推理、理解、掌握、 ... |
詳情>> | |
![]() ![]() |
毛泽东论中国历史人物——从轩辕黄帝到孙中山
『简体书』 作者:盛巽昌 出版:上海书店出版社 日期:2018-06-01 这是20世纪一位伟大政治家对自己国家的历史人物的定性、定位,发人深省、令人睿明,是我们读史习史的一把钥匙,也是认识*思维和行为的一份珍贵的文化遗产。 ... |
詳情>> | |
![]() ![]() |
論语廣辭
『简体书』 作者:羅雲鋒 出版:上海三联书店 日期:2022-07-01 本书稿是疏理《论语》之各章节义理,并以语法较为完整的古文补充相关省略因素而撰述之,既使其义理自明,又使其各节自成文章,自有思想逻辑,语意完足,而成一完足思想文本。具体包括:首先是确定《论语》所有章节的确切含义(《论语》全书凡六百章节许);其次是“广辞”的撰述:既要符合原文原意,又要详细阐述其义理或经 ... |
詳情>> | |
![]() ![]() |
证据为王:“阶层式”刑事证明思维的应用
『简体书』 作者:杜邈 出版:中国法制出版社 日期:2022-05-01 构建理论框架、研讨疑难问题、分析典型案例。 本书是司法实务人员查明案件真相、认定案件事实的参考用书。 ... |
詳情>> | |
![]() ![]() |
证明(十段相互映照的人间往事,写给逝去的人、失落的人,沉默的人、逃离的人)
『简体书』 作者:宥予 出版:广西师范大学出版社 日期:2025-04-01 小说界新来的年轻人,也是小说界陡然升起的一颗新星。——2023年8月长篇小说首作《撞空》出版之前,宥予仍是一个完全的文学素人;2024年,凭借《撞空》及收录于《 ... |
詳情>> | |
![]() ![]() |
康德与本体论证明的批判-(当代争论中的阐释与辩护)
『简体书』 作者:李科政著 出版:中国社会科学出版社 日期:2022-10-01 康德对本体论证明的批判在哲学史上具有重要的地位,因为它从根本上否定了理性神学的可能性,并使之彻底退出了哲学研究的中心舞台。然而,自20世纪中期以来,许多西方学者都对康德提出了质疑,试图挽救理性神学。近期,康德的批判及其核心论据(存在论题)也成了国内学者关注的焦点。本书结合最新的研究材料重新阐释了康德 ... |
詳情>> | |
![]() ![]() |
万千教育·哥德尔证明
『简体书』 作者:[美]欧内斯特·内格尔[Ernest,Nagel][美]詹姆 出版:中国轻工业出版社 日期:2021-03-01 进入哥德尔不完全性定理的简明指南 短小精悍的篇幅囊括证明的核心论题 详细的脚注进一步明确了术语和陈述 《哥德尔、艾舍尔、巴赫》前传之作 ... |
詳情>> | |
![]() ![]() |
证明
『简体书』 作者:松本清张 出版:东方出版社 日期:2018-01-01 松本清张那么多小说中,如果要选读一本了解他的小说风格,这本不应该错过。 ... |
詳情>> | |
![]() ![]() |
绝对不在场证明系列(全2册)(短篇推理之神大山诚一郎,聚焦不在场证明的杰作!快节奏、零废话、神反转!
『简体书』 作者:[日]大山诚一郎,曹逸冰 出版:北京日报出版社 日期:2023-01-01 ◆ 短篇推理之神大山诚一郎聚焦不在场证明的推理杰作! ◆ 破解一切不在场证明诡计,本质是看穿时间的漏洞! ◆ 本格推理BEST10排行榜TOP 1! ◆ ... |
詳情>> | |
![]() ![]() |
证明的力量:高中数学推理与证明问题
『简体书』 作者:赵玉梅 出版:上海教育出版社 日期:2021-11-01 数学证明是数学的重要特征,提供给学生的是普遍性的真理。逻辑思维能力是数学能力的重要组成部分,数学证明对人的逻辑思维能力的训练有着其它学科内容无法替代的作用。在长期的高中数学教学中,作者以严谨踏实、勤奋务实的教风潜移默化地培养学生求真向上的学习品格. 课堂教学中,注重启发引导,尝试问题设计,强调主动学 ... |
詳情>> | |
![]() ![]() |
大家小史:近代大师那些事儿
『简体书』 作者:盛巽昌,李子迟 出版:当代世界出版社 日期:2019-03-01 ★胡适、鲁迅、郁达夫、王国维、李叔同、林语堂、徐志摩、齐白石、季羡林、启功、钱学森110余位民国大师的谐趣小事,让你看到大师们光环之下有血有肉、机智幽默的一面。 ... |
詳情>> | |
![]() ![]() |
机器证明的逻辑推定
『简体书』 作者:李娜 出版:科学出版社 日期:2023-06-01 逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术,而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明一种自然推理证明。其次,用逻 ... |
詳情>> | |
![]() ![]() |
结构证明论(第二版)
『简体书』 作者:马明辉 出版:科学出版社 日期:2023-06-01 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝,它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上,给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则,区分不同类型的矢列演算,并且以切割消除为工具,给出了插值性质、可判定性等问题的证明. 本 ... |
詳情>> | |
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
megBook.com.hk | |
Copyright © 2013 - 2025 (香港)大書城有限公司 All Rights Reserved. |