Discrete mathematics Kwon, Taekyoung [email protected] Courtesy of Dr. Michael P. Frank University of...
-
Upload
sabina-wilcox -
Category
Documents
-
view
214 -
download
1
Transcript of Discrete mathematics Kwon, Taekyoung [email protected] Courtesy of Dr. Michael P. Frank University of...
![Page 2: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/2.jpg)
objectives
• obtain basic knowledge of discrete mathematics
• learn how to apply discrete mathematics to computer science
![Page 3: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/3.jpg)
textbook
• Title: Discrete mathematics and its applications
• Author: Kenneth Rosen• Publisher: McGraw-Hill, 5th ed.• ISBN 0-07-119881-4
![Page 4: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/4.jpg)
grading
• Three exams: 3 * 30%– Early Oct., Nov., Dec.
• Attendance 10%• There may be homework
assignments, which will be reflected in exams
• A:B:C:D =?:?:?:?
![Page 5: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/5.jpg)
Course Outline1. Logic (§§1.1-1.4)2. Proof methods (§1.5)3. Set theory (§§1.6-
1.7)4. Functions (§1.8)5. Algorithms (§2.1)6. Orders of Growth
(§2.2)7. Complexity (§2.3)8. Number Theory
(§2.4-2.6)9. Matrices (§2.7)
10. Proof strategy (§3.1)11. Sequences (§3.2)12. Summations (§3.2)13. Inductive proofs (§3.3)14. Recursion (§3.4-3.5)15. Combinatorics (ch. 4)16. Probability (ch. 5)17. Recurrences (§6.1-6.3)18. Relations (ch. 7)19. Graph Theory (chs.
8+9)
![Page 6: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/6.jpg)
Time and schedule
• Every Tue. and Thu.• 13:00 – 14:15• Sept. 30th: no class, Thanksgiving• Nov. 2nd: no class• Nov. 4th: 2nd exam
![Page 8: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/8.jpg)
Discreteness • Discrete vs continuous
• Discrete math: mostly finite, countable• Continuous math: mostly uncountable
• Discrete – digital: obtained by counting• Continuous – analog: obtained by
measuring
![Page 9: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/9.jpg)
If a set A has the same cardinality as N (the natural numbers), then we say that A is countable. In other words, a set is countable if there is a bijection from that set to N.
An alternate way to define countable is: if there is a way to enumerate the elements of a set, then the set has the same cardinality as N and is called countable.
A set that is infinite and not countable is called uncountable.
Are rational numbers countable?How about real numbers?
![Page 10: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/10.jpg)
math
• A tool to solve a problem• Mathematical modeling
실제 문제 해답
추상적 모델(abstract model)
변환된 모델(transformed model)
![Page 11: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/11.jpg)
math
• It’s not just about numbers!• Mathematics is much more than that:
• But, the concepts can relate to numbers, symbols, visual patterns, or anything!
Mathematics is, most generally, the study of any and all absolutely certain truths about any and all perfectly well-defined concepts.
![Page 12: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/12.jpg)
Again, what’s this class about?
What are “discrete structures” anyway?• “Discrete” - Composed of distinct,
separable parts. (Opposite of continuous.) discrete:continuous = digital:analog
• “Structures” - objects built up from simpler objects according to a definite pattern.
• “Discrete Mathematics” - The study of discrete, mathematical objects and structures.
![Page 13: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/13.jpg)
Why Study Discrete Math?• It provides tools and techniques to
design and analyze the computer system• Broadly speaking, the basis of all of
digital information processing: Discrete manipulations of discrete structures represented in memory
• Digital computer is basically a finite discrete system, part or all of which can be modeled by discrete math.
• It’s the basic language and conceptual foundation of all of computer science.
• A generally useful tool for rational thought!
![Page 14: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/14.jpg)
Uses for Discrete Math in Computer Science
• Advanced algorithms & data structures
• Programming language compilers & interpreters.
• Computer networks• Operating systems• Computer
architecture
• Database management systems
• Cryptography• Error correction codes• Graphics & animation
algorithms, game engines
• Just about everything!
![Page 15: Discrete mathematics Kwon, Taekyoung tkkwon@snu.ac.kr Courtesy of Dr. Michael P. Frank University of Florida.](https://reader036.fdocuments.us/reader036/viewer/2022082818/56649eb75503460f94bc100f/html5/thumbnails/15.jpg)
Course Objectives
• Upon completion of this course, the student should be able to:– Check the validity of simple logical arguments.– Check the correctness of simple algorithms.– Creatively construct simple valid logical
arguments.– Creatively construct simple correct algorithms.– Describe the definitions and properties of a
variety of specific types discrete structures.– Correctly read, write and analyze various
types of structures using standard notations.