大约有1,000项符合查询结果项。(搜索耗时:0.0133秒)
为您推荐: press兴宁市文学艺术界联合会 书法家协会 press梅州市文学艺术界联合会 兴宁市 press兴宁市文学艺术联合会 press兴宁县文学艺术界联合会 press武汉市文学艺术界联合会 press余姚市文学艺术界联合会
-
-
算法艺术与信息学竞赛
刘汝佳,黄亮著2004 年出版443 页ISBN:7302078009本书较为系统和全面地介绍了算法学最基本的知识。这些知识和技巧既是高等院校“算法与数据结构”课程的主要内容,也是国际青少年信息学奥林匹克(IO1)竞赛和ACM/ICPC国际大学生程序设计竞赛中所需要的。同时我...
-
-
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
数学发现的艺术 数学探索中的合情推理
杨世明,王雪芹著2018 年出版497 页ISBN:9787560354408本书是一部用波利亚风格写成的数学方法论专注。它寓数学的思想方法与数学研究、发现、探索和解题之中,既是严肃的数学书、方法书,又是妙趣横生的科普读物。运用从数学史、课本、众多数学家的著作和手稿里采集...
-
-
一本书搞懂俄罗斯文学
高莽主编2012 年出版261 页ISBN:9787564056919本书包括了普希金、陀思妥耶夫斯基、列夫·托尔斯泰等名家在内的作品20部,特点是“精缩”与“原汁原味”兼顾;既不是介绍性的,也不是摘录式的,而是保持原著结构的完整,并遵照原著的叙述结构与人称,最大限度的体.....