本书介绍了经典形式语义学理论的两个重要代表——塔斯基真值语义理论和蒙太格语法，描述了动态语义学理论——话语表现理论，着重探讨了分段式话语表现理论，对汉语复句、句群研究与分段式话语表现理论进行了对比研究，发现它们之间存在许多相同或相似之处。

📙 相关书籍

  1. 《形式语义学引论 第2版》高清PDF 《形式语义学引论（第二版）》为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。《形式语义学引论（第二版）》共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时......
  2. 《动态多目标优化进化算法及其应用》高清PDF 本书在全面总结国内外在动态多目标优化及其进化计算发展现状、基础理论及实现技术的基础上，着重介绍了作者在基于进化计算的动态多目标优化方面的研究成果，主要包括：动态多目标优化及其进化计算的国内外研究进展、进化计算的理论及其技术实现、基于进化计算的动态无约束、动态约束多目标优化模型、方法，定义在离散时间空......
  3. 《数字保存的风险型元数据与风险监控研究》高清PDF 本书内容包括五部分。第一部分是引言，包括本书缘起，研究意义，国内外研究现状及其分析，研究思路，研究内容与研究方法。第二部分是数字保存的风险检测条件，包括风险识别模型构建和风险型元数据方案建立。第三部分是数字保存的风险检测，包括单风险检测和全风险检测。第四部分是数字保存的风险监控，包括单维度单风险监控......
  4. 《生物特征的安全计算理论与技术》高清PDF 本书侧重论述了基于单、多生物特征身份认证与加密的核心理论模型与应用技术，分析了现今生物特征身份认证与生物特征加密技术的重要文献及其作者的重要思想，从作者独立研究的角度重点介绍了生物特征在安全计算中两个重要领域的技术与应用。...
  5. 《计算机双目立体视觉》高清PDF 本书是一本比较全面和系统研究计算机双目立体视觉理论、技术及其应用的学术专著。本书在介绍双目视觉基本原理的基础上……...
  6. 《探索式测试实践之路》高清PDF 探索式测试是一种重要的软件测试思想。随着测试行业的发展，其高效性、机动性和实用性受到了广泛的关注、讨论和实证，但是仍有许多测试人员对探索式测试充满疑问，甚至误解。本书的目标就是回答疑问，澄清误解，分享作者们在探索式测试领域的实战经验和反思总结，并介绍业界专家的相关见解。本书内容可分成4个部分。第1章......
  7. 《计算机难解问题的骨架理论与应用》高清PDF 本书主要介绍面向计算机难题问题的骨架特征的挖掘及其算法设计。本书首先介绍了计算复杂性理论，并简要归纳了经典启发式算法及超启发式算法。随后介绍了获取骨架的有效方法，并系统总结了现有的各种基于骨架的算法。...
  8. 《智能影子 普适计算模型与方法 英文》高清PDF SmartShadow: Models and Methods for Pervasive Computing offers a new...
  9. 《常用算法深入学习实录》高清PDF 本书共分15章，循序渐进、由浅入深地详细讲解了算法的核心内容，并通过具体实例的实现过程演练了各个知识点的具体用法。本书首先详细讲解了算法的基础知识，剖析了将算法称为“程序灵魂”的原因。然后详细讲解了算法技术的核心内容，主要包括八大算法思想、数据结构、树、图、查找、内部排序、外部排序和文件等知识点的具......
  10. 《演化计算方法及应用》高清PDF 本书全面概括了用演化方法求解优化问题的一些新方法……...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。