自然语言计算机形式分析是横跨语言学、计算机科学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动通信也是以自然语言为媒介的，它已经渗透到日常生活的各个领域。因此，自然语言计算机形式分析对于国家的信息化建设，对于互联网和移动通信的安全具有重要作用。 本书对自然语言处理中的各种理论和方法进行了系统的总结和梳理。首先讨论了自然语言处理的学科定位；接着介绍了语言计算的一些先驱研究；然后以主要的篇幅讨论自然语言处理中的各种形式模型，包括基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自动...(展开全部)

本书分数学基础、汉语自动分词技术、基于数学统计的语言模型、基于语言理解的处理方法、音字转换技术、自动文摘技术、信息检索技术、文字识别技术几个章章全面阐述了自然语言处理技术的基本原理和实用方法，反映了信号与信息处理技术的前沿内容，具有较高的学术意义与应用价值。

计算机语言的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义，本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容，并辟一章集中讨论了并发和分布式语义。本书内容自成体系，在开篇第一章即给出了阅读本书所需的数学知识。全书内容丰富，结构严谨，集形式语义领域有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评价。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业科技人员进修或作为工具书。

《自然语言形式理论研究》：清华大学认知科学研究系列丛书

《计算机算法设计与分析(第4版)》是普通高等教育“十一五”国家级规划教材和国家精品课程教材。全书以算法设计策略为知识单元，系统介绍计算机算法的设计方法与分析技巧。主要内容包括：算法概述、递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、随机化算法、线性规划与网络流等。书中既涉及经典与实用算法及实例分析，又包括算法热点领域追踪。 为突出教材的可读性和可用性，章首增加了学习要点提示，章末配有难易适度的算法分析题和算法实现题；配套出版了《计算机算法设计与分析习题解答（第2版）》；并免费提供电子课件和教学网站服务。

内 容 提 要 本书系统阐述了矩阵计算这门学科的基础理论、基本方法和近十几年来发展成熟 并得到了广泛应用的新成果.内容包括：矩阵知识的复习和补充，矩阵计算概论；求 解线性方程组的直接法和迭代法，线性最小二乘问题，共轭梯度法；求解特征值问题 的QR方法和同伦方法；Lanczos方法以及求解Jacobi矩阵特征值反问题的正交约 化方法等. 本书取材上，既注重基础理论的严谨性、方法的实用性，又保持了内容的新颖性， 反映了该学科的最新进展.本书内容自封，各章之间相对独立，可适用于不同读者的 需要. 本书可作为计算数学、应用数学等有关专业高年级大学生和研究生的教材或教学 参考书，也可供从事科学计算的数学工作者、工程技术人员和高校有关专业的高年级 大学生和教师参考，

计算机算法设计与分析，ISBN：9787505363915，作者：王晓东编著

《计算机算法设计与分析(第3版)》为普通高等教育“十一五”国家级规划教材，是计算机专业核心课程“算法设计与分析”教材。全书以算法设计策略为知识单元，系统介绍计算机算法的设计方法与分析技巧。主要内容包括：算法概述、递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、随机化算法、线性规划与网络流、NP完全性理论与近似算法等。书中既涉及经典与实用算法及实例分析，又包括算法热点领域追踪。 为突出教材的可读性和可用性，章首增加了学习要点提示；章末配有难易适度的习题，分为算法分析题和算法实现题两部分；配套出版了《算法设计与实验题解》；并免费提供电子课件和教学网站服务。