【摘 要】
：
数理逻辑是研究推理、计算的一门数学。它在数学、计算机科学、逻辑学等各个领域中都有着重要的应用。当前,关心数理逻辑的人越来越多,迫切要求开展学术交流和学术讨论,以促
论文部分内容阅读
数理逻辑是研究推理、计算的一门数学。它在数学、计算机科学、逻辑学等各个领域中都有着重要的应用。当前,关心数理逻辑的人越来越多,迫切要求开展学术交流和学术讨论,以促进数理逻辑的发展,为此,本刊从一九七九年第一期起开辟“数理逻辑及其应用”专栏,陆续刊登有关这方面的?
Mathematical logic is to study reasoning, a mathematical calculation. It has important applications in mathematics, computer science, logic and other fields. At present, there are more and more people who are concerned about mathematical logic. They urgently need to carry out academic exchanges and academic discussions to promote the development of mathematical logic. For this reason, from the first issue of 1979, "Column, one after another published in this area?
其他文献
数学教学信息化是现代教育技术在数学教学中运用的重要方面。在中职数学教学中有效实施信息化教学可以帮助学生更好地增长数学知识,提高数学运用能力。本文就中职数学教学中
基于2007年投入产出表,构建了广东、贵州及我国其他地区的多区域资源—经济-环境可计算一般均衡模型,分析了跨区排污权交易与区内排污权交易对地区经济及部门产出的差异性影
中职学生的基础较弱,没有养成良好的学习习惯,大多数的学生已经失去了对数学的学习兴趣,在笔者的日常交流中了解到,大约有三分之一的学生在初中阶段就放弃了数学学习。所以怎
语文教学的重中之重是阅读教学,是语文学习的基础和关键。不断深入的教学改革,给高中教育带来了新的发展机遇和挑战,在当前的教学实践中存在的许多不足也需要随之进行改革。
提起贾海军,大家的第一反应就是“朴素”。他的为人,接地气,草根味儿;他的思想,有一股迎面扑来的新鲜泥土气息。贾海军常问自己:“教育是什么,为了什么,应该是什么,还能怎样,
《电子技术译丛》系由我所刊行的译刊,内容包括:国际电子技术发展的水平、动向和趋势及新技术、新工艺、新设备、新材料等,每期集中几个专题,比如电子计算机、集成电路、医
一九七八年十二月辽宁省测绘学会在大连召开了第二届综合性学术年会。参加这次年会的代表共有140人。会议期间，上届理事会向大会汇报了学会成立以来的工作，提出了一九七九年学
汉字的基本特点是:字数多,同音字多,形状近似的字多,字形构造复杂。要使汉字信息处理的输入系统简单方便,必须从客观实际出发。我们分析一下各应用领域中对汉字信息处理的要
升降设备中的流体随升降设备一起在竖直方向上所做的变速运动,是物理学中的典型问题。对于这类问题的分析,有人简单运用阿基米德原理,以致得出错误结论;有些人则直接运用“物
在社会日新月异发展的进程中,人与人之间的交流也愈加的紧密,很多时候拥有一个良好的口语交际能力,不仅是一个人生活和学习的必备要求,更是促使一个人前进和成功的绝佳利器,