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

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-11-09 13:06:24

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

徐洁磐等编着。

人民邮电出版社1985年7月版。28.4万字。共9章。第一章集合论,介绍集合和元素、子集、空集等的概念,集合的运算和文氏图,以及有限集合中的元素数目等。

第二章讲述关系,介绍关系的基本概念,关系的性质和运算,以及具有特定性质的关系等。第三章映射和无限集。第四章介绍近世代数的运算,以及代数系统、同态和同构、半群和群、环和域、偏序集和格等的基本概念。第五章图论。第六章和第七章数理逻辑,分别介绍命题逻辑和谓词逻辑的基本概念及有关公式。

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

分享到: