程序正确性证明方法 【工业技术】

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

妇女发展与婚姻文化研究 【政治法律】

本书是作者多年来对妇女发展与婚姻文化研究的集大成，收集了其历年来发表于各报刊、杂志、文集中的多篇论文，从三个方面——妇女观研究、妇女发展研究、婚姻文化研究对妇女理论进行了阐释与解构。具有一定的学...

趣味初等函数研究与欣赏 2 【数理化】

本书共分为5章，详细地介绍了三角函数与迭代函数的相关概念、研究方法，并介绍了三角函数及复数，多项式与因式分解，迭代函数与函数方程等的一些函数趣题的一题多解，供读者参考。本书可作为大、中学生及初等数学爱....

外国语言文化与翻译研究 【语言文字】

本书是一部有关语言研究、外语教学研究、文化研究、翻译研究的论文集，汇集了云南大学外语学院英语、法语、日语、南亚语、东南亚语、德语等系室的学术力量编写而成。具有选题广泛，研究视角多样等特征，对相关领...

梳理知识 检查深度理解的方法 【文化科学教育体育】

本书是“精准教学基础系列”第六本，反映了当代国际著名教学设计专家马扎诺依据实证研究的成果得出的教学框架。本书具体讨论了如何利用运用五种基本工具、课堂笔记、词汇笔记、视觉工具和家庭作业等来梳理知...

新时代研究生教育改革发展与实践探索 【文化科学教育体育】

本书为第二十九届全国研究生院工科研究生教育工作研讨会论文集，在全国各研究生培养单位共征集94篇论文，经会议专家委员会评审，有71篇论文被收入本论文集。论文主要涉及博士生创新能力培养机制改革、面向行（企）业...

“中国特色社会主义理论与实践研究”研究性教学模式设计 【政治法律】

本书是高校“中国特色社会主义理论与实践研究”课程教学法研究专著。综合运用各种教学模式，如传递─接受式、自学─辅导式、探究式教学、概念获得模式、巴特勒学习模式、抛锚式教学、范例教学模式、现象分析...

数学分析习题课讲义 2 【其他书籍】

基于MATLAB的大学数学实验 【其他书籍】

蒙氏数学贴纸 我要购物 【文化科学教育体育】