离散数学教学中的命题符号化难点讨论  

Node discuss of propositions symbolization in the teaching of discrete mathematics

作　　者：何锋[1] 

机构地区：[1]云南财经大学计算机科学系

出　　处：《计算机教育》2007年第09S期38-40,共3页Computer Education

摘　　要：离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂内容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。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.

关 键 词：数理逻辑 命题符号化 教学方法 

分 类 号：G64[文化科学—高等教育学]