论文部分内容阅读
今天，科学已经成为世界性的事业，科学发展的趋势受到了普遍的关注。这种关注是多方面的，其中就包括形式化方法在科学发现、解释和确证中的地位、效能和范围的问题。这个问题涉及科学认识论和科学方法沧，是一个理论问题；
逻辑、数学和科学发展的形式化趋势
【摘 要】
：
今天，科学已经成为世界性的事业，科学发展的趋势受到了普遍的关注。这种关注是多方面的，其中就包括形式化方法在科学发现、解释和确证中的地位、效能和范围的问题。这个问题涉及
【出 处】
：
北方论丛
【发表日期】
：
1984年2期
其他文献
黑龙江省第四次《红楼梦》学术讨论会于1988年10月11日至13日在省委党校隆重召开。这次会议有38名会员参加，写出论文19篇，收到印刷论文15篇。10月11日上午八时，举行开幕式，省红学
冬令营期间，本刊记者挨着敲开参赛选手们所住的寝室，追踪这些数学牛人。当走进四川代表队的房间，表示要采访几位同学时，他们纷纷谦虚地摇头，并告诉了记者一个秘密。原来，四川队有一
作为引领全球航空加工制造业的刀具供应商。伊斯卡以持续研发来确保提供更高效、更经济的切削刀具以适用于各部件多种多样的加工需求。除了在其他领域的成功，伊斯卡还因向整体
11月20日,新疆开都河第一分水枢纽的前期配套工程——35千伏输电线路由和静供电公司架设完毕并送电成功。标志着这项我区重点建设工程正式拉开了开工建设的帷幕。开都河位于
为了解决数控刨削在刨削曲线的过程中存在的波动和表面质量问题，深入研究了功能强大的NURBS曲线插补方法、算法以及插补进给的加减速控制，并通过仿真模拟其在刨削加工中的应用，
近日，山特维克可乐满与北京航空航天大学在西安联合举办了航空发动机零件加工技术研讨会。山特维克可乐满的技术专家、北京航空航天大学刘强教授与来自各航空发动机制造企业的
以全球卫星导航系统GNSS为代表的导航与定位技术已成为各国科技领域制高点,同时也成为下一个信息产业新兴风口之一。我国应抓住这一机遇,大力推进导航与定位学科的发展,为培
“一个民族要想站在科学的最高峰，就一刻也不能没有理论思维。”“但理论思维仅仅是一种天赋能力。这种能力必须加以发展和锻炼，而为了进行这种锻炼，除了学习以往的哲学，直到现在