南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)为什么计算机能解题

计算思维? 陶先平马骏 南京大学计算机软件研究所
计算思维? 陶先平 马骏 南京大学计算机软件研究所

计算机是干什么的? 精准揭示!预见未来! 物理世界 虚拟世界 营造一个和物理世界一致的数字化世界 通过计算,精准揭示物理世界现状和规律 通过模拟,预见物理世界的未来
计算机是干什么的? 抽 象 物理世界 虚拟世界 通过计算,精准揭示物理世界现状和规律 通过模拟,预见物理世界的未来 营造一个和物理世界一致的数字化世界 精准揭示!预见未来!

精准揭示 蒸电胭 国屑节能唇务有限公司 典型案例配网节能 节约标煤 减排二氧化碳 安全远行天数 29.33亿kwh 意96.80万tce C02253.62万吨 曲 1438天 有用改道数保 4该53 W 无对海习 140.44MWm 526+ x1003 22个 799.31 1703 209 盟 180208 64.119Mva w42528个 w368个 18507 工民在率 系计节电■工 0.95 85728 924.65 95 16877.51万awm 294.1 电在过事 票计移电量 2177701454.55 工地市黑计特电曼比数工 2642.69 68% 32% 0% 习全省计特电:1行 正常 重酸 3096.8铠 月度节电量 1513.1660 ■9246361 ☐2219.8140 ■16051600 1413.8090 ■1779.3230 1838.505 ■1839.3420 ■1258.1370 1160.2200 ●新江省培市常计节电量(单位:万kW) 明 ■1107410 DAYI DAY2 DAYJ DAY4 DAYS DAYS DAY7 1065.7560
精准揭示

预见未来! Anatomy of an Intercept Satellite 9】 Intercept Sensor Attempt H田 Missile Releases Warhead and Kill Vehicle Views Decoys (Threat Threat Cloud Cloud) 7 SBX Tracks Threat Cloud. Attempts Discrimination 6 K证 Vehicle Ground-Based Radar Separates from Tracks Threat Cloud Interceptor 2 Satellite and Radar Detect Threat Launch Threat Missile Forward- Ground-Based Sea Based Intercept Launch Based Radar Tracking Radar X-band Radar Launch
预见未来!

共性之处 799,31 180208 1850.79 85728 70 1454.55 26 帮助人类发现并利用更多的自然规律 州市 ●浙江省各市累计节电量(单位:万kW)
共性之处 帮助人类发现并利用更多的自然规律

我们如何用计算机做这些事情? 抽象 自动演化 物理世界 虚拟世界 模拟 走向物理世界与虚拟世界的无缝连接
我们如何用计算机做这些事情? 走向物理世界与虚拟世界的无缝连接 抽象 物理世界 虚拟世界 模拟 自 动 演 化

抽象? ·数据抽象 ·建立物理世界的数字印象 ·问题抽象 ·建模数字印象中的“演化”规律 ·平台抽象 ·建立数字印象中的演化“支撑
抽象? • 数据抽象 • 建立物理世界的数字印象 • 问题抽象 • 建模数字印象中的“演化”规律 • 平台抽象 • 建立数字印象中的演化“支撑

数据抽象 数据抽象 核心概念: 信息形态、信息组织、 存储、检索与利用 解释
数据抽象 数 据 抽 象 解释 核心概念: 信息形态、信息组织、 存储、检索与利用

Represent information as bit patterns 141S9265358979323 7510s820974944s923078/ 3 906996S☑ 14502w 怎么把一段文字“放 上作季ge满 23&c08ZgR人6000o- 2384 到”计算机里? 5101501010H055H010H01001010101010t601610t0401o1060010i01g 110101000111011f0100019 0101000010111010010001110001 10H000010i010000000 1111010101010100020001016101 010101010160009 10101010 001110101005 11101010001010 1000111010101 10101010 古 9111000011010 詞话三境 0101016000 010101010100011 10101g 歲在甲午 界 011001010 0101 之 成 010101000 01c000101 0000000111111111 1010101 珊首不一 010101010 邮他此海境望西過 1110101000 0111000011g 101010101010101 010101000 01010910101 Q01011101010109 0101010000111 0100000 01010101010M08 0100001h 0101010 101001010 10010101000010 u01010101010161010101 1150020110100100101010001011101010100101000111001001000 0101010000000001001010101010101010101010101080101010000 你怎么知道计算机里 一段二进制串表达的 就是王国维的“三境 界”?
Represent information as bit patterns 怎么把一段文字“放 到”计算机里? 你怎么知道计算机里 一段二进制串表达的 就是王国维的“三境 界”?

ASCI码 ASCIL码对昭圭 ASCII,Ameri "阿斯key"寸 每个人的电脑里都 来像是 样的结果与 意义。由 用8个位 有不少.txt文件。什 都使 用来代 表另一组 么文件是.txt文件? ASCII码 ASCII码 健盘 27 ESC 32 33 34 Figure 1.13 The message "Hello."in ASCll 01001000 01100101 01101100 01101100 01101111 00101110 H e 1 1 0
ASCII码 每个人的电脑里都 有不少.txt文件。什 么文件是.txt文件?
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)问题求解课程解释和约定.pptx
- 《计算机问题求解》课程教学资源(阅读材料)Go To Statement Considered Harmful(Dijkstra CACM 1968).pdf
- 《计算机问题求解》课程参考书籍材料:《Problem Solving with C++》PDF电子版(Addison Wesley,2014,Ninth Edition,Walter Savitch).pdf
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)随机算法的概念.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)总复习之数据结构与算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)总复习之形式化和建模.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)启发式算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)算法问题的形式化描述.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)近似算法的基本概念.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)数论算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)密码算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)代数编码.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)NP完全理论初步.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)群论初步.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)群同态基本定理与正规子群.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)置换群与拉格朗日定理.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)线性规划.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)数论基础.pptx
- 《计算机问题求解》课程参考书籍教材:Abstract Algebra - Theory and Applications(Thomas W. Judson).pdf
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)矩阵计算.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)什么样的推理是正确的.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)常用证明方法及其逻辑正确性.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)算法的基本结构.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)不同的程序设计方法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)如何将算法告诉计算机.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)数据与数据结构.pptx
- 南京大学:《计算机问题求解》课程教学资源(课件讲稿)集合论 I 公理与操作.pdf
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)偏序关系和格.pptx
- 南京大学:《计算机问题求解》课程教学资源(课件讲稿)集合论(III)函数.pdf
- 南京大学:《计算机问题求解》课程教学资源(课件讲稿)集合论(IV)无穷.pdf
- 南京大学:《计算机问题求解》课程教学资源(课件讲稿)集合论 II 关系.pdf
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)布尔代数.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)动态规划.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)贪心算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)摊还分析.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)用于动态等价关系的数据结构.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)单源最短路径算法.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)图的基本概念.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)图的计算机表示以及遍历.pptx
- 南京大学:《计算机问题求解》课程教学资源(PPT课件讲稿)树.pptx