找到 3 条结果 按相关性 按时间降序
离散数学习题解答（第4版）
书中共分9章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论，几类特殊的图、组合计数和初等数论. 每节后面都有精选习题，本书是其教学辅导用书，对教材中的每个题目对给出了详尽的解答.
离散数学（第4版）
本书根据IEEE-CS/ACM Computing Curricula 2005系统地阐述了离散数学的经典内容, 渗透初等数论知识。全书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论以及几类特殊的图及组合计数。本书以集合、映射、运算与关系为主线，使全书内容联系紧密，具有较强的逻辑性。每节都有精选习题，书后有习题答案及提示。所用符号尽可能与其他专业课程一致，专业术语均有对应的英文。
密码协议分析——基于认知逻辑
本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开，适合各层次的读者参阅，可为密码协议分析和网络安全提供一定的理论与技术支撑。 本书可供相关专业的教师、科研人员或工程技术人员参考，也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用。
- 1