作者:
出版社: 清华大学出版社
CIP号:2017272853
书号:978-7-302-48807-1
出版地:北京
出版时间:2017
定价:¥35
本教材包含数理逻辑、谓词逻辑、集合论、二元关系、图论、初等数论和代数系统有关内容。这些内容的应用以公钥密码系统、电子签名、零知识证明、编码与纠错等内容形式出现。本书适合计算机专业、信息安全专业、通信专业和计算数学与应用数学等专业使用。