用Microsoft　Excel实现动态图表输出

The Global Properties of Valid Formulas in Modal Logic K

ＭｉｃｒｏｓｏｆｔＥｘｃｅｌ是运行在Ｗｉｎｄｏｗｓ环境下的一个电子表格软件。它具有较强的图表处理功能，丰富的函数库和宏命令为用户在原有的基础上进行二次开发提供了极大的方便。借助于Ｗｉｎｄｗｓ中的ＤＤＥ功能，用户只需要产生出相应的数据，并将其传递给Ｅｘｃｅｌ，即可生成自己所需求的图表。本文首先介绍Ｅｘｃｅｌ及其应用特性。其次就ＤＤＥ的功能进行简单描述，最后较详细介绍了使用Ｅｘｃｅｌ产生动态图表的具体方法。