T007486　离散数学及其在计算机中的应用

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第790页（333字）

徐洁磐等编着。

人民邮电出版社1985年7月版。28．4万字。共9章。第一章集合论，介绍集合和元素、子集、空集等的概念，集合的运算和文氏图，以及有限集合中的元素数目等。第二章讲述关系，介绍关系的基本概念，关系的性质和运算，以及具有特定性质的关系等。第三章映射和无限集。

第四章介绍近世代数的运算，以及代数系统、同态和同构、半群和群、环和域、偏序集和格等的基本概念。第五章图论。第六章和第七章数理逻辑，分别介绍命题逻辑和谓词逻辑的基本概念及有关公式。

第八章递归函数论，介绍递归函数的研究特点和构造方法，原始递归函数、一般和部分递归函数，以及判定问题等。第九章介绍离散数学在关系数据库、纠错码及程序正确性证明等方面的应用。