![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版保证】](http://img3m3.ddimg.cn/55/15/11759082643-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版保证】](http://img3m3.ddimg.cn/83/22/11758940903-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
2001年7月9日，午间时分，当普通大学的学生们收拾好书包走出课堂的时候，一所特殊的、开放的“大学”悄然开学了。 说其特殊是指—— “海内外名家名师主讲，涵盖科学人文社会内容”是它的办学方针； “聚集知识精英，共享教育资源，传播现代文化，弘扬科学与人文精神”是它的办学理念； “学理性与实用性并存，权威性与前卫性并重，追求学术创新，鼓励思想个性，强调雅俗共赏，重视传播互动”是它的追求； “建构时代常识，享受智慧人生”是它的办学目标。 论其开放是说—— 免试免考； 不限年龄、身份； “热爱知识”是入学的惟一要求。 这是哪所“大学”？ 《百家讲坛》。 《百家讲坛》在哪儿？ 中国中央电视台第十频道。 高度发达的电视技术给了人类一条捷径，让我们能与知识产生如此密切的接触！ 杨振宁、李政道、丁肇中、
《区间数序列的数学模型预测技术》主要论述二元区间数序列和三元区间数序列的几种数学模型预测方法，内容主要有七个方面：基于序列转换的灰色模型；基于整体发展系数的灰色模型；区间预测的误差修正方法；矩阵型单变量灰色模型；矩阵型多变量灰色模型；自回归移动平均模型；线性回归模型 。
《高等数学证明题解题方法与技巧》由上海交通大学数学系李重华教授根据多年教学经验和实践编写而成。本书内容简练，重点突出，用各种例题演示证明题的解题方法与技巧。全书内容包括函数，极限与连续，导数与微分中值定理，一元函数积分，多元微积分，级数等。 《高等数学证明题解题方法与技巧》可作为高等院校工科各专业的高等数学参考书，也可作为综合性大学和师范院校工科专业的参考书。
《MFQP232 高等数学辅导及习题精解(上册)(同济第七版)》一、本章知识图解：知识结构图揭示出本章知识点之间的有机联系，便于学生从总体上系统地掌握本章知识体系和核心内容。二、教材知识全解：梳理本节
