证明_图书大全

非线性代数方程组与定理机器证明

ISBN：9787542813794

《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法...

非线性代数方程组与定理机器证明

证明的方法

ISBN：9787543828247

...

证明的方法

托福阅读一点通实践证明的TOEFL

ISBN：9787806455661

...

托福阅读一点通实践证明的 TOEFL

怎样寻求P(K+1)的证明

ISBN：9787534708084

...

怎样寻求 P K 1 的证明

人性的证明

ISBN：9787501425976

红极一时的家庭问题评论专家八杉恭子为了掩盖自己早年和一个美国黑人占领军同居的经历，保住自己和丈夫的地位及名誉，亲手刺死了自己的混血儿子，又谋害知情人以图灭口。更具有讽刺意义的是，这个杀人犯为了沽名钓...

人性的证明

刑事证明理论

ISBN：9787810877176

...

刑事证明理论

敦煌写经·黄仕强传.普贤菩萨说证明经

ISBN：9787819113954

...

敦煌写经黄仕强传普贤菩萨说证明经

民事证明责任研究

ISBN：9787503644412

如果说证明责任是民事证证据制度的核心，证明责任分配便是核心中的核心。证明责任的分配，横跨民事程序法与民事实体法两大法域，确定证明责任的分配，既要考虑到民事诉讼制度的自身规律和内在要求，又要考虑到民事...

民事证明责任研究

现代证明责任问题

ISBN：9787503631917

民事诉讼法学译丛》在同行们的企盼下终于问世了。 ...

现代证明责任问题

洛客班ROCK BANC人生证明(CD)

ISBN：9787880790290

...

洛客班 ROCK BANC 人生证明 CD

洛客班ROCK BANC人生证明PROOF OF LIFE(音带)

ISBN：9787880790306

...

洛客班 ROCK BANC 人生证明 PROOF OF LIFE 音带

记忆的证明二十九集电视连续剧29片装(VCD)

ISBN：9787799804736

...

记忆的证明二十九集电视连续剧 29片装 VCD

平面几何定理的机器证明

ISBN：9787543529809

...

平面几何定理的机器证明

高考新趋势拿分训练卷:数学(证明应用题部分) (平装)

ISBN：9787530344606

...

高考新趋势拿分训练卷数学证明应用题部分平装

平面几何证明方法全书

ISBN：9787560322155

《平面几何证明方法全书》全书共分三篇。第一篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质，如三角形中的巧合点问题、三角形中的数量及位置关系问题等...

平面几何证明方法全书

证明

ISBN：9787805666693

...

证明

权益的证明(中央电视台3?15晚会12年全纪录) (平装)

ISBN：9787500564300

...

权益的证明中央电视台 3 ? 15 晚会 12年全纪录平装

平面几何证明方法全书习题解答

ISBN：9787560322162

平面几何证明方法全书习题解答，ISBN：9787560322162，作者：沈文 ...

平面几何证明方法全书习题解答

几何定理计算机证明

ISBN：9787030155054

《几何定理计算机证明》主要内容包括：为推进高等师范院校数学系课程改革的现代化进程中，开设更多的现代课程来体现高等师范院校数学系的特色。多年来，作者经过3年的教学实验，修改成《几何定理计算机证明》一书...

几何定理计算机证明

推理与证明

ISBN：9787040181821

本书是普通高中新课程数学教学研究与资源丛书中的一本。本书是配合《普通高中数学课程标准(实验)》的实施而编写的，侧重于为实施新课程的教师提供与课程标准的理念、处理方法相匹配的数学教学资源，进而向教师提...

推理与证明

青春的证明

ISBN：9787805646855

小说分别描写了三个家庭。一位警察为了保护笠冈道太郎而牺牲了，笠冈便与他的女儿结了婚，因为没有感情，婚后生活并不美满；富家女朝山由美子的未婚夫矢村重夫在山上遇难。矢村的表兄便取而代之，与由美子结了婚；...

青春的证明

野性的证明

ISBN：9787805646862

在日本一个偏僻的小山村风道屯，一种叫做埃尔维尼亚的病菌污染了圆白菜，圆白菜成片成片地腐烂，发出阵阵的恶臭。但植物的恶臭却掩盖不了另一种恶臭---尸臭。全村男女老少十三口人，不知原由，全都惨遭杀害，尸...

野性的证明

人性的证明

ISBN：9787805646879

小说主要叙述了一个红极一时的家庭问题女评论家八杉恭子的故事。她为了掩盖自己早年和一个黑人同居的经历，并保住自己和丈夫的显赫地位及名誉，竟亲手刺死了自己的混血儿子，又谋害知情以图灭口。就是这样一个杀人...

人性的证明

Human Interactive Proofs真人交互证明/会议录

ISBN：9783540260011

This book constitutes the refereed proceedings of the Second International Workshop on Human Intera...

Human Interactive Proofs 真人交互证明会议录

初中数学-几何证明-龙门专题

ISBN：9787508811604

《龙门专题》这套书习题讲解详细而具体，不仅例题，而且每章后的练习题都有详细地解答过程，只要认真阅读和揣摩，就一定能起到举一反三的效果，这是非常难能可贵的。《龙门专题》所选的题目固...

初中数学几何证明龙门专题

方程求解与机器证明

ISBN：9787030178626

《方程求解与机器证明:基于MMP的问题求解》主要包括两部分内容：一是对MMP的基本功能的介绍，主要是前三章；二是通过MMP的实例介绍了数学机械化的基本理论与最新进展，特别是方程求解与机器证明方面的结...

方程求解与机器证明

效率证明能力

ISBN：9787502157760

没有效率的勤劳是一种可怕的坏习惯。它会吞掉你的精力，抢走你全部的家庭欢乐，消磨掉你思考问题的习惯，打乱你的人生方向，更重要也更有讽刺意味的是——它还会让你失去工作！　　世界上最伟大的运动...

效率证明能力

证据与证明

ISBN：9787801856005

...

证据与证明

来自圣经的证明

ISBN：9787506282253

作为一门历史悠久的学问，数学有她自身的文化和美学，就像文学和艺术一样。一方面，数学家们在努力开拓新领域、解决老问题；另一方面他们也在不断地从不同的角度反复学习、理解和欣赏前辈们的工作。的确，数学中有...

来自圣经的证明

世纪末的证明

ISBN：9787801143891

迄今为止，人类制止战争的方式不外乎两种——以和平制止战争和以战争制止战争。我们中国人感到，克林顿总统先生在性丑闻中夹起的尾巴，今天似乎竖得太高了。男人眼里所欣赏的女人，或多或少，总难免具有他少年时感...

世纪末的证明

野性的证明

ISBN：9787501428014

在日本一个偏僻的小山村风道屯，一种叫做埃尔维尼亚的病菌污染了圆白菜，圆白菜成片成片地腐烂，发出阵阵的恶臭。但植物的恶臭却掩盖不了另一种恶臭——尸臭。全村男女老少十三口人，不知原因，全部惨遭杀害，尸陈...

野性的证明

人性的证明

ISBN：9787501428007

《人性的证明》八杉恭子是一个悲剧性的人物。作为二次世界大战的战败国，八杉恭子的悲剧带有极强的社会烙印。在雾积，八杉恭子与黑人战领军同居，并育有一混血儿子。二十年后，在美国走投无路的混血儿子出现在她面...

人性的证明

青春的证明

ISBN：9787501428021

小说分别描写了三个家庭。一位警察为了保护笠冈道太郎而牺牲了，笠冈便与他的女儿结了婚，因为没有感情，婚后生活并不美满；富家女朝山由美子的未婚夫矢村重夫在登山遇难。矢村的表兄便取而代之，与由美子结了婚；...

青春的证明

死亡证明

ISBN：9787501429066

一份非正常的死亡证明将120急救中心的医生罗序刚，有着英模光环的110警察万广辉，为人师表的老师程丽英，无冕之王的女记者万卉卉等人卷进了一桩桩深不见底的黑色旋涡，他们的灵魂在金钱、法律、爱情与道德良...

死亡证明

中考几何证明题分析与训练

ISBN：9787534228759

...

中考几何证明题分析与训练

证明标准问题研究

ISBN：9787802174146

证明标准问题研究，ISBN：9787802174146，作者：段书臣 ...

证明标准问题研究

刑事证据与证明研究

ISBN：9787563363117

第一编导论第一章刑事证据制度的沿革第一节中国古代刑事证据制度第二节中国现行刑事证据制度及其特点第三节外国刑事诉讼证据制度的历史沿革 ...

刑事证据与证明研究

人性的证明新编

根据株式会社角川书店，1982年初版译出。本书以推理小说的形式，以一个女翻译员被谋杀为调查背景。一位到日本寻找女儿的中国女译员，深夜突然中毒身亡．日本警署侦探栋居从死者的一本小说集中得到...

人性的证明新编

刑事证明责任分配研究

ISBN：9787811094435

本书全面梳理了证明责任的概念和作用机制，进而提出了形式要素和实质要素相结合的证明责任分配原理：以刑事规范的逻辑结构为基础的形式分配原则：谁主张、谁举证，以及建立在刑事政策基础上的实质分配原则，也就是...

刑事证明责任分配研究

I新课标高中数学几何证明选讲选修IB

ISBN：9787303076734

...

I 新课标高中数学几何证明选讲选修 IB

诉讼证明科学

ISBN：9787811095456

证明与判断，是每个诉讼案件都涉及的核心问题，也渗透于法律事物的各个层面，作者以视野更加宽阔的方法论，对目前诉讼证明准确性的困境，进行了深刻的理性分析，构建了一个统一的法律证明体系，不仅努力揭示着诉讼...

诉讼证明科学

现代证明责任问题

ISBN：9787503663604

《现代证明责任问题》将注意力集中在客观证明责任方面，但是对与客观证明责任相邻和相关的现象，尤其是表见证明、推定、证明度以及自由证明评价，《现代证明责任问题》也进行了研究。本文在研究中主要涉及的是德国...

现代证明责任问题

证明与反驳

ISBN：9787309053975

《证明与反驳:数学发现的逻辑》是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新的发现产生过程的经典著作。书的主要内容包括作者用5年时间收集的两个典型的数学案例，以...

证明与反驳

不在场证明

ISBN：9787501439942

克莱斯顿市有名的房地产巨商突然死在宾馆套房内。差不多就在事情发生之后不多久，在距宾馆不远处的游艺场上，地方检察官助理哈蒙德与一个神秘女子邂逅，并且一见钟情。精明强干却又冷酷无情的斯密诺接手了这宗案件...

不在场证明

数理逻辑与机器证明

ISBN：9787030019196

本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. ...

数理逻辑与机器证明

刑事诉讼主张及其证明理论

ISBN：9787503672934

本书的主要观点和思路归纳如下：　　1．基本论点。本项研究的基本论点是：刑事证明的对象是诉讼主张，而不是案件事实。在现代诉讼模式下，诉讼各方都是为了说明其诉讼主张才进行证明的，刑事诉讼中从...

刑事诉讼主张及其证明理论

民事诉讼证明标准理论研究

ISBN：9787503673788

《民事诉讼证明标准理论研究》的研究方向主要涉及以下几个领域： (一)通过对证明标准基本理论的阐述，指出我国证明标准的概念及其理论研究上的诸多误区，其中在证明标准的概念上应注意，“证明度”具...

民事诉讼证明标准理论研究

几何证明选讲

ISBN：9787535542021

...

几何证明选讲

不等式的证明与解不等式 (平装)

ISBN：9787500072157

...

不等式的证明与解不等式平装

刑事证明责任研究

ISBN：9787301122969

本书从程序与实体的互动中研究刑事诉讼证明责任及相关问题，作者认为在对抗制诉讼模式下，刑事证明责任应建立“争点形成责任一疑点排除责任”的动态证明责任框架。即诉讼启动时争点形成责任由检察官承担，诉讼推进...

刑事证明责任研究