<正>数学语言是一种科学语言,它是指对数学概念、算式、公式、运算定律、法则及解题思路、推导过程等的表述;是数学思维的工具,是......

时间自动机是实时系统形式化建模和验证的主要手段,能够对系统各个组件能否正确交互及通信进行验证.系统模型和待验证属性都用时间......

Communicative Language Teaching可缩写为CLT , 意思为交际教学法。交际教学法认为，语言包含了〝交际能力〞和语言所处的〝文化社......

古埃及美术在世界艺术史上占有重要地位,是人类艺术史上最早、最具民族特色的典型代表。中国剪纸是中国传统艺术的重要组成部分,距......

现代逻辑是一个广泛的领域，自从弗雷格、皮尔士等创立以来，已经有一个多世纪的历史，经历了20世纪30年代的“数理逻辑黄金时代”和70年......