-
题名浅议“算法初步”的三个特性
- 1
-
-
作者
杨再鹏
杨铭业
-
机构
甘肃武威第十五中学
甘肃武威凉州区羊下坝镇上二沟小学
-
出处
《中国科教创新导刊》
2012年第3期57-57,共1页
-
文摘
算法是指可以用计算机来解决某一类问题的程序或步骤。它不仅是数学及其应用的重要组成部分,也是计算机科学的重要基础。算法思想是现代人应具备的一种基本数学素养。同时,当今世界越来越多事情交付计算机完成,而计算机完成任何一件事情都需要算法。因此,算法的特性:明确性、有效性和步骤的有限性,就应该从数学和计算机两个层面来考虑。本文就算法的三个特性,从数学和计算机的角度进行了一些讨论。
-
关键词
算法
明确性
有效性
步骤的有限性
-
分类号
G633.3
[文化科学—教育学]
-
-
题名哥德尔不完全性定理的科学推理意义
- 2
-
-
作者
郭金彬
黄长平
-
机构
厦门大学哲学系
-
出处
《自然辩证法通讯》
CSSCI
北大核心
2010年第2期15-20,共6页
-
文摘
哥德尔不完全性定理在科学推理,特别是在通过有限步骤的手段而达到对无限的认识和把握中,具有重要的方法论意义,它启示人们对前提条件进行考察时讲究改进情景,通过转换形式,从不同系统着手,探索真理。
-
关键词
不完全性定理
证明推理
有限步骤
无限
-
Keywords
Gdel's incompleteness theorem
Proof reasoning
Finite steps
Infiniteness
-
分类号
N09
[自然科学总论—科学技术哲学]
-