当前位置:首页 > 名称

大约有507,957项符合查询结果项。(搜索耗时:0.8243秒)

为您推荐: 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明

  • 青春证明

    (日)森村诚一著;徐京宁等译2017 年出版301 页ISBN:9787501455171

    本书写于二十世纪七十年代,是给森村诚一带来莫大声誉证明”三部曲之一。这部作品堪称森村诚一所有小说中格局最为宏大,技巧最为成熟一部。众多出场人物,繁多故事线索,却在作者驾驭下左右逢源,游刃有...

  • 贝蒂定理与拉姆贝克-莫斯尔定理

    刘培杰编著2012 年出版97 页ISBN:9787560337708

    本书从一个拣石子游戏谈起,介绍了贝蒂定理与拉姆贝克-莫斯尔定理,同时给出了一些应用。本书适合数学爱好者参考阅读。

  • 模仿陷阱与经济赶超 中国等后发国家低价工业化实现赶超理论证明

    魏枫著2012 年出版192 页ISBN:9787811295542

    一个国家技术发展路线由模仿到创新是否具有内在转换机制?如果具有,这一机制是什么?现实世界当中众多国家陷于贫困,没能顺利实现由模仿过渡到创新,是哪些条件不具备,或者说是哪些因素制约着这种转换发生?......

  • 数学天书中证明 第5版

    冯荣权,宋春伟,宗传明,李璐译;(德)剂格勒著2016 年出版344 页ISBN:7040444097

    本书介绍了45个著名数学问题极富创造性和独具匠心证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚数学家将这类杰作比喻为上帝创造。这不是一本教科书, 也不...

  • 论双生、对偶、三奇素数组分布 关于《哥德巴赫猜想》、《双生素数猜想》初等证明

    丁大千著2005 年出版131 页ISBN:7810932136

    本书在研究分析素数分布规律基础上,运用一般数学(非高等数学),用埃拉多斯染尼氏筛法,即古典筛法,找到了双生、对偶、三奇素数组分布计算模式,获得了各精解、简化解及重要结论,对于一些素数组实际分布情形,......

  • 不完备性 哥德尔证明和悖论

    (美)丽贝卡·戈德斯坦著2008 年出版227 页ISBN:7535752454

    20世纪早期见证了经典物理和数学基础假设遭受几次打击。相对论颠覆了约定俗成时空观念。量子世界研究挑战因果效应基本观念。最为惊人是,对于一切科学基础——数学,不完备性定理揭示了将数学理...

  • LAX定理和ARTIN定理

    戴执中,佩捷编著2017 年出版170 页ISBN:9787560366890

    本书通过一道IMO试题研究讨论拉克斯定理和阿廷定理,并着重介绍了希尔伯特第十七问题基本知识及内容以及其在数学其他领域相关应用。全书共分2章及3个附录。本书可供从事这一数学分支或相关学科数学工...

  • 犯罪主观要件证明问题研究

    阮堂辉著2017 年出版228 页ISBN:9787520317313

    现代刑事司法虽然坚持无罪推定原则,崇尚谦抑精神,但司法实践中由于主观要件得不到认定而可能放纵犯罪现实状况依然存在,这严重削弱了司法公信力,令人担忧和难以容忍。为克服司法实践这一困境,理论界与实务界...

  • 刑事诉讼中严格证明

    胡帅著2012 年出版204 页ISBN:9787510905469

    本书对经典理论中严格证明进行了系统化改造,力图建立起一个具有中国特色层次分明、衔接有致证明体系,以实现我国刑事证明制度规范化、精密化发展。本书主要分为五大部分:第一章“严格证明概述”,对严格...

出版时间

全部

ZHA年(1)

10年(3)

11年(3)

12年(1)

15年(1)

151年(1)

1737年(1)

1820年(1)

1851年(1)

1888年(1)

1894年(1)

1899年(1)

1900年(1)

1908年(2)

1909年(2)

1910年(1)

1911年(2)

1912年(2)

1913年(4)

1914年(3)

1915年(2)

1916年(6)

1917年(10)

1919年(8)

1920年(10)

1921年(12)

1922年(25)

1923年(29)

1924年(26)

1925年(71)

1926年(55)

1927年(101)

1928年(142)

1929年(240)

1930年(266)

1931年(150)

1932年(123)

1933年(258)

1934年(206)

1935年(235)

1936年(309)

1937年(278)

1938年(299)

1939年(190)

1940年(163)

1941年(163)

1942年(97)

1943年(88)

1944年(103)

1945年(116)

1946年(278)

1947年(377)

1948年(340)

1949年(602)

1950年(877)

1951年(1240)

1952年(806)

1953年(1312)

1954年(1828)

1955年(2310)

1956年(3003)

1957年(2752)

1958年(4195)

1959年(3490)

1960年(1997)

1961年(675)

1962年(729)

1963年(941)

1964年(1038)

1965年(1098)

1966年(520)

1967年(109)

1968年(112)

1969年(137)

1970年(310)

1971年(361)

1972年(616)

1973年(718)

1974年(953)

1975年(1189)

1976年(1027)

1977年(1374)

1978年(1596)

1979年(1973)

1980年(2467)

1981年(2618)

1982年(2953)

1983年(2871)

1984年(3300)

1985年(3590)

1986年(3660)

1987年(4282)

1988年(4991)

1989年(5051)

1990年(4554)

1991年(5151)

1992年(4878)

1993年(4913)

1994年(4412)

1995年(4319)

1996年(4832)

1997年(5767)

1998年(6971)

1999年(7839)

2000年(8119)

2001年(9644)

2002年(10780)

2003年(12081)

2004年(15243)

2005年(15670)

2006年(17696)

2007年(16309)

2008年(18239)

2009年(21301)

2010年(21765)

2011年(22731)

2012年(24711)

2013年(26681)

2014年(25324)

2015年(25421)

2016年(23754)

2017年(21432)

2018年(17428)

2019年(5918)

2020年(368)

214年(1)

22年(1)

2222年(13000)

23年(1)

540年(1)

73.4年(1)

D5年(1)

F27/年(1)

None年(7)

O组年(1)

Syst年(1)

T36年(1)

TH-6年(1)

TH71年(1)

TN24年(1)

TP31年(3)

TP36年(1)

V215年(1)

V231年(5)

V25/年(1)

V271年(2)

XIII年(2)

[10]年(1)

ehow年(1)

null年(19)

Ⅳ年(1)

Ⅴ年(2)

Ⅷ年(1)

ⅩⅢ年(2)

ⅩⅤ年(1)

ⅩⅧ年(1)

Ⅻ年(1)

中华年(2)

主题年(3)

儿童年(1)

化学年(1)

北京年(1)

吉林年(1)

小説年(1)

政治年(1)

昭和年(4)

机构年(1)

民国年(107)

(瑞典年(1)

(美)SA年(1)

(美)史年(1)

(美)汤年(1)

(美)苏年(1)

返回顶部