Published
2025-12-02
Section
Articles
How to Cite
离散数学中数理逻辑案例式教学研究
王 蕊
中国矿业大学（北京）理学院
DOI: https://doi.org/10.59429/jyyj.v7i11.12158
Keywords: 数理逻辑；等值演算；主范式；逻辑推理
Abstract
本文针对离散数学中数理逻辑部分理论抽象、学生难以理解的问题，探讨了案例式教学方法。通过引入逻辑 联结词、等值演算、主范式、逻辑推理等典型教学案例，将抽象的逻辑公式与实际问题相结合，激发学生的学习兴 趣，提升学生的逻辑思维能力和解决实际问题的能力。
References
[1] 耿素云，屈婉玲，张立昂．离散数学[M]．第六版．北京：清华大学出版社，2021．
[2] 肯尼迪· H，罗森．离散数学及其应用[M]．第八版．北京：机械工业出版社，2019．
[3] Raymond S. What is the name of this book?[M]．Prentice-Hall, Englewood Cliffs, NJ, 1978.
[4] 逢泽明 . 推理谜题[M]．北京：北京理工大学出版社，2006．
[5] 萧青 . 公考行测逻辑判断有哪些题型和技巧？[EB/OL].2025-06-22. https://www.zhihu.com/question/14752513785/answer/122500830311.
[6] 杜君花，梁红梅，马艳萍． 数理逻辑的若干应用[J]． 高师理科学刊，2018,38(9): 56-60.
[7] 李艳艳，高美平． 案例教学法在《离散数学》命题逻辑教学中的应用[J]． 科教论坛，2020,10:21-22.
[8] 杨井荣，李思莉．离散数学中命题逻辑的应用研究[J]．计算机技术与发展，2021,31(3):115-119.