计算机科学中的数理逻辑_宋丽华 ... [等] 编著_9787302713319_网上馆配会

书单推荐

·母情节 | 时光不语母爱无言

·二十四节气｜立夏

·五一国际劳动节│致敬每一位

·2025年度“中国好书”

·二十四节气｜谷雨

·二十四节气｜清明

·二十四节气｜春分

·国际妇女节|致敬每一位闪光女

新书推荐

更多

·马克思国家思想的历史考察

·中国特色生涯教育研究

·数实融合

·我们为什么还没有死掉

·圆的变形

·AI 辅助设计

·从数据分析到经营分析

·国际产业转移的影响因素及动

计算机科学中的数理逻辑

计算机科学中的数理逻辑

定　　价：69 元

作者：宋丽华 ... [等] 编著
出版时间：2026/5/1
ISBN：9787302713319
出版社：清华大学出版社

中图法分类：O141
页码：277页
纸张：
版次：
开本：26cm

9

7

7

8

1

7

3

3

3

0

1

2

9

内容简介

本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统, 系统阐述基本概念与核心理论; 又聚焦软件/硬件验证的前沿应用, 深入介绍程序逻辑、模型检测技术的算法实现与工具环境。

你还可能感兴趣

我要评论