经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《量子物理学中的常用算法与程序》读书内容简介:述了计算机物理的基础知识，并给出量子物理学中常用算法及相应的FORTRAN程序。全书申13章组成，主要包括FORTRAN算法语言简介，代数公式，常用特殊函数，3i、6j和9j符号，一元方程，线性代数，函数插值与微商，常微分方程，数值积分，本征问题，递...详情

经典好书《基本乐理简明教程》读书内容简介:论基础知识的课程,是整个音乐教育中不可缺少的重要组成部分。《基本乐理简明教程》是专为音乐院校演奏、演唱系科的学生编写的。其他系科、音乐团体、以及广大音乐爱好者采用本教程时,根据不同专业、对象、水平、目的进行适当的增删是必要的。学习基本乐...详情

经典好书《短程动力取向心理治疗实践指南》读书内容简介:：其一，从事心理健康工作的专业工作者，无论是哪个领域，无论实施的是长程心理治疗还是精神分析，或是两者兼具，只要有志于学习CCRT取向的BPP即可；其二，心理健康领域的研究生机构的教师和管理者，无论是临床心理学项目、精神科项目、还是社工项目；其三，目前...详情

经典好书《GRE阅读理解教程》读书内容简介: GRE阅读理解教程，ISBN：9787801633385，作者：《GRE阅读理解教程》编写组 编作者简介详情

经典好书《清初程朱理学研究》读书内容简介:朱理学研究》动态考察清初程朱理学的历史演变，多方位展现了清初程朱理学的诸多面向，就晚明思想领域新变动与清入关前政权儒学化、清初程朱理学源流、“复兴”原因和标志、在清初社会建设中的重要作用，以及雍、乾之际程朱理学发展趋势等进行了系统阐述。该书遵循学术思...详情

经典好书《数学物理方程-第三版》读书内容简介:大潜、陈恕行、郑宋穆、谭永基多年来的教学实践修订而成，大体保持第=版教材取材的范围、结构和深度。《数学物理方程（第3版）》共分七章，第一、二、三章分别介绍波动方程、热传导方程和调和方程的基本定解问题的适定性、求解方法及解的性质；在此基础...详情

经典好书《行为科学统计概要》读书内容简介:统计学的专业教材，两位作者均为纽约州立大学布鲁克波特学院教授，几十年来一直从事统计和实验设计的一线教学工作。很多学生都讨厌学习统计学，他们对与数学相关的课程感到无法胜任，只好死记公式，一知半解；而那些对统计学感兴趣的学生，由于教师很难把统计学原理讲解...详情

影片剧情摘要: 明里虚与委蛇，滴水不漏；暗地剑拔弩张，引而不发。 详情

影片剧情摘要:员，他被保安机关选定为情报员来执行一场“烈火”行动计划。原来，阿尔巴尼亚解放不久，依然残存一些旧势力。国内的阶级敌人不甘心失败，残余匪徒潜伏在深山野林，他们勾结国外的帝国主义特务机关杀害革命干部和群众，妄图东山再起，进行复辟。“烈火”行动计划由此诞生...详情