MARC状态：审校 文献类型：中文图书 浏览次数：1
- 题名/责任者:
- 现代类型论的发展与应用/(英)罗朝晖著
- 出版发行项:
- 北京:清华大学出版社,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
- 书目附注:
- 有书目(第192-205页)和索引(第206-213页)
- 提要文摘附注:
- 本书是关于现代类型论的著。与集合论类似,现代类型论是数学及诸多领域的 基础语言。本书介绍了现代类型论(及其元理论),并以自然语言语义学和计算机辅助 推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言,现 代类型论一方面提供了丰富的描述机制,另一方面便于理解与实现,因此与集合论相 比有着多方面的势。这些点在实际运用中展示出来:作为范例,书中深入研究了 基于现代类型论的自然语言语义学,以加深读者对此的理解。书中还介绍了以现代类 型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面 的应用,进一步展示了使用现代类型论作为基础语言的势。
全部MARC细节信息>>
鄞州馆流通区(可借)