Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
研究论文
学会活动消息



收稿日期: 1964-03-25
出版日期: 1964-02-15

53
浏览

引用导出
0
    /   /   推荐

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


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .