浅谈数理逻辑教学
张春香 龚加安
（陕西省商洛职业技术学院，陕西 商洛 726000）
【摘 要】 数理逻辑已被越来越多的高校作为必修课和选修课。 作为研究不确定性推理和非经典逻辑方向的必修课，搞好数理逻辑教学尤为重要，本文是在听取王国俊教授的讲课后结合同学的学习体会分别从选教材，阐明学习意义，课堂教学等环节论述了这门课程的教学。
【关键词】 数理逻辑；不确定性推理；非经典逻辑；教学
数理逻辑又叫“现代逻辑”，是跟“传统逻辑”相对而言的。 就是采用数学的方法来研究思维形式的逻辑结构及其规律的一门科学。 数理逻辑仅仅有三百余年的历史，但已经是一门门类众多，系统完整的学科。 随着现代科学技术的突飞猛进， 它同其它学科的联系越来越密切。 由于数理逻辑研究的可计算性问题， 是计算机运算的理论基础， 它所揭示的推理的逻辑关系，在计算机的线路设计中得到应用。在20 世纪40 年代，数理逻辑在开关线路，电子计算机，自动控制论，各种信息处理系统方面获得显著成果。 20 世纪60 年代以来， 数理逻辑不仅广泛应用在自然科学各领域里，而且应用于企业管理，考古等方面。
数理逻辑最初是作为“运用数学方法的逻辑”产生的， 主要是在数学等演绎科学发展的基础上为适应它们的表达和理论上的需要而兴起的。 随后， 数学的发展逐渐正式提出并要求认真解决数学的逻辑和哲学基础问题， 于是数理逻辑又进一步发展成主要是 “关于数学的逻辑”，并与数学基础理论相结合，成了一门数学科学。 鉴于此， 陕西师范大学王国俊教授和吴洪博教授早在几年前就开始招收基础数学专业不确定推理和非经典逻辑两个方向的研究生， 在他们师生的共同努力下取得了一定的成果。
根据悬臂式掘进机可视化辅助截割系统整体方案，计算机界面需要完成实时工况数据的采集、计算、显示和存储以及基本参数的设置与历史数据的查询等功能，如图5所示。
数理逻辑是不确定性推理和非经典逻辑的方向课。 通过王国俊教授的讲解和同学们的学习研究，就数理逻辑教学谈点自己的看法， 仅供其它兄弟院校开设这门课程时参考。
首先，要选好教材。
科学评审小组负责对报送美国国立卫生研究院的大部分（约75%）课题申请书进行初审。其根据学科和研究领域建立的100多个科学评审小组是该评审系统的核心，各科学评审小组主要由各研究领域或医学专业著名的非政府科学家组成，成员一般有16～20人，名单一般在网络公开，由相应的科学评审管理官员（Scientific Review Administrator，SRA）负责管理。初审分网评和会评两步。
我们起身要走的时候，校长很坚决地要把提来的东西，让父亲拿回去。父亲却在他转身去提的那一瞬间，拉起我冲出门。他那条微瘸的右腿，那一刻仿佛注入了一股非凡的力量，突然间无可匹敌。
在现代社会， 数理逻辑已经成为诸多科学研究的基本工具和方法， 而且随着逻辑研究的深入， 应用范围的不断扩大， 新领域的不断开拓， 研究工具的作用和意义也在日益增强。 我国正在从事社会主义现代化建设， 其中包括科学现代化， 科学现代化需要思维方式的现代化， 而思维方式的现代化必须以数理逻辑为代表的分析性思维的精确性为基础。 对于缺乏这种逻辑思维传统的我国来说， 尤应在高校加强数理逻辑教学与研究工作， 以推动整个民族思维方式走向现代化。 从思维方式现代化和基础工具的角度来看， 学习数理逻辑有十分重大的意义， 能够引起学生的足够重视。
目前，有关数理逻辑的教材很多。 由于数理逻辑本身的理论和系统的缘故， 在介绍数理逻辑时， 不同的作者在写法上和内容介绍上有所不同， 为了便于教学， 使学生易于接受， 陕西师范大学王国俊教授亲自编写了《数理逻辑引论与归结原理》作为教材。 该书共分九章， 第一章讲预备知识， 主要是讲Boole 代数理论。 第二章讲命题演算。 第三章与第四章分别讲一阶谓词演算的语义理论与语构理论， 但又不涉及带等词的逻辑。 第五章较系统地讲述了Skolm 变形和Herbrand定理。 第六、七章分别讲述归结原理及其简化方法。 第八章介绍多值逻辑演算理论。 第九章“计量逻辑”是在第一版的基础上补充的。本书凝聚了王国俊教授10 多年讲授数理逻辑的经验：（1） 虽然形式化与符号化是数理逻辑的固有特点， 然而能少用或能不用的符号就一定要少用或不用。 （2）尽可能地用通俗语言描述抽象的概念。 比如，在命题演算的语义理论中，如果把赋值映射成为“裁判”，把真值表{1，0}称为“打分表”，把全体赋值之集称为 “裁判团”， 就会收到相当好的效果。 （3）Boole 代数理论是数学专业与计算机等专业的学生应当熟练掌握的基本知识， 它与逻辑演算理论又有深刻的联系，所以从Boole 代数理论入手证明命题逻辑与一阶谓词的完备性定理既自然又易于理解。 在这本书中讲述逻辑演算时充分注意了以上的三个方面。有了这样适用的教材， 便迈出了搞好数理逻辑教学的第一步。
再次，认真执教，提高课堂教学效果。
其次阐明学习意义，增强兴趣。
讲清楚学习数理逻辑的意义， 才能增强学生学习的目的性， 才能激发学生学习的内动力， 作为逻辑教学和研究工作者， 要搞好数理逻辑的教学工作， 最关键的就是使学生真正感到数理逻辑这门课对他们有用，学习这门课觉得有收获。 有人说过一句话“有为才能有位”。 是很有道理的。 现在是市场经济时代，学生学习某一门课就是希望从中可以获得某种能力和本事， 逻辑教学本身也就像一件商品那样， 得让学生认购它。 学生如果不认某门课，再强调它重要也没有用。
数理逻辑教学工作是一项难度较大的工作， 它不仅要求教师自己把相关的内容吃透， 更要求教师针对学生的实际情况，既要注重科学性，也要注重趣味性，以深入浅出的讲解清楚基本知识， 使学生易于理解和掌握。 因此，教学方法的探索和改进，教学进度的安排和调整， 就显得更重要了。 这些工作都需要教师具有奉献精神， 舍得时间投入。 数理逻辑的教学重点是培养学生的逻辑演算能力。 演算能力必须通过大量的实际演算来培养和提高。 因此， 教学中抓住演算训练就抓住了逻辑教学的中心环节。
数理逻辑高度抽象， 学逻辑可以说是一种高度抽象的智力活动。 因此， 调动学生学习的积极性是搞好教学的前提， 要做到这一点， 必须真正把学生放在教学中的主体地位， 真正尊重学生的创造精神， 真正激发学生的求知欲。 这就需要教师的精心组织和民主作风。
即便不看这些大的并购案，小微并购案可能在中国的物流市场每天都在发生。2018年10月24日，申通快递发布公告称，其全资子公司申通快递有限公司拟以3866.85万元收购收购贵州、昆明的两大中转中心。同年6月6日消息,申通快递收购深圳、广州等转运中心资产。“而更多的不知名的物流第三方企业因为利润下降，生意不好做，转卖给同样不知名的物流第三方企业这样的案例会更多。”王成表示，不论大案例，还是小案例，都在表明这个行业正在向更高的集中度迈进。
总之， 学习和掌握数理逻辑的基本知识和基本方法能够进一步提高人们抽象思维能力， 极大的促进各种理论科学的发展， 必将为更多的学科开辟新的研究方向和道路。 每一个有志于科学事业的人， 都应当掌握一些必备的数理逻辑知识。 只要有了好的方法，教师的教和学生的学都能收到事半功倍的效果。
【参考文献】
［1]王国俊.数理逻辑引论与归结原理[M].北京：科学出版社，2003.
［2]毕富生.数理逻辑[M].北京：高等教育出版社，2004.
［3]张燕京. 数理逻辑教学刍议 [J]. 自然辩证法研究，2000，16（6）：33 ～134.
Talk about Mathematical Logic Instruction
ZHANG Chun-xiang GONG Jia-an
(Shangluo Vocational And Technical Instituion, Shangluo Shaanxi, 726000, China)
【Abstract】 Mathematical logic has been taken as compulsory course and selected course by more and more universities.As compulsory course of reaserding uncertain reasoning and nonclassical logic,it is very important to do well in instruction of mathematic logic.After listening to the lecture of professor WANG Guo -jun ,and with the studing experience of students ,this paper discuses the instruction of this course from several aspects such as choosing teaching materials ,clarifying meaning of study, teaching in classroom.
【Key words】 Mathematical logic; Uncertain reasoning; Nonclassic logic
中图分类号： B81
文献标识码： A
文章编号： 2095-2457（2019）04-0109-002
DOI： 10.19694/j.cnki.issn2095-2457.2019.04.042
※基金项目： 陕西省教育厅科学研究项目（17JK0962）；陕西省职业技术教育学会2016 年度教育科研规划课项目（SZJY-1657）；商洛职业技术学院2017 年度重大课题（2017JXKT06）。
作者简介： 张春香（1979—），女，陕西商州人，学士，商洛职业技术学院助教，研究方向为数学教育教学。
标签：数理逻辑论文; 不确定性推理论文; 非经典逻辑论文; 教学论文; 陕西省商洛职业技术学院论文;