Titlebook: Discrete Mathematics Using a Computer; Cordelia Hall,John O’Donnell Textbook 20001st edition Springer-Verlag London 2000 Computer.Correctn

炸坏

Cordelia Hall,John O’DonnellTakes an entirely original approach to the teaching Discrete Mathematics, aimed at making it easier for students to learn difficult concepts.Uses a simple functional language, requiring no prior knowl

ABIDE

Mutter

Electrolysis

Set Theory, theory, and there is a deep connection between set theory and logic. More importantly for computer science, it has turned out that the notation and terminology of elementary set theory is extremely useful for describing algorithms, and nearly every branch of computing uses sets from time to time.

nettle

连接

Set Theory, theory, and there is a deep connection between set theory and logic. More importantly for computer science, it has turned out that the notation and terminology of elementary set theory is extremely useful for describing algorithms, and nearly every branch of computing uses sets from time to time.

尽责

Inductively Defined Sets,he simplest method is to define a set by naming each of its elements, one by one. This is called .. It works only for finite sets and is impractical for large sets. Another approach is to use ellipses (‘. ..’) to indicate that the set continues, but this is imprecise, and so can be ambiguous. For ex

大都市

Relations,, child, brother, sister, sibling. We could also have a relation called . for cities and countries: for example, London is in Great Britain, and Paris is in France. Or we could have a relation that describes which make of car is produced by which manufacturer. Relations are used in mathematics to de

PARA

Textbook 20001st edition making mathematical terms executable, making abstract concepts more concrete, and through the use of software tools such as proof checkers. These connections are emphasised throughout the book. Software tools (see Appendix A) enable the computer to serve as a calculator, but instead of just doing a

inundate

the use of software tools such as proof checkers. These connections are emphasised throughout the book. Software tools (see Appendix A) enable the computer to serve as a calculator, but instead of just doing a978-1-4471-3657-6