算法艺术与信息学竞赛

本书较为系统和全面地介绍了算法学最基本的知识。这些知识和技巧既是高等院校“算法与数据结构”课程的主要内容，也是国际青少年信息学奥林匹克（IO1）竞赛和ACM/ICPC国际大学生程序设计竞赛中所需要的。同时我...

化学教学大纲 工业（非化学）性质和财经、艺术性质专业适用 课程总时数90小时

物理学与自然的艺术

本书以大量的生动事例重点介绍物理科学是如何表达自然现象及重要物理规律的，注重对研究方法的探讨。第一次提出重要的通用表达式。对自然现象中的“有无”、“不确定性”、“相似性”、“时空感觉”、“认识...

准规则斑图艺术

准规则斑图是根据弱混沌动力系统建立的数学模型，经过计算机图形技术处理产生的一类非线性图形。其构图主要表现为几何图案：或是块面构图为主，或是各类线条为主，亦可线面结合，变化万千，且具有很好的纹样感。其色.....

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

数学发现的艺术 数学探索中的合情推理

本书是一部用波利亚风格写成的数学方法论专注。它寓数学的思想方法与数学研究、发现、探索和解题之中，既是严肃的数学书、方法书，又是妙趣横生的科普读物。运用从数学史、课本、众多数学家的著作和手稿里采集...

莫斯科大学、列宁格勒大学、剑桥大学、牛津大学数学、计算数学、应用数学教学大纲

大学数学教本 大学微积分

大学化学习题解答 配套天津大学无机化学教研室编《大学化学》

金陵大学图书馆中文地理书目