基本原理
几何定理机器证明的基本原理 : 初等几何部分
《几何定理机器证明的基本原理 : 初等几何部分》,作者:吴文俊 出版社:科学出版社 ISBN:15031586。本书论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只须相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借助于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.
尼科尔森《微观经济理论——基本原理与扩展》(第9版)精讲班【教材精讲】
本课程是尼科尔森《微观经济理论——基本原理与扩展》(第9版)网授精讲班,为了帮助参加研究生招生考试指定考研参考书目为尼科尔森《微观经济理论——基本原理与扩展》(第9版)的考生复习专业课,我们根据教材和名校考研真题的命题规律精心讲解教材章节内容。 说明:第一章为经济模型,因考试不做要求,所以老师没有讲解。 【辅导内容】 精讲教材核心考点。按照教材篇章结构,讲解教材的重难知识点。 考虑到课时的需要以及相关知识点的难易程度,对
气体动力学基本原理. D编. 气体动力突跃的基本理论
《气体动力学基本原理. D编. 气体动力突跃的基本理论》,作者:(美)埃蒙斯(Emmons, H·W·)主编;徐华舫译 出版社:科学出版社 ISBN:7030002725。本书从最概括的观点出发对气体动力突跃作了理论分析,给出了正突跃面所遵循的流体动力学基本规律等。