Discrete Mathematics - University of Colorado...
Transcript of Discrete Mathematics - University of Colorado...
![Page 1: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/1.jpg)
Discrete Mathematics
Jeremy Siek
Spring 2010
Jeremy Siek Discrete Mathematics 1 / 15
![Page 2: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/2.jpg)
Jeremy Siek Discrete Mathematics 2 / 15
![Page 3: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/3.jpg)
Outline of Lecture 1
1. Course Information
2. Overview of Discrete Mathematics
Jeremy Siek Discrete Mathematics 2 / 15
![Page 4: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/4.jpg)
Course Information
I Class web page:http://ecee.colorado.edu/~siek/ecen3703/spring10
I Textbooks:I Discrete Mathematics and its Applications, 6th Edition, by Rosen. (At
the CU bookstore.)I A Tutorial Introduction to Structured Isar Proofs, by Nipkow.
(Available online.)I Isabelle/HOL – A Proof Assistant for Higher-Order Logic, by Nipkow,
Paulson, and Wenzel. (Available online.)I How to Prove It: A Structured Approach, by Daniel J. Velleman.
I Grading:Quizzes 30%Midterm exam 30%Final exam 40%
Jeremy Siek Discrete Mathematics 3 / 15
![Page 5: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/5.jpg)
Course Information: Homework
I There are weekly homework assignments.I The quizzes and exams are based on the homework.I Every students gets a personal tutor named Isabelle. Isabelle is a
logic language, a programming language, and a most importantly,a proof checker.http://www.cl.cam.ac.uk/research/hvg/Isabelle/
I You know your proofs are correct when you convince Isabelle.
Jeremy Siek Discrete Mathematics 4 / 15
![Page 6: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/6.jpg)
Overview of Discrete Mathematics
Discrete
Mathematics
Jeremy Siek Discrete Mathematics 5 / 15
![Page 7: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/7.jpg)
Mathematics
I What is Math anyways?
I Is it the study of numbers?I Mathematics is actually much more broad.
DefinitionMathematics is the study of any truth regarding well-definedconcepts.
Numbers are just one kind of well-defined concept.
Jeremy Siek Discrete Mathematics 6 / 15
![Page 8: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/8.jpg)
Mathematics
I What is Math anyways?I Is it the study of numbers?
I Mathematics is actually much more broad.
DefinitionMathematics is the study of any truth regarding well-definedconcepts.
Numbers are just one kind of well-defined concept.
Jeremy Siek Discrete Mathematics 6 / 15
![Page 9: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/9.jpg)
Mathematics
I What is Math anyways?I Is it the study of numbers?I Mathematics is actually much more broad.
DefinitionMathematics is the study of any truth regarding well-definedconcepts.
Numbers are just one kind of well-defined concept.
Jeremy Siek Discrete Mathematics 6 / 15
![Page 10: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/10.jpg)
Mathematics
I What is Math anyways?I Is it the study of numbers?I Mathematics is actually much more broad.
DefinitionMathematics is the study of any truth regarding well-definedconcepts.
Numbers are just one kind of well-defined concept.
Jeremy Siek Discrete Mathematics 6 / 15
![Page 11: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/11.jpg)
Discrete
DefinitionSomething is discrete if is it composed of distinct, separable parts. (Incontrast to continuous.)
Discrete Continuousintegers real numbersgraphs rational numbers
state machines differential equationsdigital computer radiosquantum physics Newtonian physics
Jeremy Siek Discrete Mathematics 7 / 15
![Page 12: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/12.jpg)
Discrete Mathematics
DefinitionDiscrete Mathematics is the study of any truth regarding discreteentities.
I That’s pretty broad. So what is it really?I Discrete math is the foundation for the rigorous understanding of
computer systems.
Jeremy Siek Discrete Mathematics 8 / 15
![Page 13: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/13.jpg)
A Discrete Problem: Sudoku
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I What are the rules of Sudoku?
I Spend the next few minutes filling in this board.I Write down the rules of Sudoku on a sheet of paper.I Pass your paper to the person on your right. Are the rules that
you’ve been passed correct? If not, give an example.
Jeremy Siek Discrete Mathematics 9 / 15
![Page 14: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/14.jpg)
A Discrete Problem: Sudoku
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I What are the rules of Sudoku?I Spend the next few minutes filling in this board.
I Write down the rules of Sudoku on a sheet of paper.I Pass your paper to the person on your right. Are the rules that
you’ve been passed correct? If not, give an example.
Jeremy Siek Discrete Mathematics 9 / 15
![Page 15: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/15.jpg)
A Discrete Problem: Sudoku
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I What are the rules of Sudoku?I Spend the next few minutes filling in this board.I Write down the rules of Sudoku on a sheet of paper.
I Pass your paper to the person on your right. Are the rules thatyou’ve been passed correct? If not, give an example.
Jeremy Siek Discrete Mathematics 9 / 15
![Page 16: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/16.jpg)
A Discrete Problem: Sudoku
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I What are the rules of Sudoku?I Spend the next few minutes filling in this board.I Write down the rules of Sudoku on a sheet of paper.I Pass your paper to the person on your right. Are the rules that
you’ve been passed correct? If not, give an example.
Jeremy Siek Discrete Mathematics 9 / 15
![Page 17: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/17.jpg)
Abstracting Sudoku
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I What aspects of the game of Sudoku don’t really matter?I What could you change such that an expert Sudoku player would
immediately be an expert of the modified game?I What aspects of the game really matter?
Jeremy Siek Discrete Mathematics 10 / 15
![Page 18: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/18.jpg)
Sudoku Solver
7
1
3 9
3
1 8
6
5
6 4
3
7
7
7
7
7
2
2
2
2
2
2
3
3
3
3
1
1
4
4
45
6
6
8
8
8
9
9
9
I Write down a pseudo-code algorithm for solving Soduku.I What data structures did you use?I What kind of algorithm did you use?I Does your algorithm always solve the puzzle?I How long does your algorithm take to finish in the worst case?
Jeremy Siek Discrete Mathematics 11 / 15
![Page 19: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/19.jpg)
Why Study Discrete Mathematics?
I It’s the basic language used to discuss computer systems. Youneed to learn the language if you want to converse with othercomputer professionals.
I It’s a toolbox full of the problem-solving techniques that you willuse over and over in your career.
I But best of all, studying discrete math will enhance your mind,turning it into a high-precision machine!
Jeremy Siek Discrete Mathematics 12 / 15
![Page 20: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/20.jpg)
Uses of Discrete Math are Everywhere
I Circuit designI Computer architectureI Computer networksI Operating systemsI Programming: algorithms and data structuresI Programming languagesI Computer security, encryptionI Error correcting codesI Graphics algorithms, game enginesI . . .
Jeremy Siek Discrete Mathematics 13 / 15
![Page 21: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/21.jpg)
Themes in Discrete Math
Mathematical Reasoning: read, understand, and create precisearguments.
Discrete Structures: model discrete systems and study theirproperties.
Algorithmic Thinking: create algorithms, verify that they work,analyze their time and space requirements.
Combinatorial Analysis: counting (not always as easy as it sounds!)
Jeremy Siek Discrete Mathematics 14 / 15
![Page 22: Discrete Mathematics - University of Colorado Boulderecee.colorado.edu/~siek/ecen3703/spring10/lecture1.pdf · Uses of Discrete Math are Everywhere I Circuit design I Computer architecture](https://reader031.fdocuments.net/reader031/viewer/2022021509/5b0b9c157f8b9a604c8e885b/html5/thumbnails/22.jpg)
Advice
I Read in advance.I Do the homework.I Form a study group.I Form an intense love/hate relationship with Isabelle.
Jeremy Siek Discrete Mathematics 15 / 15