《依存语法的理论与实践》的主要目的是，在充分了解前人有关依存关系、配价理论、依存形式化和依存句法分析方法的基础上，归纳出依存语法和配价理论的一般原理和方法，提出一套较完整的基于配价模式的依存语法分析框架，并用实验来证明这一框架的可行性。与此同时，我们也力图用《依存语法的理论与实践》提出的理论架构作为主线，将相关领域的主要研究成果串在一起，形成一部配价理论和依存语法研究的简史。
为了让国内读者更好地了解依存语法的一些基本思想和方法，《依存语法的理论与实践》在介绍其他学者的观点时，尽可能采用“引”而非“述”的方式，目的是为了更好地表现原义，减少误读率。在写作过程中，我们尽可能采用第一手的文献，所引外文资料一般均由作者自译。在计算语言学方法方面，《依存语法的理论与实践》对基于规则的方法和基于统计的方法都给予了足够的重视。理论求高、应用求实，是《依存语法的理论与实践》的基本方针。

本书由欧美当代顶尖数理语言学家联合力作，欧美大学语言学系经典教材，为目前各个语种中最完善的版本。涵盖离散数学几乎所有内容，尤其包括和语言研究密切相关的部分。全书分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。每章后附大量练习，每部分后附复习题，并配有练习答案，帮助加深对所学内容的理解。