《勒俄特依:彝汉对照》由《彝族传世经典》编委会编
“爱自己”是人生中最重要的课题之一。如果我们爱自己,自然也会爱别人。本书以“爱自己”为主题,解读“爱自己”所蕴含的真实意义,放下不切合实际的理想化,学会接纳构成自己的所有方面——优点和缺点、长处和短处、梦想以及自身的一切矛盾,通过爱自己改变令人不满的现状,丰盈自己,让生命达到理想的质地。
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究
《文艺常识名校手册》是一本辅助高三学生进行艺术类高考的辅导书。主要内容是从北京电影学院、中央戏剧学院、中国戏曲学院、上海戏剧学院、南京艺术学院、浙江传媒学院几所学校的历年文艺常识考试真题中总结、延伸出的知识点进行汇编。
本书一方面详尽地讨论了数字信号处理的两大基本内容:离散傅里叶变换和数字滤波器,另一方面深入浅出地介绍了数字信号处理中深入发展的下结新课题。主要内容包括:周期采样、离散傅里叶变换、快速傅里叶变换、数字滤波器、离散希尔伯特变换、采样速率转换、量化、信号取均值、无限冲激响应滤波器、冲激频率采样和内插式有限冲激响应滤波器、多相滤波器和串级积分器-梳状有限冲激响应滤波器等内容。 本书适合作为电子工程专业、通信专业及其他相关专业的教材及教学参考书,也可供工程师以及专业技术人员参考。
本书除前言和附录外,共分9章。章为土壤基质和质地,主要包括土壤颗粒的概念和特性、土壤质地和土壤结构;第2章至第4章为土壤水分保持和运动的基本概念、原理、方程以及田间土壤水分平衡;第5章为土壤热量状况,主要介绍土壤中的热量平衡以及传递过程和模型;第6章为土壤空气,主要介绍土壤中气体的组成、运动机制和模型;第7章为土壤溶质迁移,主要介绍了土壤溶质的质量平衡、迁移机制与模型及其田间管理;第8 章为土壤的空间变异性,主要介绍土壤物理特性的空间变异性及时间稳定性,可为田间土壤物理过程的模拟和精准农业的实施提供相关依据;第9章为植物根系吸收土壤水分与土壤水分有效性,主要介绍植物根系吸收土壤水分的过程、影响因素和模型以及土壤水分有效性的动态概念;为了帮助一些研究生较好地理解有关模型,本书还增加了土壤
《中国儒学史:魏晋南北朝卷》内容简介:从公元220年曹丕称帝到589年陈朝灭亡,前后历时369年,是中国历史上的魏晋南北朝时代,也是中国历史上自秦统一后分裂的时期。先是东汉末年的黄巾大起义,随后形成了魏、蜀、吴三国鼎立的局面,后来虽有西晋的短暂统一,但不久又出现了八王之乱和北方十六国的分裂。接着西晋灭亡,晋室南迁,建立东晋。东晋亡后,又形成了长期的南北朝对峙局面。这是中国历为黑暗和混乱的时期之一。在这一期间,政治腐败,战争频繁,人民生活在水深火热之中。但在这种情况下中国思想文化的发展不但没有停滞,而且还得到较大的发展,涌现出一批名垂青史的思想家和哲学家。