The advancement of automated coding tools may reduce in the future the number of people willing to learn computer programming. We assume that the skill of computational problem solving is not only for the immediate economic benefit, but an important part of our knowledge about the world. As the incentives to learn are weaker, we aim to lower the entry barrier. We ask: Can programming ideas be taught in a very short time? We describe a session plan that introduces programming and computing fundamentals for novices, assuming only basic mathematical background. It requires using a non-mainstream, functional and concatenative language reducing accidental complexity. This language, a by-product of research in category theory, allows direct access to fundamental ideas like recursion and advanced like Gödel-encoding in an entertaining puzzle-like manner.


翻译:自动化编码工具的发展可能会在未来减少愿意学习计算机编程的人数。我们认为,计算问题解决能力不仅是为了直接的经济利益,更是我们认识世界的重要部分。由于学习动机减弱,我们旨在降低入门门槛。我们提出疑问:编程思想能否在极短时间内被传授?我们描述了一个面向初学者的课程计划,仅需基础数学背景即可介绍编程与计算基础。该课程采用一种非主流、函数式且串接式的语言,以减少偶然复杂性。这种语言作为范畴论研究的副产品,能够以娱乐化的谜题方式直接触及递归等基础概念以及哥德尔编码等高级概念。

0
下载
关闭预览

相关内容

人们为了让计算机解决各种棘手的问题,使用编程语言 编写程序代码并通过计算机运算得到最终结果的过程。
专知会员服务
53+阅读 · 2020年9月2日
【机器学习课程】机器学习中的常识性问题
专知会员服务
77+阅读 · 2019年12月2日
机器学习必备的数学基础有哪些?
人工智能头条
12+阅读 · 2019年10月18日
爆红GitHub!有人打算用这个项目100天拿下Python
程序猿
16+阅读 · 2019年5月15日
各编程领域最好的入门书籍
程序猿
28+阅读 · 2018年7月29日
数学是普通程序员入门人工智能的最大障碍
算法与数据结构
12+阅读 · 2018年7月27日
干货|浅谈强化学习的方法及学习路线
机器学习算法与Python学习
16+阅读 · 2018年3月28日
尽早跑通深度学习的实践代码,是入门深度学习的最快途径
算法与数据结构
22+阅读 · 2017年12月13日
技术 | 强化学习入门以及代码实现
AI100
51+阅读 · 2017年8月26日
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
17+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
7+阅读 · 2015年12月31日
国家自然科学基金
12+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
8+阅读 · 2014年12月31日
VIP会员
最新内容
面向国防作战的最佳自主与蜂群无人机技术
专知会员服务
3+阅读 · 今天8:04
《异构人类团队的协作决策过程混合建模研究》
专知会员服务
3+阅读 · 今天7:59
博士论文 | 面向大模型推理的内存高效算法
专知会员服务
3+阅读 · 7月27日
美空军新型反无人机部队初探
专知会员服务
7+阅读 · 7月27日
《防空交战流程的概率建模研究》
专知会员服务
10+阅读 · 7月27日
ICML 2026 教程 | 数值优化理论还重要吗?
专知会员服务
6+阅读 · 7月26日
ICM 2026 | 陶哲轩:人工智能时代的数学
专知会员服务
9+阅读 · 7月26日
相关资讯
机器学习必备的数学基础有哪些?
人工智能头条
12+阅读 · 2019年10月18日
爆红GitHub!有人打算用这个项目100天拿下Python
程序猿
16+阅读 · 2019年5月15日
各编程领域最好的入门书籍
程序猿
28+阅读 · 2018年7月29日
数学是普通程序员入门人工智能的最大障碍
算法与数据结构
12+阅读 · 2018年7月27日
干货|浅谈强化学习的方法及学习路线
机器学习算法与Python学习
16+阅读 · 2018年3月28日
尽早跑通深度学习的实践代码,是入门深度学习的最快途径
算法与数据结构
22+阅读 · 2017年12月13日
技术 | 强化学习入门以及代码实现
AI100
51+阅读 · 2017年8月26日
相关基金
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
17+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
7+阅读 · 2015年12月31日
国家自然科学基金
12+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
8+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员