简介：

简介：每逢年底，众多节日都接踵而至，从西方的感恩节、圣诞节到传统的中国新年，热烈的节日气氛和暖融融的人间温情总是会驱散冬天的寒冷，让大家在隆冬感受到爱的温暖还有祝福的喜悦。

简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.

简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

简介：随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。

简介：新数学课程标准中明确地提出了：“数学是一种文化，它的内容、思想、方法和语言是现代文明的重要组成部分。”要求学生“能进行有条理的思考，能清楚地表达思考的过程，在与他人的交流过程中，能够进行简单的辩论。”“在数学教学中必须充分发挥学生的主体能动性，增强学生的参与、交流、合作意识。”在实现这一目标中，作为在学生进行参与、交流、合作时的思想载体——语言就变得尤为重要了。