大约有2,000项符合查询结果项。(搜索耗时:0.0133秒)
为您推荐: 浙江省文学艺术界联合会 浙江省桐乡县文学艺术界联合会 press武汉市文学艺术界联合会 安徽省文学艺术界联合会 江苏省文学艺术界联合会 press余姚市文学艺术界联合会
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
数学发现的艺术 数学探索中的合情推理
杨世明,王雪芹著2018 年出版497 页ISBN:9787560354408本书是一部用波利亚风格写成的数学方法论专注。它寓数学的思想方法与数学研究、发现、探索和解题之中,既是严肃的数学书、方法书,又是妙趣横生的科普读物。运用从数学史、课本、众多数学家的著作和手稿里采集...
-
-
一本书搞懂俄罗斯文学
高莽主编2012 年出版261 页ISBN:9787564056919本书包括了普希金、陀思妥耶夫斯基、列夫·托尔斯泰等名家在内的作品20部,特点是“精缩”与“原汁原味”兼顾;既不是介绍性的,也不是摘录式的,而是保持原著结构的完整,并遵照原著的叙述结构与人称,最大限度的体.....
-
与达利共闯四维空间 100件你不知道的关于艺术的事
约翰·D.,巴罗著;周启琼,靖润洁译2018 年出版294 页ISBN:9787542866363艺术馆需要多少名保安?屏幕高宽比是怎么回事?唱歌跑调怎么办?……英国著名科普作家约翰·巴罗继《无之书》《100个你不知道的关于数学的事》《100个你不知道的关于体育的事》后,继续为你奉上有关数学的科普图...
-
天然产物化学合成 科学和艺术的探索
吴毓林编著2006 年出版210 页ISBN:7030173015天然产物合成化学集中体现了现代有机合成的科学成就和艺术创造。《天然产物合成化学:科学和艺术的探索》取材于作者所在课题组20年来在国内外优秀期刊上先后发表的140多篇论文,系统介绍了课题组在六类具有重...
-
物理发现的艺术 物理探索中的机智运筹
程九标等编著2003 年出版501 页ISBN:7810673726机智、巧妙、敏锐、坚忍、广博、深邃是物理学家共有的研究风格。在物理学发展的历史长河中,一代代物理学家机智运筹,探索出了物理学研究的一些基本方法,而那些伟大的、天才的物理学家,则把这些基本方法创造性地...
-
倾听文学书系 学习阅读馆 倾听鲁迅 中国人失掉自信力了吗
鲁迅著吾人选编2013 年出版202 页ISBN:7504368717本书选编现代文学名家鲁迅先生代表性作品数十篇,分为“叙事抒情”、“忆往怀人”、“谈书论文”、“随笔杂谈”、“小说选读”五部分,所选篇目比课本范围更宽,适当配图,有益于学生拓展阅读,加深对文学名家作品的...