相关文档

国防科学技术大学:《数理逻辑》(英文版)Lecture 1 Preliminaries

Theory of Equivalence Relations (A, R) (E1) For all x : xRx. (E2) For all x, y : If xRy then yRx. (E3) For all x, y, z : If xRy and yRz then xRz. Logic in Computer Science – p.2/16
团购合买资源类别:文库,文档格式:PDF,文档页数:19,文件大小:329.54KB
点击进入文档下载页(PDF格式)
共19页,试读已结束,阅读完整版请下载
点击下载(PDF格式)

浏览记录