冯莎莎
- 作品数：4 被引量：3H指数：1
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 从C语言上机实验课中的几个问题谈起被引量：1
- 2005年
- 列举了C语言上机实验课中的4个常见问题,并给出相应的解决方法和建议,即强调“自顶向下,逐步求精”的程序设计方法;重视上机前的准备工作和鼓励学生通过试错的方式学习语言。
- 冯莎莎张永刚孙吉贵
- 关键词：程序设计方法试错
- 含等词的超表演算
- 2005年
- 将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
- 冯莎莎孙吉贵吴瑕
- 关键词：等词
- 从C语言上机实验课中的几个问题谈起
- 列举了C语言上机实验课中的4个常见问题,并给出相应的解决方法和建议,即强调“自顶向下,逐步求精”的程序设计方法;重视上机前的准备工作和鼓励学生通过试错的方式学习语言。
- 冯莎莎张永刚孙吉贵
- 关键词：程序设计方法试错
- 文献传递
