1 离散数学教学辅助软件的设计与实现 设计并实现命题逻辑中等值演算的验证程序，真值表构成程序，范式计算程序；一阶逻辑等值演算的验证程序，范式推导程序；简单陈述句到...
1 离散数学教学辅助软件的设计与实现 2 本地区相关理工师范学校相关学科的教学及教学特色调查 3 教学课件、辅助材料和设备的使用情况调查研究 ...
