陕西省商洛职业技术学院论文

浅谈数理逻辑教学张春香龚加安（陕西省商洛职业技术学院，陕西商洛726000）【摘要】数理逻辑已被越来越多的高校作为必修课和选修课。作为研究不确定性推理和非经典逻辑方向的必修课，...