XiaoMi-AI文件搜索系统
World File Search SystemCalculus
1 量子 Lambda 演算
20 世纪 30 年代，Church 和 Curry 开发了 lambda 演算，这是一种表达高阶函数的形式化方法。简而言之，高阶函数是一种输入或输出“黑箱”的函数，而黑箱本身也是一个 (可能是高阶的) 函数。高阶函数是一种计算能力强大的工具。事实上，纯无类型 lambda 演算具有与图灵机 (Turing, 1937) 相同的计算能力。同时，高阶函数对程序员来说是一种有用的抽象。它们构成了函数式编程语言的基础，例如 LISP (McCarthy, 1960)、Scheme (Sussman and Steele Jr, 1975)、ML (Milner, 1978) 和 Haskell (Hudak et al., 2007)。在本章中，我们将讨论如何将高阶函数与量子计算相结合。我们认为这是一个有趣的问题，原因有很多。首先，高阶函数与量子现象的结合带来了纠缠函数的前景。某些众所周知的量子现象可以自然地描述为
从微积分到计算机：在课堂上使用过去 200 年的数学史
14. 数学写作，作者：Donald E. Knuth、Tracy Larrabee 和 Paul M. Roberts。16. 用写作来教数学，Andrew Sterrett 编辑。17. 启动微积分泵：创新和资源，微积分改革委员会和前两年，数学本科课程委员会的一个小组委员会，Thomas W. Tucker 编辑。18. 数学本科研究模型，Lester Senechal 编辑。19. 数学教学和学习中的可视化，数学教育计算机委员会，Steve Cunningham 和 Walter S. Zimmermann 编辑。20. 微积分教学的实验室方法，L. Carl Leinbach 等人编辑。21. 当代统计学观点，David C. Hoaglin 和 David S. Moore 编辑。 22. 关注变革的呼声：课程行动建议，Lynn A. Steen 编辑。24. 本科数学教育中的符号计算，Zaven A. Karian 编辑。25. 函数的概念：认识论和教学法方面，Guershon Harel 和 Ed Dubinsky 编辑。26. 二十一世纪的统计学，Florence 和 Sheldon Gordon 编辑。27. 微积分资源集，第 1 卷：通过发现学习：微积分实验手册，Anita E. Solow 编辑。28. 微积分资源集，第 2 卷：新世纪的微积分问题，Robert Fraga 编辑。29. 微积分资源集，第 3 卷：微积分的应用，Philip Straffin 编辑。30. 微积分资源集，第 4 卷：学生调查问题，Michael B. Jackson 和 John R. Ramsay 编辑。 31. 《微积分资源集》，第 5 卷：微积分阅读材料，Underwood Dudley 编辑。32. 《人文数学论文集》，Alvin White 编辑。33. 《本科数学学习研究问题：初步分析和结果》，James J. Kaput 和 Ed Dubinsky 编辑。34. 《在 Eves 的圈子里》，Joby Milo Anthony 编辑。35. 《你是教授，下一步是什么？大学教师准备的思路和资源》，大学教学准备委员会，Bettye Anne Case 编辑。36. 《为新微积分做准备：会议论文集》，Anita E. Solow 编辑。 37. 大学数学合作学习实用指南，Nancy L. Hagelgans、Barbara E. Reynolds、SDS、Keith Schwingendorf、Draga Vidakovic、Ed Dubinsky、Mazen Shahin、G. Joseph Wimbish、Jr. 38. 有效的模型：有效本科数学课程案例研究，Alan C. Tucker 编辑。39. 微积分：变化的动态，CUPM 微积分改革和前两年小组委员会，A. Wayne Roberts 编辑。40. Vita Mathematica：历史研究和与教学的结合，Ronald Calinger 编辑。41. 开启几何：学习、教学和研究中的动态软件，James R. King 和 Doris Schattschneider 编辑。