摘要
离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂内容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。
discuss mathematics is an important professional foundation course of the calculator science and technology profession, but the mathematics logic is one of the most complicated, but carry on logic＇s reason logically to want to carry on to set question the sign to turn first, how carry on exactly propositions symbolization is that this paper want to discuss.
出处
《计算机教育》
2007年第09S期38-40,共3页
Computer Education
关键词
数理逻辑
命题符号化
教学方法
Mathematics logic, propositions syrnbolization, teching method.
