1 Fundamentals 2 Collections 3 Counting and Relations 4 More Proof 5 Functions 6 Probability 7 Number Theory 8 Algebra 9 Graphs 10 Partially Ordered Sets

1 Recurrent Problems 2 Sums 3 Integer Functions 4 Number Theory 5 Binomial Coefficients 6 Special Numbers 7 Generating Functions 8 Discrete Probability 9 Asymptotics

List of Theorems, Lemmas, and Corollaries xix Preface xxi CHAPTER 1 Counting 1 CHAPTER 2 Cryptography and Number Theory 59 CHAPTER 3 Reflections on Logic and Proof 117 CHAPTER 4 Induction, Recursion, and Recurrences 161 CHAPTER 5 Probability 249 CHAPTER 6 Graphs 359 APPENDIX A Derivation of the More General Master Theorem 449 APPENDIX B Answers and Hints to Selected Problems 461 Bibliography 477 Index 479

电子科技大学：《数字信号处理 Digital Signal Processing》课程教学资源（课件讲稿）Chapter 04 Frequency-domain Representation of LTI Discrete-Time Systems

电子科技大学：《数字信号处理 Digital Signal Processing》课程教学资源（课件讲稿）Chapter 02 Discrete-Time Signals and Systems

一、Fourier变换的几种可能形式 二 、周期序列的DFS及其性质 三、离散傅里叶变换（DFT） 四、离散傅里叶变换的性质 六 、抽样z变换——频域抽样理论 七 、用DFT对模拟信号作频谱分析 八 、序列的抽取与插值

复旦大学：《离散数学 Discrete Mathematics》英文讲义_13 Tableau Proof of Predicate Logic

深圳大学管理学院：《运筹学》课程教学资源（PPT课件讲稿）专题（计算机仿真）计算机仿真 A Brief Introduction to Discrete-Event Simulation Modeling and Analysis

6.0 Introduction 6.1 Block Diagram Representation of Linear Constant-Coefficient Difference Equations 6.2 Signal Flow Graph Representation of Linear Constant-Coefficient Difference Equations 6.3 Basic Structures for IIR Systems 6.4 Transposed(转置) Forms 6.5 Basic Network Structures for FIR Systems

利用离散单元法（Discrete element method，DEM）对球形颗粒群以及非球形颗粒群的筛分过程进行了仿真并开展了实验研究，结果表明球形和非球形颗粒的仿真与实验中筛分效率的变化是一致的，但非球形颗粒的仿真结果与实验结果更接近。正交设计多组模拟试验，分析了各振动参数（振动频率、振幅以及筛面倾角）对颗粒分布曲线、筛分效率以及物料平均运输速度的影响规律。对正交试验表中的数据进行多元非线性拟合，得到筛分效率与振动参数间的关系式；并在此关系式的基础上，对振动参数进行优化设计，得到了最优振动参数且在仿真中得到了验证。研究内容不但为高频振网筛振动参数的设计提供了理论依据，而且为研究高频振动系统的筛分机理提供了实验和仿真数据支持