扫一扫
关注中图网
官方微博
-
迷思后的清醒——俄(苏)科学技术哲学史论
¥108.0(7.3折)定价:¥148.0本书是《跋涉的理性》姊妹篇，是一部关于俄（苏）科学技术哲学问题史论结合的学术著作。本书在深刻分析俄（苏）科学技术哲学首要问题——自然本体论和最为鲜明的两个导向—一“本体论主义”与“认识论主义”的基础上，不仅论证了辩证唯物主义方法论对苏联科学家的启发意义，而且介绍了苏联哲学家对辩证唯物主义认识论的创新发展。通过对新俄罗斯哲学与科学哲学的管窥，阐明了当代俄罗斯学者对“六十年代人”开启的认识论主义传统的继承和发展，以及西方学者对俄（苏）科学
-
分数阶系统高阶逻辑形式化验证
¥116.2(7.8折)定价:¥149.0本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化
-
金兹堡-朗道方程(英文版)
¥235.4(7.9折)定价:¥298.0本书是关于Ginzburg-Landau方程的一本专门著作。全市共分五章，主要介绍Ginzburg-Landau(GL)方程的物理背景，一维及高维GL方程的整体解及渐近性态，超导中的(GL)方程以及GL模型方程及其和调和映射的联系。本书总结了近年来GL方程研究的近期新成果，阅读本书可使读者尽快地进入这一研究领域的前沿...
