Unit3离散数学.pptVIP

Unit 3 Discrete Mathemtic Continuous mathematics Formal language theory Continuous-time Markov process Discrete topological space Discrete mathematics is described less by what is included than by what is excluded Contemporary work in descriptive set theory makes extensive use of traditional continuous mathematics trees are employed to construct efficient algorithms for locating items in a list. Universalquantification Logical connective Logically equivalent Simple path(circuit) Discrete graph(null graph) Compatible totalordering for a partial Ordering Free semigro