现代类型论的发展与应用
￥68.00定价
作者： [英]罗朝晖
出版时间：2024-04
出版社：清华大学出版社
- 清华大学出版社
- 9787302660354
- 1-1
- 523692
- 48254445-9
- 16开
- 2024-04
- 计算机
- 本科
内容简介
本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的 基础语言。本书介绍了现代类型论（及其元理论），并以自然语言语义学和计算机辅助 推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现 代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相 比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了 基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类 型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面 的应用，进一步展示了使用现代类型论作为基础语言的优势。 本书适合研究自然语言语义学、计算机科学和逻辑学等领域的学者及研究生和 对相关内容感兴趣的读者。
