节点文献
映射、集合与推理
【摘要】 数理逻辑在数学教育专业是高等代数的后续课程,集合和映射则是高等代数的内容。在数学教育专业讲授数理逻辑时,如何将高等代数中集合和映射的内容与数理逻辑的内容结合起来;达到既巩固高等代数的知识,又将数理逻辑中的推理讲得更好?在工科专业讲授“离散数学”时,如何将集合论中的集合间关系与数理逻辑结合起来,这是一个值得研究也很有趣的问题。就这两个问题进行探讨。
【基金】 湖南科技大学重点教改课题(G30507)
- 【文献出处】 湘潭师范学院学报(自然科学版) ,Journal of Xiangtan Normal University(Natural Science Edition) , 编辑部邮箱 ,2007年01期
- 【分类号】O143
- 【被引频次】1
- 【下载频次】305