数学机械化(精)/数学机械化丛书


您好，欢迎光临丫丫购物搜索！ [ 免费注册] [ 登录]

您最贴心的导购助理

热门搜索： 手机 | 索尼 | 鲜花 | 数码相机 | 翡翠玉器

您现在的位置：图书 >> 自然科学/科技科普

来自1家商城

数学机械化(精)/数学机械化丛书

￥46 元

来自 1 家商城

共有( 0 )条评论

本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的... >>详细