当前位置: 首页 > news >正文

计算思维的理解

2006年,卡内基·梅隆大学周以真教授首次系统性地定义了计算思维。这一年,她在美国计算机权威期刊《Communications of the ACM》上发表了题为《Computational Thinking》的论文,由此开启了计算思维大众化的全新历程。

周以真(Jeannette M. Wing),计算机科学家,美国艺术与科学院院士,美国国家发明家科学院院士,美国国家工程院院士,哥伦比亚大学常务副校长。 [1]

周以真于1979年6月获得麻省理工学院学士学位;1983年6月获得麻省理工学院博士学位;1983年—1985年任南加利福尼亚大学计算机科学系助理教授;1985年起任教于卡内基梅隆大学;1999年—2004年任卡内基梅隆大学计算机科学学院学术副院长;2004年—2007年任美国卡内基梅隆大学计算机科学系主任;2007年—2012年任微软-卡内基梅隆计算思维中心主任;2013年—2017年任微软全球副总裁;2017年任哥伦比亚大学计算机科学教授;2021年9月任哥伦比亚大学常务副校长;2024年2月当选为美国国家工程院院士。 [2]

周以真的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。

 

计算思维是什么呢?


在《Computational Thinking》这篇论文中,周以真教授用“硬科学”的术语描述了计算思维:计算思维是运用计算机科学的基本理念,进行问题求解,系统设计以及理解人类行为。也就是说,计算思维是一种解决问题的思考方式,而不是具体的学科知识,这种思考方式要运用计算机科学的基本理念,而且用途挺广的。

以真教授对计算思维的几个清晰论断。

1 计算机思维是研究计算的。

2 是概念化,不是编程。

3 是基础技能,不是死记硬背的技能。

4 是人的思考方式,不是计算机的思考方式。

5 是数学思维、工程思维的补充和结合。

6 是想法,不是人造产品。

 

相关文章:

计算思维的理解

2006年,卡内基梅隆大学周以真教授首次系统性地定义了计算思维。这一年,她在美国计算机权威期刊《Communications of the ACM》上发表了题为《Computational Thinking》的论文,由此开启了计算思维大众化的全新历程。 周以真(Jeanne…...

Python中tkinter编程入门4

在Python中tkinter编程入门3-CSDN博客中创建了Button控件,点击该控件就会产生一个点击事件,在创建Button控件时指定该点击事件的处理程序后,按键控件就会对用户的点击事件产生响应。 1 定义事件处理器 定义事件处理器就是一个自定义的函数。…...

Milvus的系统架构

简介 Milvus的构建在许多知名的向量搜索库比如Faiss, HNSW, DiskANN, SCANN等之上的,它针对稠密向量数据集的相似搜索而设计,能支持百万、十亿甚至万亿级别的向量搜索。 Milvus支持数据分片,流式数据插入,动态schema&#xff0c…...

MFC中关于CMutex类的学习

MFC中关于CMutex类的学习 最近在项目中要实现两个线程之间的同步,MFC中提供了4个类,分别是CMutex(互斥量)、CCriticalSection(临界区)、CEvent(事件对象)、CSemaphore(信号量)。有关这4个类的说明,大家可以参考微软官方文档: CM…...

删除表空间

Oracle从入门到总裁:​​​​​​https://blog.csdn.net/weixin_67859959/article/details/135209645 当某个表空间中的数据不再需要时,或者新创建的表空间不符合要求时,可以考虑删除这个表空间。若要删除表空间,则需要用户具有 DROP TABLESP…...

下载element-ui报错

此错误表示尝试从npm注册表下载“resize observer polyfill”包时超时。这可能是由于网络连接问题或npm注册表服务器的问题。 要解决此问题,您可以尝试以下步骤: 1.重试npm install命令:有时,网络问题会导致临时超时。再次运行npm…...

[原创](Modern C++)现代C++的std::bind花式绑定,使用方式大全.

[简介] 常用网名: 猪头三 出生日期: 1981.XX.XX QQ联系: 643439947 个人网站: 80x86汇编小站 https://www.x86asm.org 编程生涯: 2001年~至今[共22年] 职业生涯: 20年 开发语言: C/C、80x86ASM、PHP、Perl、Objective-C、Object Pascal、C#、Python 开发工具: Visual Studio、D…...

Unity射击游戏开发教程:(13)如何在Unity中播放音效

在本文中,我将向大家展示一些为游戏添加声音的不同方法。 我们为游戏添加声音的第一种方法是播放背景音乐。在此,我们将创建游戏对象(“音频管理器”)并创建一个子游戏对象(“背景音乐”)。该子游戏对象将是播放音乐的对象,因此需要向其添加音频源组件。如果没有音频源组…...

Swift—手写防抖、手写图片预加载与多张图片拼接

什么是防抖,为什么要防抖? 比如我们在文档在线编辑中修改文档内容,总不能打一个字就发送一次更新请求吧,用户疯狂点击一个按钮,总不能一直触发按钮的逻辑吧。防抖被用于避免频繁触发的事件。 Swift实现防抖代码&…...

Redis过期键删除策略

Redis有三种过期键的删除策略。 定时删除:在设置键的过期时间的同时,创建一个定时器,让定时器在键的过期时间来临时,立即执行对键的删除策略。惰性删除:放任键过期不管,但每次从键空间获取键时&#xff0c…...

413 Request Entity Too Large

问题 平台上传文件接口报:413 Request Entity Too Large。 原因 从字面意思就能看出来,是上传文件过大导致的。 一般解决 一般情况下修改nginx配置文件中client_max_body_size参数的大小就行了。可以在http{ }中设置。也可以在server{ }中设置。还可…...

工业无风扇计算机的优点

无风扇计算机往往采用紧凑且密封的外形,使其坚固耐用,使其能够在需要现场工程师进行维护之前承受恶劣的环境数年。机载移动部件较少或没有移动部件会降低组件无法按预期运行的可能性,或者更糟糕的是发生故障和损坏。采用工业组件和较低的散热…...

个人学习计划

vue前端(一周) 05/14 - 05/19 Html、css复习、vue基础复习、axios复习 05/14 ElementUI学习 05/15 JWT集成验证码、token 05/16 vue-route多角色登录 05/17 增删查改、文件下载 05/18 Echart饼状图 05/19 📌 附加学习: 父子传值三…...

【电控实物-LK电机】

参数 Kt 0.11 N.M/A...

《Mybatis》系列文章目录

什么是 MyBatis? MyBatis 是一款优秀的持久层框架,它支持自定义 SQL、存储过程以及高级映射。MyBatis 免除了几乎所有的 JDBC 代码以及设置参数和获取结果集的工作。MyBatis 可以通过简单的 XML 或注解来配置和映射原始类型、接口和 Java POJO&#xff…...

ARM机密计算组件

安全之安全(security)博客目录导读 目录 ​一、硬件架构 1、RME 二、软件和固件架构 1、RMM 2、其他固件标准(例如PSCI) 三、开源实现 1、TF-A 2、Veraison 3、工具链 四、动态TrustZone技术 Arm机密计算架构(Arm CCA)引入了一系列硬件和软件…...

Linux 生态与工具

各位大佬好 ,这里是阿川的博客 , 祝您变得更强 个人主页:在线OJ的阿川 大佬的支持和鼓励,将是我成长路上最大的动力 阿川水平有限,如有错误,欢迎大佬指正 目录 Linux生态简介:Linux工具lrzsz&#xff…...

RHCE网络服务配置之循环执行的例行性工作

1、什么是循环执行的例行性工作 循环执行的例行性工作:每隔一定的周期就需要执行一次 2、crontab的工作过程 /etc/cron.allow,写在该文件的人可以使用crontab命令 /etc/cron.deny,黑名单 两个文件如果都不存在,只有root能使用…...

vue3使用el-radio-group获取表格数据无法选中问题

这里是引用 今天写项目发现使用el-radio-group无法获取表格中的数据&#xff0c;于是去官网查看了一下&#xff0c;发现写的没啥问题&#xff0c;就是 <el-radio value"1" size"large"> 未知</el-radio>这样的写法&#xff0c;又在网上看了一些…...

java并发

基本概念 并发编程可以抽象成三个核心问题: 分工、同步/协作、互斥分工 将当前 Sprint 的 Story 拆分成「合适」大小的 Task,并且安排给「合适」的 Team Member 去完成 拆分的粒度太粗,导致这个任务完成难度变高,耗时长,不易与其他人配合;拆分的粒度太细,又导致任务太多…...

怎么远程操作另一台手机 手机能远程控制别的手机吗

想远程操作另一台手机应急&#xff1f;不管是忘带工作机需回复客户消息&#xff0c;还是手游玩家用备用机远程控制主力机挂机领福利&#xff0c;都需要好用的工具。市面上能远程操作另一台手机的软件不少&#xff0c;但是却多有短板&#xff0c;难以适配需求。推荐无界趣连2.0&…...

嵌入式开发实战:软硬件协同设计与深度调试指南

1. 项目概述&#xff1a;嵌入式开发&#xff0c;一场与硬件的深度对话 干了十几年嵌入式&#xff0c;我越来越觉得&#xff0c;这行当本质上就是一场开发者与硬件之间旷日持久的“对话”。你写的每一行代码&#xff0c;最终都要落到那块小小的电路板上&#xff0c;去驱动LED闪烁…...

如何5分钟部署AI斗地主助手:从零开始打造你的智能游戏伙伴

如何5分钟部署AI斗地主助手&#xff1a;从零开始打造你的智能游戏伙伴 【免费下载链接】DouZero_For_HappyDouDiZhu 基于DouZero定制AI实战欢乐斗地主 项目地址: https://gitcode.com/gh_mirrors/do/DouZero_For_HappyDouDiZhu 还在为斗地主游戏中的决策烦恼吗&#xff…...

AnyKernel3:Android内核刷机终极指南 - 5分钟构建通用刷机包

AnyKernel3&#xff1a;Android内核刷机终极指南 - 5分钟构建通用刷机包 【免费下载链接】AnyKernel3 AnyKernel, Evolved 项目地址: https://gitcode.com/gh_mirrors/an/AnyKernel3 在Android设备定制化领域&#xff0c;内核刷机是提升性能、扩展功能的关键步骤。AnyKe…...

前端正则表达式(?:pattern)的具体使用和介绍

文章目录一、官方解释二、js代码例子解释参考文档一、官方解释 (?:pattern) 是正则表达式中的一种结构&#xff0c;称为“非捕获组”&#xff08;Non-Capturing Group&#xff09;。它允许您将多个字符或子表达式组合在一起&#xff0c;作为一个整体对待&#xff0c;而不捕获…...

dialoqbase入门指南:如何在5分钟内创建你的第一个AI聊天机器人

dialoqbase入门指南&#xff1a;如何在5分钟内创建你的第一个AI聊天机器人 【免费下载链接】dialoqbase Create chatbots with ease 项目地址: https://gitcode.com/gh_mirrors/di/dialoqbase dialoqbase是一款强大的开源工具&#xff0c;让你能够轻松创建AI聊天机器人。…...

setup-java企业级实践:大型项目的依赖缓存和版本矩阵测试

setup-java企业级实践&#xff1a;大型项目的依赖缓存和版本矩阵测试 【免费下载链接】setup-java Set up your GitHub Actions workflow with a specific version of Java 项目地址: https://gitcode.com/gh_mirrors/se/setup-java 在现代软件开发中&#xff0c;Java环…...

IGBT开关波形实测分析:用示波器抓取米勒平台与拖尾电流,优化你的驱动参数

IGBT开关波形实战解析&#xff1a;从示波器捕获到驱动参数优化 当你在实验室里面对一块IGBT电路板&#xff0c;示波器屏幕上跳动的波形往往藏着关键的设计秘密。那些看似平常的米勒平台、拖尾电流和电压尖峰&#xff0c;实际上是功率器件在向你诉说它的工作状态。本文将带你深入…...

从老式万用表到精密测量:双积分ADC如何用‘慢’换来‘准’?选型避坑指南

从老式万用表到精密测量&#xff1a;双积分ADC如何用‘慢’换来‘准’&#xff1f;选型避坑指南 在仪器仪表和传感器信号调理领域&#xff0c;精度与速度的权衡一直是硬件工程师面临的核心挑战。当我们处理温度、压力或称重传感器等低频高精度信号时&#xff0c;传统的SAR和Σ…...

不是模型不行,是你没做好特征工程(附完整步骤)

来源&#xff1a;DeepHub IMBA 本文约1800字&#xff0c;建议阅读5分钟本文介绍了特征工程全流程&#xff0c;含数据处理、特征构造与选择。Feature engineering 是机器学习 pipeline 里最关键的一环。算法再好&#xff0c;如果输入数据噪声大、不一致或者缺乏有意义的特征&…...