
计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动,由周以真于2006年3月首次提出。2010年,周以真教授又指出计算思维是与形式化问题及其解决方案相关的思维过程,其解决问题的表示形式应该能有效地被信息处理代理执行。

她的主要研究领域是形式方法、可信计算、分布式系统、编程语言等。
1993年她与图灵奖得主芭芭拉·利斯科夫合作,提出了著名的Liskov代换原则,是面向对象基本原则之一。
1979年6月在麻省理工学院获得学士和硕士学位,导师中有图灵奖得主Ronald Rivest。
1983年获得该校的博士学位。
1983—1985年,在南加州大学任助理教授。
1985年起,任教于卡内基-梅隆大学。
2004—2007年间,曾担任该校计算机系主任。

举例1:超市付账时的排队问题

不同的排队人数、每个人不同的货物、每个货物不同的价格、每个收银员不同的工作速度以及态度...哪一队会最快速地完成收款、并有一个愉悦的购物体验。
举例2:旅游路线规划

ABCDEFG七个不同的地点,每两个地点之间的路程时间不同,每个地点能够游玩的时间也是不同的,假设每天最多能够在路上或者游玩14个小时,那么如何安排才能够在有限的时间(如3天)内游玩的地方最多呢?
在接下来的课程中我们将介绍两种最普遍、最常用的算法“遍历算法”“贪心算法”,来帮助大家解决这个世纪难题。
知识拓展
你知道新互联网三巨头TMD是哪些公司吗?
答“头条、美团、滴滴”。