切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
从中国古代数学思想到数学机械化现状
从中国古代数学思想到数学机械化现状
来源 :广州广播电视大学学报 | 被引量 : 0次 | 上传用户:camelwin2000
【摘 要】
:
本文从中国古代数学思想谈起,分别叙述了数学机械化在国内外的发展历程及遇到的困难;引入吴文俊的历史性突破以及张景中、杨路等的再发展;分析了该领域的发展现状与前景.
【作 者】
:
俞健
【机 构】
:
广州大学计算机教育软件研究所
【出 处】
:
广州广播电视大学学报
【发表日期】
:
2005年1期
【关键词】
:
数学机械化
中国
古代数学思想
算筹
mathematica mechanization Automated Theorem Proving developm
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文从中国古代数学思想谈起,分别叙述了数学机械化在国内外的发展历程及遇到的困难;引入吴文俊的历史性突破以及张景中、杨路等的再发展;分析了该领域的发展现状与前景.
其他文献
浅析强化中小企业财务管理
由于国家政策及企业自身方面的问题,中小企业在财务管理上主要存在筹资渠道窄、资金严重不足、经营者财务管理意识淡薄、企业财务核算制度不健全等问题。为了更好地发挥中小企
期刊
中小企业
财务管理
对策
酒类市场浅析
【正】 酒,是我国历史悠久的一种饮料。人们在欢度佳节,访亲拜友,婚丧嫁娶,宾宴旅游之时,所各之物均有酒。自古以来,有“无酒不成礼”之说。酒,一方面是人们生活的重要消费资
期刊
历史悠久
市场预测
酒类市场
竞争能力
消费资料
生产结构
国家建设
积累资金
销售量
需求量
奥曲肽用于乙型病毒性肝炎相关肝癌肝切除术后并发症临床研究
目的观察奥曲肽预防乙型病毒性肝炎相关肝癌切除术后并发症的疗效。方法选取医院2010年至2015年收治的乙型病毒性肝炎相关肝癌切除术患者65例,其中35例患者在术后应用奥曲肽
期刊
奥曲肽
乙型病毒性肝炎
肝癌肝切除术
腹腔积液
临床疗效
改革木材出厂价的探讨
【正】 木材是国家经济建设的重要物资,多年来木材供应满足不了国家建设和人民生活日益增长的需要,社会上对木材的需求量越来越大,供需矛盾十分突出。这一矛盾不能设想在短期
期刊
人民生活
价格水平
供需矛盾
流通费用
收购价格
计划生产
需求量
赣州地区
生产经营单位
物资
Zircon Mineralogy and Trace Elements Composition of the Metallogenic Granites in the Nanshankeng Min
<正>1 Introduction Nanshankeng tungsten-tin polymetallic mine,which is located in the eastern Nanling metallogenic belt,is newly discovered by geological invest
期刊
振兴传统工业之路——余江工艺雕刻厂考察报告
【正】 余江工艺雕刻厂,是个地地道道的传统手工业企业——工艺雕刻。然而,在举国上下向四化进军的征途上,这个集体所有制的企业,远远地跑在了时代的前列。这个厂的企业内部
期刊
传统工业
工艺品
雕刻
管理干部
厂长负责制
企业内部改革
手工业企业
经营领域
集体所有制
木雕
论电大人文素质教育
加强人文素质教育是实现高等教育培养目标的根本保障。广播电视大学教育,尤其应加强人文素质教育。本文列举和分析了当前电大人文教育存在的缺陷及原因并对电大人文素质教育发
期刊
电大
人文素质教育
改革
Radio and TV Universityhumanistic educationreform
利益相关者理论在企业社会责任建设中的作用
本文简要地介绍了企业社会责任理念在西方的演进历程和在当代中国对和谐社会建设的现实意义,分析了企业社会责任这个概念在实践操作性层面上存在的缺陷和不足,论证了利益相关者
期刊
企业社会责任
利益相关者
实践操作性
corporate social responsibility
stakeholder
operational pract
血清CA15-3、CA125、CEA联检在乳腺癌诊断中的价值
乳腺癌是严重威胁妇女身心和生命健康的主要杀手之一.且其发病率逐年增高.在我国已居女性恶性肿瘤的第一位.女性定期检查乳腺.发现肿块及时检测血液中乳腺癌相关的肿瘤标志物.是及
期刊
乳腺癌
CA15-3
CA125
CEA联检
诊断
女性恶性肿瘤
肿瘤标志物
血清
延续性护理对社区重性精神病患者稳定期生活质量的影响
目的:探讨延续性护理对社区重性精神病患者稳定期生活质量的影响.方法2015年3-9月,便利抽样法选取海宁市人民医院管理下的5个社区重性精神病稳定期患者67名为研究对象,并对其实
期刊
延续性护理
重性精神病
生活质量
与本文相关的学术论文