陕西省教育厅科学研究项目(17JK0962) 陕西省职业技术教育学会2016年度教育科研规划课项目(SZJY-1657) 商洛职业技术学院2017年度重大课题(2017JXKT06)论文

张春香:浅谈数理逻辑教学论文
【摘要】数理逻辑已被越来越多的高校作为必修课和选修课。作为研究不确定性推理和非经典逻辑方向的必修课，搞好数理逻辑教学尤为重要，本文是在听取王国俊教授的讲课后结合同学的学习体会分...