|
题名:
|
现代类型论的发展与应用 / (英) 罗朝晖著 , |
|
ISBN:
|
978-7-302-66035-4 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
213页 图 23cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2024 |
|
内容提要:
|
本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面的应用，进一步展示了使用现代类型论作为基础语言的优势。 |
|
主题词:
|
自然语言处理 |
|
中图分类法:
|
TP391 版次： 5 |
|
主要责任者:
|
罗朝晖 著 |