杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

现代类型论的发展与应用/(英)罗朝晖著

出版发行项:

北京:清华大学出版社,2024

ISBN及定价:

978-7-302-66035-4/CNY68.00

载体形态项:

213页:图;23cm

并列正题名:

Modern type theories:their development and applications

个人责任者:

罗朝晖 著

学科主题:

自然语言处理

中图法分类号:

TP391

相关题名附注:

封面英文题名：Modern type theories: their development and applications

提要文摘附注:

本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面的应用，进一步展示了使用现代类型论作为基础语言的优势。

豆瓣简介：