资源简介

本书是面向计算机科学的数理逻辑即系统与建模(中文版-第二版),是关于离散数学,数理逻辑方面很有用的参考书。

资源截图

代码片段和文件信息

评论

共有 条评论