计算机科学与技术方法论主讲教师：董荣胜、钟艳如、陈光喜、李凤英专题讲座：古天龙桂林电子科技大学“计算机科学与技术方法论”课程组前言o 对计算机科学的误解这门学科的主要工作就是编程和游览网络o 本课程的目的n 寻求一种统一的思想来认知计算机学科的本质；n 对计算机学科进行系统化和科学化的描述n 关注在计算学科中具有共同的、本质特征的内容上。第1章 绪 论o 要解决学科的认知问题，必须有一套科学的方法有助于人们对学科认识的逻辑化、程序化、理性化和具体化。 o 1984年7月美国计算机科学与工程博士单位评审部的领导们，在犹他州会议上对计算认知问题进行了讨论。促使ACM和IEEE-CS联合攻关组，开始用新的思维方式来理解计算学科。 o 计算机科学与技术方法论的建立借鉴了数学的公理化思想 1.1 方法论产生的历史背景 o 1943年英国的一台名叫“巨人”（Colossus）的计算机就投入了运行，用于译解德国密码， 1970年之前一直保密o 1946.2.14美国宾夕法尼亚大学研制成功的ENIAC（Electronic Numerical Integrator and Calculator，电子
