同类推荐
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
办公软件高级应用案例教程（AI协同）（Office 2…
-
¥59.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
-
-
揭秘网络勒索攻击从基础知识到应对策略全解析
-
¥99.80
-
-
micro:bit 硬件编程快速入门与综合实战
-
¥68.00
-
-
micro:bit 硬件编程快速入门与综合实战
-
¥68.00
-
-
micro:bit 硬件编程快速入门与综合实战
-
¥68.00
-
-
软件测试与质量保证
-
¥69.80
|
|
图书信息
|
|
|
|
现代类型论的发展与应用
|
| ISBN： | 9787302660354 |
定价： | ￥68.00 |
| 作者： | (英)罗朝晖著 |
出版社： | 清华大学出版社 |
| 出版时间： | 2024年04月 |
开本： | 23cm |
| 页数： | 213页 |
中图法： | TP391 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
33
|
库区4
|
2025-10-25
|
|
其它供货商库存合计
|
34
|
|
2025-10-24
|
图书简介 | | 本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面的应用，进一步展示了使用现代类型论作为基础语言的优势。 |
|