问题自动化求解:数学教学中培养计算思维的探索

问题自动化求解,是一种常见的在数学教学中培养计算思维的方法。数学教学中的问题自动化求解,指针对具体的数学问题,设计解决问题的计算方案,进行算法设计或程序编写,自动化求解数学问题。《平年和闰年》一课,让学生完成“判断平年、闰年”问题的自动化求解,促使学生抽象建模,建立并优化解决问题的算法,有效培养了学生的计算思维。

基于主观Bayes方法的不确定推理算法实现

不确定推理是指建立在不确定性知识和论据基础上的推理。本文设计了基于主观Bayes方法的不确定性推理算法,通过实验结果比较了结论不确定的合成算法与更新算法的一致性,实现了不确定推理问题求解的自动化。