《从初等数学到高等数学:第1卷》是希望在中学数学和高等数学之间搭一座桥梁。以中学数学为起点,逐步展示高等数学的基本思想和方法,便于大学新生快速适应高度抽象的高等数学。反过来,介绍如何把握高等数学的高观点,更好地服务于中学数学的教与学。《从初等数学到高等数学:第1卷》用数学分析、线性代数和高等几何等现代数学的思想方法解释和理解中学数学,力求用通俗易懂的语言,深入浅出地揭示现代数学的思想方法,找出现代
本书为著名哲学家叶峰先生从2005年到2014年间发表的16篇主要研究论文的结集,内容分为数学哲学研究和物理主义研究两个主题。这些论文反应了作者这十年的学术研究历程:从数学哲学研究开始,提出一个反实在论(即唯名论)的、严格有穷主义的、与物理主义世界观相容的数学哲学理论,进而延伸到对物理主义哲学世界观本身的研究,包括对物理主义的阐释与辩护,以及在物理主义框架下分析一些传统哲学问题。作者论证严密,行文
数学、逻辑学、计算机科学三大领域实属一家,彼此成就,彼此影响。从古希腊哲学到“无所不能”的计算机,数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义?如何从简单运算走向复杂智慧?这背后充满了人类智慧的闪光:从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推理的合理性,缔造完美的思维体系。他们是凭天赋制胜,还是鲁莽地大胆一搏?本书描绘了一场人类探索数学、算法与逻
最近看了一些Spring源码,发现源码分析的文章很多,而底层思想分析的文章比较少,这个系列文章准备总结一下Spring中给我的启示,包括设计模式思想、SOLID设计原则等,涉及一些编程的基本原则,