杨辉三角（生成函数）
杨辉三角，是二项式系数的一种三角形几何排列。（验证时间约 30sec）
本例验证杨辉三角形的生成函数。即给定自然数n，生成杨辉三角形的前n行的值。
[Back to Index]
验证特点： 全程量词，逻辑函数，引理和对数值计算溢出的处理
标注说明： 通过全程量词描述杨辉三角形的构成特性
程序样例 
杨辉三角，是二项式系数的一种三角形几何排列。（验证时间约 30sec）
本例验证杨辉三角形的生成函数。即给定自然数n，生成杨辉三角形的前n行的值。
验证特点： 全程量词，逻辑函数，引理和对数值计算溢出的处理
标注说明： 通过全程量词描述杨辉三角形的构成特性
程序样例