Slide1 l.jpg
This presentation is the property of its rightful owner.
Sponsored Links
1 / 26

Bogazici University Department of Computer Engineering C mpE 220 Discrete Mathematics Overview Fall 2005 Haluk Bingöl PowerPoint PPT Presentation


  • 252 Views
  • Uploaded on
  • Presentation posted in: General

Bogazici University Department of Computer Engineering C mpE 220 Discrete Mathematics Overview Fall 2005 Haluk Bingöl. About CmpE 220. CmpE 220 Discrete Computational Structures (3+0+0) 3 .

Download Presentation

Bogazici University Department of Computer Engineering C mpE 220 Discrete Mathematics Overview Fall 2005 Haluk Bingöl

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Slide1 l.jpg

Bogazici UniversityDepartment of Computer EngineeringCmpE 220 Discrete MathematicsOverviewFall 2005Haluk Bingöl


About cmpe 220 l.jpg

About CmpE 220


Cmpe 220 discrete computational structures 3 0 0 3 l.jpg

CmpE 220 Discrete Computational Structures (3+0+0) 3

  • Catalog DataPropositional Logic and Proofs. Set Theory. Relations and Functions. Algebraic Structures. Groups and Semi-Groups. Graphs, Lattices, and Boolean Algebra. Algorithms and Turing Machines.


Cmpe 220 discrete computational structures 3 0 0 34 l.jpg

CmpE 220 Discrete Computational Structures (3+0+0) 3

  • Course OutlineA course in discrete mathematics should teach students how to work with discrete (meaning consisting of distinct or unconnected elements as opposed to continuous) structures used to represent discrete objects and relationships between these objects. These discrete structures include sets, relations, graphs, trees, and finite-state machines. Topics

    • Logic, Sets, and Functions

    • Methods of Proof

    • Recurrence Relations

    • Binary Relations

    • Graphs

    • Trees

    • Algebraic Structures

    • Introduction to Languages and Grammars


Cmpe 220 in this semester l.jpg

CmpE 220 in This Semester


Cmpe 220 discrete computational structures 3 0 0 3 bingol 2005 fall l.jpg

CmpE 220 Discrete Computational Structures (3+0+0) 3 Bingol - 2005 Fall

  • InstructorDr. Haluk Bingöl, [email protected], x7121, ETA 308

  • AssistantEvrim Itır Karaç, [email protected], x7183, ETA 203

  • Albert Ali Salah, [email protected], x4490, ETA 412

  • Webpagehttp://www.cmpe.boun.edu.tr/courses/cmpe220/fall2005

  • Time/RoomWFF 523 ETA Z04

  • Text BookDiscrete Mathematics and Its Applications, 5e Rosen McGrawHill, 2003, [QA39.3 R67]


Cmpe 220 discrete computational structures 3 0 0 3 bingol 2005 fall7 l.jpg

CmpE 220 Discrete Computational Structures (3+0+0) 3 Bingol - 2005 Fall

  • Grading20% Midterm #120% Midterm #210% Quizzes10% Home works 40% Final


About slides l.jpg

About Slides


Michael frank s slides adapted l.jpg

Michael Frank’s slides adapted

  • We’re not using all his lectures

  • Various changes in those that we use

  • Possibly some new lectures

  • Your key resources

  • Course’s web page

  • Ken Rosen’s book

  • http://www.mhhe.com/math/advmath/rosen/r5


Course overview l.jpg

Course Overview


Module 0 course overview l.jpg

Module #0:Course Overview


What is mathematics really l.jpg

What is Mathematics, really?

  • It’s not just about numbers!

  • Mathematics is much more than that:

  • But, these concepts can be about numbers, symbols, objects, images, sounds, anything!

Mathematics is, most generally, the study of any and allcertain truthsabout any and allwell-defined concepts.


So what s this class about l.jpg

So, what’s this class about?

  • What are “discrete structures” anyway?

  • “Discrete” ( “discreet”!) - Composed of distinct, separable parts. (Opposite of continuous.)discrete:continuous :: digital:analog

  • “Structures” - Objects built up from simpler objects according to some definite pattern.

  • “Discrete Mathematics” - The mathematical study of discrete objects and structures.


Discrete mathematics l.jpg

Discrete Mathematics

  • When using numbers, we’re much more likely to use ℕ (natural numbers) and ℤ (whole numbers) than ℚ (fractions) and ℝ (real numbers).

  • Reason: ℚ and ℝ are densely ordered

  • This notion can be defined precisely


D ensely o rdered l.jpg

Densely Ordered

  •  ℚ,<  is densely ordered becausex ℚy ℚ(x≠y z (x<z & z<y) )

  • Opposite of densely ordered:discretely ordered


Slide17 l.jpg

  • Yet, ℚ and ℝ can be defined in terms of discrete concepts (as we have seen)

  • This means that Discrete Mathematics has no exact borders

  • Different books and courses treat slightly different topics


Discrete structures we ll study l.jpg

Propositions

Predicates

Proofs

Sets

Functions

(Orders of Growth)

(Algorithms)

Integers

(Summations)

(Sequences)

Strings

Permutations

Combinations

Relations

Graphs

Trees

(Logic Circuits)

(Automata)

Discrete Structures We’ll Study


Some notations we ll learn l.jpg

Some Notations We’ll Learn


Uses of discrete math l.jpg

Uses of Discrete Math

  • Starting from simple structures of logic and set theory, theories are constructed that capture aspects of reality:

    • Physics (see diagram)

    • Biology (DNA)

    • Common-sense reasoning (logic)

    • Natural Language (trees, sets, functions, ..)

    • Anything that we want to describe precisely


Discrete math for computing l.jpg

Discrete Math for Computing

  • The basis of all of computing is:Discrete manipulations of discrete structures represented in memory.

  • Discrete Math is the basic language and conceptual foundation for all of computer science.


Some examples l.jpg

Algorithms & data structures

Compilers & interpreters.

Formal specification & verification

Computer architecture

Databases

Cryptography

Error correction codes

Graphics & animation algorithms, game engines, etc.…

DM is relevant for all aspects of computing!

Some Examples


Course outline as per rosen l.jpg

Logic (§1.1-4)

Proof methods (§1.5)

Set theory (§1.6-7)

Functions (§1.8)

(Algorithms (§2.1))

(Orders of Growth (§2.2))

(Complexity (§2.3))

Number theory (§2.4-5)

Number theory apps. (§2.6)

(Matrices (§2.7))

Proof strategy (§3.1)

(Sequences (§3.2))

(Summations (§3.2))

(Countability (§3.2))

Inductive Proofs (§3.3)

Recursion (§3.4-5)

Program verification (§3.6)

Combinatorics (ch. 4)

Probability (ch. 5)

(Recurrences (§6.1-3))

Relations (ch. 7)

Graph Theory (chs. 8+9)

Boolean Algebra (ch. 10)

(Computing Theory (ch.11))

Course Outline (as per Rosen)


Topics not covered l.jpg

Topics Not Covered

  • Other topics we might not get to this term:

  • Boolean circuits (ch. 10)

  • - You could learn this in more depth in a digital logic course.

  • Models of computing (ch. 11)

  • - Many of these are obsolete for engineering purposes now anyway

  • Linear algebra (not in Rosen, see Math dept.)

  • - Advanced matrix algebra, general linear algebraic systems


Course objectives l.jpg

Course Objectives

  • Upon completion of this course, the student should be able to:

    • Check validity of simple logical arguments (proofs).

    • Check the correctness of simple algorithms.

    • Creatively construct simple instances of valid logical arguments and correct algorithms.

    • Describe the definitions and properties of a variety of specific types of discrete structures.

    • Correctly read, represent and analyze various types of discrete structures using standard notations.


Have fun l.jpg

Have Fun!

  • Many people find Discrete Mathematics more enjoyable than, for example, Analysis:

  • Applicable to just about anything

  • Some nice puzzles

  • Highly varied


  • Login