← 返回

计算机科学中的数理逻辑

著者宋丽华[等]编著
ISBN9787302713319
分类号O141 数学
学科理学
版次第1版
出版社清华大学出版社
丛书名—
出版年2026
价格¥69.00
页码277页
类型 📄 纸质书
核心评分9.8/10
读者对象—
主题词数理逻辑——高等学校——教材
内容简介：本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统，系统阐述基本概念与核心理论；又聚焦软件/硬件验证的前沿应用，深入介绍程序逻辑、模型检测技术的算法实现与工具环境。
登录后可荐购