首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
一、中国数学会于1963年10月24日至31日在西安召开了数理逻辑会议,出席会议的有中国科学院计算所与武汉数学计算所、铁道科学院和南京大学、北京师范大学、吉林大学等21个单位的数理逻辑工作者共25人。会上收到论文32篇,其中宣读了26篇,并本着百家争鸣百花齐放的精神进行了热烈的讨论。会议着重讨论了我国发展数理逻辑的方向和布局问题,研究工作中的理论联系实际问题。认为数理逻辑工作首先应该联系计算机理论、信息加工中的实际问题;有关的基本理论研究也应予以重视。为此,应当开展演译逻辑、算法论、证明论、自动机理论以及在信息加工、程序自动化、机器翻译和逻辑  相似文献   

2.
“起初,数理逻辑是由对数学上所应用的证明法的逻辑分析而发生的,但是最耐人寻味的是:数理逻辑所造成的这套工具,一旦落到工程师和机械设计者的手上,便成为他们所造的机构的综合法的工具,这工具可以用于电机工程及无线电工程,准确的力学,乃至以计算来解决的远距离控制及自动机学的构造上”(引自“三十年来的苏联数学:数学基础与数理逻辑”)数理逻辑用到工程上去,开始于约二十年前,但由于近年来生产上的大规模自动化问题及高速度计算机的设计问题的刺激,此种应用越来越广泛;工程师向数学家提出的这方面的问题越来越多。本文企图向对这问题感兴趣的数学工作者  相似文献   

3.
中国工业与应用数学第一次讨论会于1989年12月6日至9日在武汉召开.会议的主要议题有工业与应用数学成果与经验交流;讨论工业与应用数学重点攻关意向;研究中国工业与应用数学学会的组建;介绍国外工业与应用数学活动情况. 到会代表有来自全国各省市的著名企业家、大专院校和科研机关的科研工作者共128人(其中企业界代表31人).大会共收到论文52篇,在大会报告的有14篇,其余在分组会上报告.  相似文献   

4.
据首届全国数学编辑学术交流会的决定,第二届全国数学编辑学术交流会于1991年5月21日至26日在浙江建德县举行.来自全国18个省、市、自治区,包括数学学术性期刊、大学学报、中等数学杂志及出版社在内的50家单位73名代表出席了会议.另有32家单位59位同志也同会议联系,表示支持和祝贺.会议共收到编辑论文50余篇,20多位代表在大会分别作了有关编辑部建设方针、数学编辑标准、期刊电脑排版及管理现代化等方面的报告.《高等学校计算数学学报》的代表受会议领导小组委托,作了综合报告.  相似文献   

5.
第二届全国数学编辑学术交流会于1991年5月21日至26日在浙江省建德县举行,来自全国18个省、市、自治区,包括数学学术性期刊、大学学报、中等数学杂志及出版社在内的50家单位73名代表出席了会议、会议共收到编辑论文50余篇,20多位代表在大会分别作了有关编辑部建设方针、数学编辑标准、期刊电脑排版及管理现代化等方面的报告。  相似文献   

6.
据首届全国数学编辑学术交流会的决定,由《高校应用数学学报》和《高等学校计算数学学报》承办的第二届全国数学编辑学术交流会,于1991年5月21日至26日在浙江建德县举行。来自全国18个省、市、自治区,包括数学学术性期刊、大学学报、中等数学杂志及出版社在内的50家单位73名代表出席了会议。另有32家单位59位同志同会议联系,表示支持和祝贺。会议共收到编辑论文50余篇,20多位代表在大会分别作了有关编辑部建设方针、数  相似文献   

7.
中日可靠性学术会议于1987年9月13日至16日在上海召开.这次会议是由中国运筹学会可靠性数学委员会发起、由中国运筹学会和日本运筹学会支持和组织的一次国际学术会议.参加会议的代表共130人,其中中方107人,日方22人,香港地区1人.这次学术会议上共宣读可靠性学术论文85篇,其中中方66篇,日方18篇,香港地区1篇. 9月13日晚上举行会议开幕式.会议总主席、中国运筹学会理事长、中国科学院应用数  相似文献   

8.
受教育部委托,全国高等学校第四次学术交流会于一九八五年五月二十一日至五月二十五日在昆明召开。参加会议的有国内49所高等院校以及中国科学院等单位的代表114人,其中教授、副教授43人,35岁以下的青年计算数学工作者(包括研究生)34人。 会议前收到论文及论文摘要231篇,会议期间宣读了专题论文72篇,综合报告7篇。  相似文献   

9.
第二届全国可靠性数学年会于1985年5月14日至17日在上海师范大学召开。来自全国各地可靠性理论工作者和工程师共120人参加会议,会上宣读论文共77篇。这些论文,包括了概率论与数理统计在可靠性理论中的应用和工程课题,反映了近三年来我国在这个领域的研究进展。会议的一个突出特点是中青年代表占绝大多数,其中不少是硕士研究生。青年研究人员队伍的扩大,为我国可靠性数学队伍带来生气。会议期间,魏宋舒教授代表委员会的顾问讲了话。会议以无记名方式选举产生第二届可  相似文献   

10.
一、决策理论及应用学术会议 1985年5月4日至5月8日在重庆召开,这次学术会议是中国数学会运筹学会决策理论与应用专业委员会与解放军后勤工程学院联合举办的。出席这次会议的代表有70多人,收到的学术论文有58篇。 二、全国可靠性数学第一届学术年会 5月13日至17日在上海举行,来自全国各地的128名代表出席了这次会议,会上交流的大会报告6篇,分组报告71篇。这次学术会议是中国数学会运筹学会可靠性数学专业委员会主办的,得到上海师范大学的大力支持。  相似文献   

11.
列入国家教委教材编委会计划的高校数理方法研究会首届年会于1988年11月28日至12月2日在苏州大学召开。45所高校代表及高教出版社同志共62人参加了大会。会议得到北京师范大学物理系的资助。大会特邀周孝谦、喀兴林等先生作了学术报告,收到教学、科研方面论文共41篇。与会者对当前高校数理方法教学及近代物理中的一些应用数学问题进行了广泛交流和研讨,  相似文献   

12.
第四次全国数值代数学术交流会于9月18日至9月23日在大连市召开。到会的正式代表81名,列席代表29名。计算数学学会名誉理事徐桂芳教授和常务理事吴文达教授参加了会议。 这次会议由大连工学院,吉林大学,大连铁道学院,沈阳计算所,辽宁省计算数学学会等五个单位联合筹备。会前共收到论文150篇。 孙继广研究员等15名专家在全体大会上作了报告,另外75篇论文在分组会上宣读。这次会议交流的内容在深度和广度上都比第三次会议有所提高,反映三年来国内数值  相似文献   

13.
数学、力学教材编审委员会计算数学逻辑学编审小组扩大会议于1984年11月4日至8日在济南举行。会议由山东大学主办。出席会议的代表有:教材编审委员,高等学校,高等教育出版社、教育部理科处的代表共22人。会议由教材编审小组负责人胡祖炽教授主持。 会议对计算数学专业的培养目标进行了认真讨论。一致认为应用软件已成为该学科的重要组成部分,今后应加强这方面的教学工作,以适应国家对应用软件人材的迫切需要。  相似文献   

14.
由中国数学会运筹学会可靠性专业委员会召开的第四次全国可靠性数学理论讨论会,于1983年11月1日至6日在上海交通大学举行。参加会议的有中国科学院、高等院校、国防科研系统等45个单位,共70余名代表。有23篇可靠性数学理论与应用方面的论文在会上作了报告,涉及面较广。与会代表认为,今后应加强多状态系统、维修策略、可维修系统的数据处理、软件可靠  相似文献   

15.
受中国数学会委托,第十一次全国非线性泛函分析会议由中国科学院数学研究所、山东大学、兰州大学和山西大学联合承办,会议于1999年8月15日至20日在山西大学(太原)举行.来自全国各高等院校、科研机关的代表51人,其中教授25人,40岁以下的代表占75%.以李树杰教授为组长的联络组主持了会议,张恭庆院士作了重要学术报告.会议收到Morse理论、拓扑度理论、凸锥理论、增生算子理论、微分方程、及泛函分析与排队论等理论和应用方面的论文40篇.大会分重点报告、一般报告以及座谈讨论等形式进行了交流.在陈文源教…  相似文献   

16.
第三届全国最优化数值方法学术交流会于84年8月7日至13日在厦门大学召开。有110人到会,他们来自全国八十多个高等院校和科研单位。会议收到论文89篇。 计算数学学会常务理事何旭初教授主持了会议。 这次会议的学术水平较三年前的南京会议有很大提高。应用研究不仅在深度和广度  相似文献   

17.
简讯     
中国数学会计算数学学会扩大理事会议于1982年6月29日至7月1日在北京召开.到会理事23人,部分省市自治区计算数学学会代表5人. 会议首先讨论了计算数学学会章程(草案),到会理事及代表对章程草案提出了修改意见.经修改后,该章程将提请全国计算数学学会第二届年会审议、通过. 会议回顾了本会三年来的组织建设及学术活动.  相似文献   

18.
学术会议名称时间地点筹办单位全国动力系统及其应用学术讨论会l月广州中山大学、北京大学全国第六届图论学术会议4月南京本会组合数学与图论专业委员会,南京大学第三届逆特征值问题学术会议5月南京本会计算数学分会,南京航空学院等5月中科院软件所第二届数理逻辑及应用逻辑会议多复分析学术讨论会5月合肥中国科技大学数学系第四届常微分方程 数值方法会议7月湘潭湘潭大学,中科院计算中心等全国青年概率统计学术会议7月合肥本会概率统计分会、中国科技大学运动稳定性和定性理论与应用会议8月烟台中国科学院数学所、应用数学所,烟台师院等中…  相似文献   

19.
简讯     
中国数学会计算数学学会扩大理事会议于1982年6月29日至7月1日在北京召开。到会理事23人,部分省市自治区计算数学学会代表5人。 会议首先讨论了计算数学学会章程(草案),到会理事及代表对章程草案提出了修改意见,经修改后,该章程将提请全国计算数学学会第二届年会审议、通过。  相似文献   

20.
<正> 江苏省数学会《工科数学》教育委员会、江苏省高等数学教学研究会于1990年5月5日至5月9日在常州市技术工程学院联合召开年会,会议邀请周伯壎、韦北辰、周树荃教授作有关代数、数理统计、计算数学等方面的学术报告,参加会议的有来自江苏省  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号