李德毅院士:人类的四种基本认知模式

在《九章算术》中有对开平方、开立方的机械化过程描述,到宋元时代又有求解高次代数方程的机械化方法。从算盘、比例规、对数计算尺等计算工具发展到第一台手摇机械计算机,即1642年法国科学家帕斯卡发明的一种能代替人工进行快速计算的机器(图8)。我国知名数学家吴文俊对数学的机械化也作出了重要的贡献,提出了使用计...

分享丨CAAI名誉理事长李德毅院士:认知的形式化

在《九章算术》中有对开平方、开立方的机械化过程描述,到宋元时代又有求解高次代数方程的机械化方法。从算盘、比例规、对数计算尺等计算工具发展到第一台手摇机械计算机,即1642年法国科学家帕斯卡发明的一种能代替人工进行快速计算的机器(图8)。我国著名数学家吴文俊对数学的机械化也作出了重要的贡献,提出了使用计...

激情燃烧在淌水崖水库的岁月之申付堂

一网一网组成多个80公分的圆木框,把木框的周边等分开口,用方木落入开口处,用多根3米长的方木,连接4个圆木框,每一根方木10分,每个圆木框上有一个活口(放水洞浇筑成型后拆除模具时用的),用铁皮包上一个形似铁筒的模具,就能解决问题。

隐藏在海昏侯墓中的数学之谜

方案一：假设把2000余缗铜钱放在一起成为一堆，那么，底部并排码放70缗（设为a），然后一层一层往上码，每层递减一缗，最上面一层为31缗（设为b），共码放40层（设为c），这样，用数学公式计算：(a＋b)×c÷2其中c＝a－b＋1代入数字后为：（70＋31）×（70－31＋1）÷2＝2020也就是说，用202...

新中国成立初期的山东航运点滴

八、木材(圆木、圆条)运费按政务院财政经济委员会规定“木材容积检尺办法”所得之体积以每0.74立方公尺折合一体积吨位计算之。这些货物在今天可能已经很少有人这样托运了,尤其是前三条中涉及的尸体等更是不允许长途托运,这和今天的规定有很大不同。再来看看内河运输,以小清河为例,《山东省小清河木帆船货物分等表...

六年级数学下册第一单元测试卷带答案(人教+苏教+北师大),为孩子...

1立方分米=()立方厘米1升=()毫升1立方分米=()升1立方厘米=()毫升二、填空1.圆柱的()面积加上()的面积,就是圆柱的表面积(www.e993.com)2024年11月14日。2.把一张边长为5.5厘米的正方形白纸,围成一个圆柱形纸筒,这个纸筒的侧面积是()平方分米。3.圆的半径是3分米,它的周长是(),面积是()。

汽车运价规则--中国水运网

零担运输轻泡货物以货物包装最长、最宽、最高部位尺寸计算体积,按每立方米折合333千克计算重量。(三)包车运输按车辆的标记吨位计算。(四)货物重量一般以起运地过磅为准。起运地不能或不便过磅的货物,由承托运双方协商确定计费重量。(五)散装货物,如砖、瓦、砂、石、土、矿石、木材等,按体积由各省、自治区、...

小学六年级数学下册期末易错题精选|北师大版

3、一根长2米的圆木,截成两段小圆柱后,表面积增加48平方厘米,这根圆木原来的体积是()立方厘米。4、将圆柱切拼成一个近似长方体,长方体的底面近似一个(),它的长等于圆柱()的一半,它的宽等于圆柱的()。5、圆锥的底面半径是6厘米,高20厘米,它的体积是()立方厘米。6、一个圆柱和一个圆锥体...