This text has been designed as a complete introduction to discrete mathematics, primarily for computer science majors in either a one or two semester course. The topics addressed are of genuine use in computer science, and are presented in a logically coherent fashion. The material has been organized and interrelated to minimize the mass of definitions and the abstraction of some of the theory. For example, relations and directed graphs are treated as two aspects of the same mathematical idea. Whenever possible each new idea uses previously encountered material, and then developed in such a way that it simplifies the more complex ideas that follow.
Digraph Representation of the Four Properties “ R is reflexive ” means that every vertex in the digraph for R has an edge from the vertex to itself . See Figure 2.2.4 ( a ) . Xe у X y х Z ( a ) ( b ) ( c ) FIGURE 2.2.4 х у “ R is ...
An introduction to the theory of error-correction codes, and in particular to linear block codes is provided in this book. It considers such codes as Hamming codes and Golay codes,...
Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to...
Mathematical Methods and Algorithms for Signal Processing tackles the challenge of providing readers and practitioners with the broad tools of mathematics employed in modern signal processing. Building from an...
Deals with the automatic computation of special functions which appear in all areas of engineering and the physical sciences. Contains over 100 computer programs written by the authors and describes...
A gentle introduction to genetic algorithms. Genetic algorithms revisited: mathematical foundations. Computer implementation of a genetic algorithm. Some applications of genetic algorithms. Advanced operators and techniques in genetic search. Introduction...
本书介绍计算机专业必需的离散数学基础知识,包括离散数学四大分支的基础理论,它们是数理逻辑、集合论、代数系统和图论,共8章,依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用。本书包含较多的与计算机科学和工程有关的例题和习题。本书适合作为高等理工科院校计算机科学与技术、软件工程等相关专业教材,也可供教师、研究生、有关工程技术人员作为参考书。
本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系,这个体系可以描述集合论中的所有概念;集合论中有3个小模块,即集合、关系、函数,关系是集合中笛卡儿乘积的子集,函数是关系的子集;代数系统是定义函数的运算;图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程的本科生教材,也可作为软件工程与计算机等相关专业的自学参考书。
The progress in computer technology during the last 10-15 years has enabled the performance of ever more precise quantum mechanical calculations related to structure and interactions of chemical compounds. However,...
Applied Discrete Structures for Computer Science