kind2

本章为kind2范例，相对于基础范例，难度进行了加大，主要用kind2来解决简单的数学问题和交通灯转换的问题，交通灯转换问题较为复杂，讲解偏详细些，同时对部分交通灯规则进行了验证。

简单介绍contract是什么，讲解了contract的基本用法，并且举例介绍了contract的使用。

简单介绍contract是什么，讲解了contract的基本用法，并且举例介绍了contract的使用。

本章通过一些简单的范例，来巩固kind2基本语法的使用，主要是pre、bool、->、or、if、--%MAIN;、--%PROPERTY OK;的使用

Kind2界面的使用，结点的创建、输入、输出、变量、常量、pre、->等基本语法，以及函结点的调用、验证等。