地理学的数学模型与应用 1934-1999年《地理学报》中的数学模型及公式汇编

本书将《地理学报》1934年创刊以来发表的328 组数学模型和公式分类汇编成册。本书包括：地球信息科学的模型和公式38组，自然地理模型和公式209 组，经济地理的模型和公式81组。选编的模型及公式都是原文中的精髓...

中学生数理化定理公式概念手册 高中

高中数理化公式、定理、概念手册

随着教育新政的逐步推行，教学模式的变化势必会影响练习模式，初中《课时新体验》力求在课时练习的基础上，融入学案理念，创新练习模式。本书采取书夹卷的形式，“书”为课时训练部分，“卷”为单元、期中期末卷及答.....

全国初中数学竞赛辅导 讲座精选及模拟测试

中学数学概念与定理词典

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

初中英语用法一本通

包括人教版、上海版和北京版初中英语单词及短语； 包括这些单词及短语在课文中的例句及中文解释； 包括教材中没有涉及到的这些单词及短语的词义、例句及中文解释； 包括使用这些单词及短语的注意事项及...

初中英语介词用法实用手册

本书包括介词，含简单介词（如at，in）、复合介词（如into，onto）、二重介词（如fromunder，untilafter）、短语介词（如accordingto，infrontof）、分词介词（如considering，including）；介词短语（如atlast，intheend）；介词搭配（如arrivein，......

机械设计手册 第1卷 第2篇 常用资料和数学公式 第2版

新编中学英语词汇用法及考点手册

本书对每个词条首先给出所有“词性”，然后在“用法”中用典型例句逐一说明各词性基本用法：“相关短语”单独列出且同样附以典型例句，这样可通过掌握句子和短语来学习单词：全书将每个词条中学生容易混淆、用错、...