网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

二语习得内容与形式的认知研究

本书根据语言学、认知心理学、教育学、第二语言习得等学科的最新研究成果，结合我国英语学习者的词汇学习实际，探讨词汇习得内容与形式的认知心理过程，进而研究二语词汇教学应当遵循的一些原则。...

从形式逻辑到先验逻辑 胡塞尔逻辑学思想研究

本书比较完整而系统地探讨了胡塞尔逻辑学思想的发展历程。

现代汉语离合词离析形式功能研究

本书是在作者博士论文的基础上增益而成的。通过大型语料库对《汉语水平词汇与汉字等级大纲》中的离合词及其离析形式进行了详尽考察，获得了大量第一手数据，发现了一些重要的现象。在此基础上运用功能主义理论...

语言的牢笼 马克思主义与形式

本丛书介绍了20世纪欧美最有影响的文艺理论著作，较为全面、系统地反映了20世纪欧美文艺理论的发展状况及过程，具有很高的学术价值。本册分上、下册，主题词为语言、文艺、马克思等。...

合作社贸易组织与技术参考资料 苏维埃贸易底组成形式

形式逻辑

形式逻辑是一门公共课，中文、秘书、党政、法律、经济、历史、政治、教育、管理、军事等专业都有开设。考虑到不同专业的教学需要，本书采用了流行的通用的理论体系，并且特别注重联系语言实践，较全面地阐述了思维...

东西方矛盾观的形式演算 第2卷 正反数理逻辑概论

软件开发的形式化工程方法

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系