📖 书目详情
计算机科学中的数理逻辑
| 著者 | 宋丽华[等]编著 |
| ISBN | 9787302713319 |
| 中图分类 | O141 数学 |
| 学科分类 | 理学 |
| 版次 | 第1版 |
| 出版社 | 清华大学出版社 |
| 丛书名 | — |
| 出版年 | 2026 |
| 页码 | 277页 |
| 价格 | ¥69.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8/10
|
📝 内容简介
本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统，系统阐述基本概念与核心理论；又聚焦软件/硬件验证的前沿应用，深入介绍程序逻辑、模型检测技术的算法实现与工具环境。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购