preface iv 

about theauthor xiii 

the companion website xiv 

to the studentxvi 

list of symbols xix 

1 the foundations：logic and proofs 

1．1 propositional logic 

1．2 applications of propositional logic 

1．3 propositional equivalences 

1．4 predicates andquantifiers 

1．5 nested quantifiers 

1．6 rules of inference 

1．7 introduction to proofs 

1．8 proofmethods and strategy 

end-of-chaptermaterial- 

2 basic structures：sets，functions，sequences，sums，andmatrices 

2．1 sets 

2．2 set operations 

2．3 functions 

.2．4 sequences and summations 

2．5 cardinality of sets 

2．6 matrices 

end-of-chaptermaterial 

3 algorithms 

3．1 algorithms 

3．2 the growth of functions 

3．3 complexity of algofithms 

end-of-chapter material 

4 number theory and cryptography 

4．1 divisibilitv andmodular arithmetic 

4．2 integer representations andalgorithms 

4．3 primesand greatest common divisors 

4．4 solving congruences 

4．5 applications of congruences 

离散数学及其应用（英文版·第7版） 电子书 下载 mobi epub pdf txt