刘林娜
- 作品数：3 被引量：10H指数：2
- 供职机构：淮北煤炭师范学院数学科学学院更多>>
- 发文基金：安徽省优秀青年科技基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 关于无端点稠密有序集理论完全性的证明
- 2007年
- 完全理论在一阶逻辑中占有重要地位.文章利用Robinson判别法证明无端点稠密有序集是完全理论,并由Robinson判别法得到了一个理论是完全理论的充分条件。
- 刘林娜陈国龙
- C语言程序设计教学探讨被引量：5
- 2008年
- C语言是在国内外广泛使用的一种计算机语言,是计算机专业及相关专业的专业基础课。另外,C语言也是全国计算机等级考试的科目之一。文章根据实际教学实践,分析了当前C语言教学中所存在的问题,并就如何激发同学们的学习兴趣,培养同学们程序设计能力,进行了一定的分析与探讨,以提高课堂教学效果。
- 张引兵刘林娜
- 关键词：C语言程序设计教学实践
- 浅谈程序设计中的递归算法被引量：5
- 2008年
- 递归是数学和计算机科学中的一个基本概念,许多复杂问题的求解都可以用递归算法去解决.本文通过具体实例,讨论了一些问题的递归算法实现,并对递归算法进行了进一步的探讨。
- 张引兵刘林娜
- 关键词：程序设计函数递归算法
