期刊文献+

数理逻辑中谓词命题符号化的难点解析 被引量:1

下载PDF
导出
摘要 本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结谓词命题符号化的学习要点和难点,从而帮助学生更高效地学习好数理逻辑.
作者 熊瑜
出处 《数学学习与研究》 2017年第9期6-6,共1页
  • 相关文献

参考文献5

二级参考文献4

  • 1左孝陵,李为钅监,刘永才.离散数学[M].上海:上海科学技术文献出版社,1998.135-139. 被引量:2
  • 2黄和之.离散数学导论[M].北京:北京经济学院出版社,1992:100-200. 被引量:2
  • 3闫林.数理逻辑与粒计算[M].北京:科学出版社,2007:85-100. 被引量:1
  • 4梅家斌,刘红玲,罗娟,等.离散数学辅导与习题解答[M].武汉:华中科技大学出版社,2008:3644. 被引量:1

共引文献4

同被引文献26

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部