|
|||||
|
|
| 映射、集合与推理 | |
| 引用本文： | 李世群,刘金旺,赵雨清.映射、集合与推理[J].湘潭师范学院学报(自然科学版),2007,29(1):16-17. |
| 作者姓名： | 李世群 刘金旺 赵雨清 |
| 作者单位： | 湖南科技大学,数学与计算科学学院,湖南,湘潭,411201 |
| 基金项目： | 湖南科技大学重点教改课题 |
| 摘 要： | 数理逻辑在数学教育专业是高等代数的后续课程,集合和映射则是高等代数的内容。在数学教育专业讲授数理逻辑时,如何将高等代数中集合和映射的内容与数理逻辑的内容结合起来;达到既巩固高等代数的知识,又将数理逻辑中的推理讲得更好?在工科专业讲授“离散数学”时,如何将集合论中的集合间关系与数理逻辑结合起来,这是一个值得研究也很有趣的问题。就这两个问题进行探讨。 |
| 关 键 词： | 数理逻辑 集合 推理 谓词 映射 |
| 文章编号： | 1671-0231（2007）01-0016-02 |
| 收稿时间： | 2006-11-22 |
| 修稿时间： | 2006年11月22 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |