Discrete Mathematics Architecture
|School||Beijing University of Chemical Technology|
|Course||Applied Computer Technology|
|Keywords||Discrete Mathematics Mathematical Logic Set Theory Algebra System Graph Theory|
Discrete Mathematics is the foundation of computer science , we study discrete mathematics has its practical significance , and can say that it is constructed in mathematics and computer science as a bridge between its research is inseparable from set theory , elementary number theory and other mathematical knowledge, but also and computer science, data structures , database theory , compiler theory is closely related , apparently it can promote the development of computer science. On the one hand for the mathematical theory of the most important thing is axiomatic , knowledge of discrete mathematics axiomatic , contribute to its further development , discrete mathematics is the study of discrete structures for representing discrete things , and all are from the discrete structures collection that is set to start building things , so set theory is a fundamental part of discrete mathematics , discrete mathematics I studied architecture is expanded from elementary set theory . On the other hand , the production of discrete mathematics computer-aided teaching software can help students better understand the theory of discrete mathematics and concepts involved . The abstract discrete mathematics with vivid interface presented to the students , to the learner to create a good learning environment , students can not only learn to program design skills , you can also deepen understanding of the theory . CAI courseware design follows the basic principles of technical standards ( versatility, controllability, scientific, fault-tolerant, user-friendly and easy to operate ) , reasonable arrangements for curriculum and course design , including the following aspects: set theory ( containing binary relations , functions ) , graph theory, algebraic systems ( group theory , rings, lattice , Boolean algebra ) , mathematical logic. At present, some focus only on the use of multimedia educational software computer form , can not really put teaching at school , when I designed the software process with emphasis on presentation, theorems and concepts will be principled, and gradually given conditions of their existence , which helps students understand . In this article also describes how to extend to other discrete mathematics computer science , such as binary relations and build linkages , on behalf of the relationship between mathematics and coding .