计算机科学与技术方法论-ch2-计算学科中的科学问题概述-兰州大学信息院-人民邮电出版.pptxVIP

CH02 计算学科中的科学问题;2.1 科学问题的定义;2.1 科学问题的主要特征;2.1 科学问题的方法论作用;2.1 科学问题的方法论作用;CH02 计算学科中的科学问题;2.2 计算本质的认识历史;康托尔的集合论和罗素悖论;希尔伯特纲领;库尔特·哥德尔（K．Godel）;希尔伯特纲领;希尔伯特纲领的历史意义;图灵对计算本质的揭示;现代计算机的产生以及计算学科的定义;计算学科的根本问题;从计算的角度认知思维、视觉和生命过程;;CH02 计算学科中的科学问题;哥尼斯堡七桥问题;问题的抽象;欧拉回路;哈密尔顿回路问题;图论的形成和发展;梵天塔问题;;算法：C语言描述;当n=64时，移动次数=？花费时间=？ ;;算法复杂性中的难解性问题、P类问题和NP类问题;;证比求易算法;;顺序算法和并行算法;阿达尔定律;P＝？NP;;旅行商问题与组合爆炸问题;旅行商问题与组合爆炸问题;旅行商问题与组合爆炸问题;;TSP的应用;生产者－消费者问题;“哲学家共餐”问题;;;GOTO语句的问题以及程序设计方法学;;GOTO语句;;CH02 计算学科中的科学问题;图灵测试;图灵测试;罗布诺奖;;西尔勒的“中文屋子”;电脑博弈传奇;;卡斯帕罗夫;;许峰雄;Deep blue ;;阿兰·图林的“纸上下棋机”;“纸机器”实际是一种程序算法;学科诞生 ;Shannon;塞缪尔;;;3．博弈树搜索;;4．结论