![]() |
登入帳戶
| 訂單查詢
| ![]() |
||
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
臺灣用戶 |
![]() |
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 | 服務:香港/台灣/澳門/海外 | 送貨:速遞/郵局/服務站 | ![]() |
在 大書城
以“
全文
模式”搜“
[明]罗贯中 著,盛巽昌,补证
”共有
4744
结果:![]() |
同時支援繁體 / 正體 / 简体字輸入搜索 |
![]() ![]() |
基于时序逻辑的Resolution自动定理证明方法
『简体书』 作者:章岚 出版:首都经济贸易大学出版社 日期:2021-09-01 时序逻辑是人工智能和计算机科学领域中的重要建模工具。随着时序逻辑的广泛使用,应用时序逻辑来对复杂系统进行推理和验证的算法也应运而生。其中成功的方法之一就是Resolution算法,这也是本书的主题。 1965年美国数理逻辑专家鲁滨逊(J. A. Robinson)提出了一条Resolution推理 ... |
詳情>> | |
![]() ![]() |
不在场证明谜案(超绝CP陷入冤案!日本文坛超新星推理作家——辻堂梦代表作首次引进!)
『简体书』 作者:[日]辻堂梦 张佳东 出版:贵州人民出版社 日期:2024-09-01 ★屡获推理重磅大奖!日本文坛新星作家——辻堂梦代表作首次引进! 获得“这本推理小说了不起”大奖优秀奖、吉川英治文学新人奖、大薮春彦奖,入围日本推理作家协会奖。 ... |
詳情>> | |
![]() ![]() |
死刑案件证明标准研究
『简体书』 作者:陈虎 出版:知识产权出版社 日期:2015-07-01 我国法定证明标准十分严格,但是在实践中却经常出现留有余地的判决,证明标准的表达与实践之间呈现出一种悖反关系。本书研究了留有余地判决方式产生的原因,并针对理论界修改死刑案件证明标准的几种思路进行了细致的学理分析,提出借提高死刑案件证明标准的方式防止死刑误判无助于问题的解决,应该结合犯罪论体系,对死刑案 ... |
詳情>> | |
![]() ![]() |
民事诉讼证明妨碍规则之具体适用
『简体书』 作者:包冰峰 出版:厦门大学出版社 日期:2015-06-01 本书主题是民事诉讼证明妨碍规则之具体适用,属于我社与西南政法大学法学院合作的西南政法大学民事证据规则系列最新选题成果。作者包冰锋为西南政法大学法学院副教授,法学博士。曾出版专著《民事诉讼证明妨碍制度研究》,合著《民事诉讼法律精要与依据指引》《民事诉讼法基本原则与制度》等。其中,个人专著《民事诉讼证明 ... |
詳情>> | |
![]() ![]() |
犯罪主观要件证明问题研究
『简体书』 作者:王彪著 出版:法律出版社 日期:2016-05-01 本书是在同名博士学位论文的基础上修改而成的。作者在分析梳理主观要件证明困难及其原因的基础上,就克服困难的常规方法和特殊方法进行了系统考察,并结合相关司法解释和规范性文件,对明知、非法占有目的、犯罪故意(意志因素)和犯罪过失的证明问题进行了深入研究,最后对克服犯罪主观要件证明困难的现实路径提出了建设性 ... |
詳情>> | |
![]() ![]() |
刑事证明中的事实研究
『简体书』 作者:周洪波 出版:上海人民出版社 日期:2016-11-01 本书的研究是为了突出事实问题在诉讼法学中的重要意义,同时更希望突出中国问题意识,运用正确的思路和研究方法,为事实问题的理解得供一些更有意义的说法,为中国刑事诉讼 ... |
詳情>> | |
![]() ![]() |
量刑证据与证明问题研究
『简体书』 作者:张吉喜 出版:中国人民公安大学出版社 日期:2015-07-01 《量刑证据与证明问题研究》以刑事裁判文书为样本,分析量刑事实的证明与认定的现状,探讨量刑事实证明与认定的司法实践对量刑证据理论研究和其他相关问题的启示。在此基础上,研究量刑证据的证据能力、量刑事实的举证责任和证明标准、死刑案件中的量刑证明标准以及社会调查报告、被害人影响陈述和社区影响陈述三类量刑证据 ... |
詳情>> | |
![]() ![]() |
数学天书中的证明(第五版)
『简体书』 作者:冯荣权 宋春伟 宗传明 李璐 出版:高等教育出版社 日期:2016-03-01 《数学天书中的证明》又出新版了。本书第三版的中文版于2009年5月出版,之后又出版了第四版,此次是第五版。 大家是不是觉得《数学天书中的证明》这书名很上口 ... |
詳情>> | |
![]() ![]() |
数学证明(珍藏版)
『简体书』 作者:萧文强 出版:大连理工大学出版社 日期:2016-02-01 大家在中小学课程里都会碰到某种程度的数学证明,有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种功夫在数学活动中有何作用?它是否真正确立了无可置疑的结论?它是事后的装扮功夫抑或它能导致前所未知的新发现?这种独特的思考方式是怎样发展起来的?萧文强编著的这本《数学证明珍藏版》从数学史的角度 ... |
詳情>> | |
![]() ![]() |
人性的证明:行走在人性的边缘 前路是否有尽头(日本推理作家森村诚一的扛鼎之作《证明三部曲之一》)
『简体书』 作者:[日]森村诚一 出版:群众出版社 日期:2022-04-01 ★“江户川乱步奖” “吉川英治文学奖”“日本推理作家协会奖”获奖作家森村诚一的扛鼎之作。 ★《人性的证明》是森村诚一有影响力的杰作,也是日本推理小说的扛鼎之作 ... |
詳情>> | |
![]() ![]() |
野性的证明:若失去了血性 他将不再活着(日本推理作家森村诚一的扛鼎之作《证明三部曲之一》)
『简体书』 作者:[日]森村诚一 出版:群众出版社 日期:2022-04-01 在偏僻的小山村风道屯,发生了一起恶性杀人案件,共有十三人死于非命。没有抢劫财物的迹象,也并非情杀。那么,凶手作案的动机到底是什么呢?日本警视厅成立了庞大的专案组,历经数年,查证了所有的疑点,找到了所谓的答案。然而,事情的真相果真如此吗? ...... ... |
詳情>> | |
![]() ![]() |
知识日记+考前唤醒 高中数学 数列、不等式、推理与证明(酷练版)
『简体书』 作者:薛超喜 出版:首都师范大学出版社 日期:2017-06-01 做题能够巩固知识、提升能力,为了帮助学生有效做题、精准训练,我们特意策划本套图书《知识日记+考前唤醒》,以期使学生能够练得精、练得准、练得高效!本分册是高中数学数列、不等式、推理与证明,针对高二高三学生,特别设计了知识练、趣味练、易错练、能力练、特色练、真题练等模块,专项整理,各个击破,更有利于学生 ... |
詳情>> | |
![]() ![]() |
梦想会证明一切
『简体书』 作者:李婧 出版:青岛出版社 日期:2016-05-01 1、这是一本陪伴你醒悟、成长的书。坚强有力地生活,做一个独立的人,不任性不萎靡,一切美好的事物都应该跋山涉水。 李婧以mumudancing为笔名,在豆瓣被 ... |
詳情>> | |
![]() ![]() |
程序正确性证明方法
『简体书』 作者: 出版:上海财经大学出版社 日期: ... |
詳情>> | |
![]() ![]() |
伽罗瓦群论之美--高次方程不可根式求解证明赏析
『简体书』 作者:盛新庆 出版:清华大学出版社 日期:2021-06-01 本书试图用通俗的语言,清澈和完整地阐释高次方程不可根式求解的秘密。通过剖析,通过与绘画、诗歌等艺术创作的比较,试图进一步揭示群论的力量之源、揭示思想的特质和力量 ... |
詳情>> | |
![]() ![]() |
刑、民诉讼证明制度比较研究
『简体书』 作者:李丽峰著 出版:法律出版社 日期:2016-07-01 以诉讼证明的基本组成要素为体系构造,以我国现行的刑事、民事诉讼证据和证明制度为主要内容,以比较分析为研究视角和方法是本书的研究特色。 开篇阐述了证明和证明制度的基本理论,分析了刑、民诉讼证明问题的异同及原因;围绕着证明的主要环节,论述了证明对象、证明责任、证明标准的基础理论,介 绍了我国现行制度 ... |
詳情>> | |
![]() ![]() |
论初等几何定理的机器证明与消去法
『简体书』 作者:朱望规 出版:国防工业出版社 日期:2016-06-01 朱望规所*的《论初等几何定理的机器证明与消去法》介绍了初等几何机器证明,重点是消去法。首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提)。再将定理的结论形成gj公式组。消去法是对gj逐个用Fi(Fn,Fn-1,,F1)做消去,*后如 ... |
詳情>> | |
![]() ![]() |
证明与布丁(数学家吉姆·亨勒用一支铅笔探索数学和烹饪之间的本质联系)
『简体书』 作者:【美】吉姆·亨勒,殷倩 出版:湖南科技出版社 日期:2019-10-01 这本《证明与布丁》是一道为吃货们准备的可口的趣味数学菜肴。从数学和美食学的角度,作者对美学、创造力、灵感、策略、天赋和堕落都有独到的看法全在这本书里。 20世 ... |
詳情>> | |
![]() ![]() |
你不必向这个世界证明什么(明朝一哥王阳明作者吕峥首部励志作品)
『简体书』 作者:吕峥 出版:台海出版社 日期:2017-07-01 1、《你不必向这个世界证明什么》余世存、解玺璋、十年砍柴、雾满拦江诸多大神级作家倾情推荐,吴晓波十点读书诚意推荐。 2、微信公众号大v(粉丝目前已经超过50万 ... |
詳情>> | |
![]() ![]() |
我无法证明岁月有脚-西方经典随感诗(步客口袋书)
『简体书』 作者:[英]威廉·布莱克等 出版:外语教学与研究出版社 日期:2017-07-01 在喧闹、生活步调不断加快的现代社会中,若能静下心来读一首优美的诗,寻求内心的一点点平静感,那该是多么 怡人的一件事啊! ... |
詳情>> | |
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
megBook.com.hk | |
Copyright © 2013 - 2025 (香港)大書城有限公司 All Rights Reserved. |