內容簡介

用於計算機科學的離散數學是大學一、二年級�難教又難學的一門課程。本書深

入淺齣，由簡及繁，將定義和理論抽象壓縮到最低限度。除仍像前兩版那樣以關係

和有嚮圖作為中心外，本書增加瞭較大的靈活性和模塊性。本書11章分彆為：基礎；

邏輯；計數；關係和有嚮圖；函數；圖論問題；有序關係及結構；樹；半群和群；語

言和有限狀態機；群和編碼。除新增一章圖論外，還增加瞭一些新的小節如：數學結

構，謂詞演算，遞歸關係，用於計算機科學的函數，函數的序，最小生成樹。附錄B離散

數學實驗是新增加的；此外，有關遞歸、邏輯及驗證也引入瞭更多的新材料，排列和組

閤的錶達形式有瞭擴展，每章都增加瞭編碼練習。本書既可作數學也可作計算機科學或

計算機工程課的教材。

Bernard Kolman received his B.S. (summa cum laude with honors in mathemat-

ics and physics) from Brooklyn College in 1954, his Sc.M. from Brown University

in 1956, and his Ph.D. from the University of Pennsylvania in 1965, all in mathe-

matics. During the summers of 1955 and 1956 he worked as a mathematician for

the U.S. Navy, and IBM, respectively, in areas of numerical analysis and simula-

tion. From 1957-1964, he was employed as a mathematician by the UNIVAC

Division of Sperry Rand Corporation, working in the areas of operations

research, numerical analysis, and discrete mathematics. He also had extensive

experience as.a consultant to industry in operations research. Since 1964, he has

been a member of the Mathematics Department at Drexel University, where he

also served as Acting Head of this department. Since 1964, his research activities

have been in the areas of Lie algebras and operations research.

Professor Kolman is the author of numerous papers, primarily in Lie alge-

bras, and has organized several conferences on Lie algebras. He is also well

known as the author of many mathematics textbooks that are used worldwide

and have been translated into several other languages. He belongs to a number

of professional associations and is a member of Phi Beta Kappa, Pi Mu Epsi'.on,

and Sigma Xi.

Robert C. Busby received his B.S. in Physics from Drexel University in 1963 and

his A.M. in 1964 and Ph.D. in 1966, both in mathematics from the University of

Pennsylvania. From September 1967 to May 1969 he was a member of the math-

ematics department at Oakland University in Rochester, Michigan. Since 1969 he

has been a faculty member at Drexel University, in what is now the Department

of Mathematics and Computer Science. He has consulted in applied mathemat-

ics in industry and government. This includes a period of three years as a consul-

tant to the Office of Emergency Preparedness, Executive Office of the President,

specializing in applications of mathematics to economic problems. He has had

extensive experience developing computer implementations of a variety of math-

ematical applications.

Professor Busby has written two books and has numerous research papers

in operator algebras, group representations, operator continued fractions, and the

applications of probability and statistics to mathematical demography.

Sharon Cutler Ross received an S.B. in mathematics from the Massachusetts

Institute of Technology (1965), an M.A.T. in secondary mathematics from

Harvard University (1966), and a Ph.D. also in mathematics from Emory

University (1976). In addition, she is a graduate of the Institute for Retraining in

Computer Science (1984). She has taught junior high, high school, and college

mathematics. She has also taught computer science at the collegiate level. Since

1974, she has been a member of the Department of Mathematics at DeKalb

College. Her current professional interests are in the areas of undergraduate

mathematics education reform and alternative forms of assessment.

Professor Ross is the co-author of two other mathematics textbooks. She is

well known for her activities with the Mathematical Association of America, the

American Mathematical Association of Two -Year Colleges, and UME Trends. In

addition, she is a full member of Sigma Xi and of numerous other professional

associations.