T007486 离散数学及其在计算机中的应用
徐洁磐等编著。 人民邮电出版社1985年7月版。28．4万字。共9章。 第一章集合论，介绍集合和元素、子集、空集等的概念，集合的运算和文氏图，以及有限集合中的元素数目等。 第二章讲述关系，介绍关系的基本概念，关系的性质和运算，以及具有特定性质的关系等。第三章映射和无限集。 第四章介绍近世代数的运算，以及代数系统、同态和同构、半群和群、环和域、偏序集和格等的基本概念。第五章图论。第六章和第七章数理逻辑，分别介绍命题逻辑和谓词逻辑的基本概念及有关公式。第八章递归函数论，介绍递归函数的研究特点和构造方法，原始递归函数、一般和部分递归函数，以及判定问题等。第九章介绍离散数学在关系数据库、纠错码及程序正确性证明等方面的应用。 |