1980年，科学出版社出版发行了由北大申友枨先生主持翻译的美国鲁滨逊《非标准分析》中译版，这是中国数学迈向现代化的一大步。        该书袁萌翻译了第七章和第八章，严格阐明了无穷小的理论合理性，而该书申友枨选择翻译...

        今年10月12日，经教育部高教司理工处介绍，我们与教育部大学数学指导委员会(简称：“大学数学教指委”)负责人取得了联系。        我们向“大学数学教指委”提出一项建议：在全国普通高校微积分教学当中采用模型论专家“...

        120年前，1902年在江苏南京成立了"两江师范大学"(专科学校)，只讲授算学(初等算术)，不开设高等数学课程。        辛亥革命之后，1921年9月1日，"两江师范大学"...

        回想70年前，1952年，当年就读初二的袁萌，自制"矿石"收音机，自行架设天线，每晚深夜倾听中央人民广播电台短波内容。随意波长的高低起伏，心情无比激动。        1958年，袁萌考入南京大学数...

        二战期间，1940年，量子力学创始人薛定谔在一次讲演中提出理论:"生命是不对称晶体"，二战之后，1956年，沃森在伦敦创立了基因模型，是一条左旋线和一条右旋线缠绕而成的。当时，中国大陆很多物理学家都纷纷前往伦敦观看基因模型，了解生物基因理论。    &nbs...

        100年前，1921年10月16日，我国数学老前辈熊清莱创立南京大学数学系，开始培养学生，解放以后，1957年9月，袁萌考入南京大学数学系，成了熊清莱先生的徒子徒孙。        我们不能忘记数学老前辈的教育恩情。&...

        2002年，美国著名模型论专家H. Jerome Keisler发表《基础微积分》教科书(英文版)。        该教科书的第一章，作者引入超实平面(Hyper real plane)，并在其上展开了现代微积分学。对...

        在上世纪九十年代，北大方正是全国最大规模校办高科技企业。        1964年6月1日，北大方正集团职工袁庭球经过事先预谋，潜入袁萌带领的团队开发基地，窃取通信软件程序源代码后被捕入狱，判刑7年。 &nb...

        每年9月份，数百万入取新生都要选择微积分教学参考书(纸质版)，此教科书总计花费约数亿元人民币。        对此，2018年6月，我们创立了无穷小微积分网站，收录了一本英文微积分教学参考书，供广大读者免费下载，该电子...

        十六世纪中叶，莱布尼茨引入一种“理想数”，性质与实数相同，可以参与实数运算。由此创建了“无穷小研算”（现在叫做微积分）。        在“无穷小研算”中，莱布尼茨证明了函数乘积的求导公式，这个公式就叫莱布尼茨公式。&...