一个新的课程《代数+计算机科学》：应该有哪些结果和从哪里开始
摘要：编程是第二个才华的想法诞生于40年前，但从未真正实现。本文是一系列旨在分析数学要求与计算机科学和计算机编程相结合的论文之一。初步迹象表明，这需要开发相当严谨的数学工具，其中大部分希望能够被隐藏在软件系统的“引擎盖”下使用，但其中许多将在用于学习者、教师和计算机之间的数学交流支持的领域特定语言中占据重要地位。我们重点关注这一发展的“硬核”数学方面。
作者：Alexandre Borovik and Vladimir Kondratiev
论文ID：2212.12257
分类：History and Overview
分类简称：math.HO
提交时间：2022-12-26