计算机科学与技术方法论ch02.pptVIP

CH02 计算学科中的科学问题 概 述 2.1 科学问题的定义 科学问题是指一定时代的科学认识主体，在已完成的科学知识和科学实践的基础上，提出的需要解决且有可能解决的问题。它包含一定的求解目标和应答域，但尚无确定的答案。(例如IPv4——IPv6） 能否在所从事的工作中提出关键和重要的科学问题，对我们每个人来说都是一个挑战。 2.1 科学问题的主要特征 时代性：每一个时代都有它自己的科学问题 混沌性：渴望对新知识的追求，追求开始的时候是模糊不清的。 可解决性 可变异性：能引出另外具有可解决性的科学问题 可待解性：绝非永远不可解决。 2.1 科学问题的方法论作用 科学问题的裂变式作用 如对“数学基础问题”的研究，导致了“形式系统相容性问题”的研究， 最后出现“能行性问题”的研究， 最终于20世纪30年代由图灵、哥德尔、丘奇和波斯特等人共同奠定了计算学科的理论基础 实现了人类对计算认识问题的重大突破。 2.1 科学问题的方法论作用 科学问题的聚变式作用——殊途同归 对不同科学问题的研究最终导致同一科学问题的发现 科学问题的激励作用 它召唤和激励着人们为解决这些富有挑战性的问题而勇往直前。 本章仅对反映计算学科本质的根本问题、学科各领域的基本问题、在学科中起重要作用的典型问题，以及人工智能中的若干哲学问题进行分析。 CH02 计算学科中的科学问题 计算的本质 计算学科的定义及其