公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
《以公理争强权》顾维钧传
推荐 有广告 无套路本书的主人公顾维钧，是中国近代外交界的传奇人物。他最大的成就是代表北洋政府在巴黎和会上拒签和约，这使得他在中国外交史上留下了永远的印记。本书利用《顾维钧回忆录…
格式： AZW3 EPUB MOBI 请到详细页访问 来源：爱悦读![天柱导引功 [随书光盘]书籍封面](/static/image/no_960-1280.webp)
天柱导引功 [随书光盘]
推荐 无广告 无套路本书为《中华传统经典养生术》之一，主要介绍了天柱导引功这一传统锻炼方法的来历源流、理论基础、功法操作与应用。主要内容包括：经络与气功、功法特色、功法要领等。.…
格式： 随书光盘 请到详细页访问 来源：国际关系学院
导引十六式 [随书光盘]
推荐 无广告 无套路本书分导引十六式特点、导引十六式动作说明，包括托肘梳发、遥望北斗、三肩环绕、力托苍穹等十六式。...
格式： 随书光盘 请到详细页访问 来源：国际关系学院
路氏导引健身功 [随书光盘]
推荐 无广告 无套路本书收录了路教授自创和改编的八套健身功法，包括桩功、孙思邈调息法、医疗步行功、增视功、路氏养生八段锦、自我调节疗法、路氏导引健身法站式、路氏导引健身法坐卧式。…
格式： 随书光盘 请到详细页访问 来源：国际关系学院
考研数学应试导引与进阶 [随书光盘]
推荐 无广告 无套路本书主要内容包括行列式、矩阵代数、矩阵的初等变换与矩阵的秩、向量组的线性相关性、线性方程组、向量空间、特征值与特征向量及二次型等。...
格式： 随书光盘 请到详细页访问 来源：国际关系学院
张广德导引养生系列丛书 [随书光盘]
推荐 无广告 无套路本卷包括《坐势行滞》、《通经活络导引术》、《四十九经络动功》、《九九还童功》，是有助于防治呼吸、消化、心血管病、生殖、泌尿疑难杂症等各系统疾病的经络导引动功，…
格式： 随书光盘 请到详细页访问 来源：国际关系学院
《诸病源候论》导引法还原 [随书光盘]
推荐 无广告 无套路本书从挖掘关键性文字的操作意义入手，合并整理《诸病源候论》所载导引功法计一百九十一条，结合练功体验，对每条导引进行操作还原，并配有光盘，以影像形式加以直观说明…
格式： 随书光盘 请到详细页访问 来源：国际关系学院