期刊文章详细信息
离散数学教学中的命题符号化难点讨论
Node discuss of propositions symbolization in the teaching of discrete mathematics
文献类型：期刊文章
机构地区：[1]云南财经大学计算机科学系
年 份：2007
期 号：09S
起止页码：38-40
语 种：中文
收录情况：JST、NSSD、RCCSE、普通刊
摘 要：离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂内容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。
关 键 词：数理逻辑 命题符号化 教学方法
分 类 号：G64]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
