六月 12, 2019
PFPL 读书笔记 3 —— 假设判断与一般判断
假设判断与一般判断假设判断假设判断 表示一个或多个假设和一个结论之间的蕴含关系。举个简单的假设判断的例子——「人被杀就会死」。其中「人被杀」是假设，「（人...
五月 03, 2019
PFPL 读书笔记 2 —— 归纳定义
归纳定义在学习编程语言的过程中，归纳定义是必不可少的工具。一个归纳定义是由各种各样 判断 的推导过程形成的 规则 集合组成的。判断是某个特定类别的语法对象...
三月 30, 2019
PFPL 读书笔记 1 —— 语法对象
语法对象编程语言是一种语言，它们用于表示计算机和人类都能理解的计算过程。一门编程语言的语法确定了它可以由哪些语句组成。那么这些语句是如何确定的，程序是如何...