简介 本节主要是介绍计算理论上的一些基本概念, 和一个最简单的计算模型, 即自动机模型. 自动机模型能解决的问题相...[作者空间]
1.1 什么是计算机的操作系统? 操作系统是有效地控制和管理计算机系统资源，合理地组织计算机的工作流程， 以及方便...[作者空间]
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比...[作者空间]
此系列文章是自己的lambda演算入门总结与复习，也希望能对看到它的人学习了解这个形式系统有些微帮助，知之尚浅，如...[作者空间]
找lambda演算的感觉 初看，感觉因符号系统不熟悉，导致完全没感觉，所以先改写成自己稍微熟悉的符号。 λx.x+...[作者空间]
