基本粒子译文集 第1集

全国周培源大学生力学竞赛赛题详解及点评 2017版

全国大学生力学竞赛已经举办了十届。从竞赛风格来看，前五届力学竞赛都只有笔试环节，而从第六届力学竞赛开始，增加了团体赛的环节，强调了实验、研究和动手制作的重要性，考察学生处理实际问题的能力。为了更好地开...

1978年分析化学述评译文集 1

极简算法史 从数学到机器的故事

本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...

梁板壳静动力学译文集 1

光学与光谱技术 光谱技术进展 译文集 增刊 1983

控制论哲学问题译文集 第1辑

基本粒子译文集 第2集 规范场

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

控制论 关于动物和机器的控制与传播科学 英文

1947年10月，维纳写出划时代的著作《控制论》，1948年出版后，立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律；为现代科学技术研究提供了崭新...