Based on Rosen, Discrete Mathematics & Its Applications, 5e (c)2001-2004 Michael P. Frank...

licati

ichael P. Fra

Bogazici UniversityBogazici UniversityDepartment of Computer EngineeringDepartment of Computer Engineering

CCmpE 220 mpE 220 Discrete Discrete MathematicsMathematics

OverviewOverview

Fall 2005Fall 2005

Haluk BingölHaluk Bingöl

licati

ichael P. Fra

About CmpE 220About CmpE 220

licati

ichael P. Fra

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

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

licati

ichael P. Fra

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

Course OutlineCourse OutlineA course in discrete mathematics should teach students A course in discrete mathematics should teach students how to work with discrete (meaning consisting of distinct or how to work with discrete (meaning consisting of distinct or unconnected elements as opposed to continuous) unconnected elements as opposed to continuous) structures used to represent discrete objects and structures used to represent discrete objects and relationships between these objects. These discrete relationships between these objects. These discrete structures include sets, relations, graphs, trees, and finite-structures include sets, relations, graphs, trees, and finite-state machines. state machines. TopicsTopics – Logic, Sets, and Functions Logic, Sets, and Functions – Methods of Proof Methods of Proof – Recurrence Relations Recurrence Relations – Binary Relations Binary Relations – Graphs Graphs – Trees Trees – Algebraic Structures Algebraic Structures – Introduction to Languages and Grammars Introduction to Languages and Grammars

licati

ichael P. Fra

CmpE 220 in This SemesterCmpE 220 in This Semester

licati

ichael P. Fra

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

InstructorInstructorDr. Haluk BingölDr. Haluk Bingöl, bingol, bingol@@boun.edu.tr, x7121, ETA 308 boun.edu.tr, x7121, ETA 308

AssistantAssistant EvrimEvrim ItırItır KaraçKaraç, itir.karac, itir.karac@@boun.edu.tr, boun.edu.tr, x7183x7183, ETA , ETA 203203 Albert Ali SalahAlbert Ali Salah, salah@boun.edu.tr, x, salah@boun.edu.tr, x44904490, ETA , ETA 412412

WebWeb pagepagehttp://www.cmpe.boun.edu.tr/courses/cmpe220/fall2005http://www.cmpe.boun.edu.tr/courses/cmpe220/fall2005

Time/RoomTime/RoomWFFWFF 5 52323 ETA Z04 ETA Z04

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

licati

ichael P. Fra

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

GradingGrading20% Midterm #120% Midterm #120% Midterm #220% Midterm #210% Quizzes10% Quizzes10% Home works 10% Home works 40% Final 40% Final

licati

ichael P. Fra

About SlidesAbout Slides

licati

ichael P. Fra

Michael Frank’s slides Michael Frank’s slides adaptedadaptedWe’re not using all his lecturesWe’re not using all his lectures

Various changes in those that we use Various changes in those that we use

Possibly some new lecturesPossibly some new lectures

Your key resourcesYour key resources • Course’s web pageCourse’s web page• Ken Rosen’s bookKen Rosen’s book• http://www.mhhe.com/math/advmath/http://www.mhhe.com/math/advmath/

rosen/r5rosen/r5

licati

ichael P. Fra

Course OverviewCourse Overview

licati

ichael P. Fra

Module #0:Module #0:Course OverviewCourse Overview

licati

ichael P. Fra

What is Mathematics, What is Mathematics, really?really?It’s It’s notnot just about numbers! just about numbers!

Mathematics is Mathematics is muchmuch more than that: more than that:

But, these concepts can be But, these concepts can be aboutabout numbers, symbols, objects, images, numbers, symbols, objects, images, sounds, sounds, anythinganything!!

Mathematics is, most generally, the study of any and all certain truthsabout any and all well-defined concepts.

licati

ichael P. Fra

licati

ichael P. Fra

So, what’s So, what’s thisthis class about? class about?

What are “discrete structures” anyway?What are “discrete structures” anyway?

““DiscreteDiscrete” (” ( “discreet”!) “discreet”!) - Composed of - Composed of distinct, separable parts. (Opposite of distinct, separable parts. (Opposite of continuouscontinuous.).) discretediscrete::continuouscontinuous :: :: digitaldigital::analoganalog

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

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

licati

ichael P. Fra

Discrete MathematicsDiscrete Mathematics

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

Reason: Reason: ℚℚ and and ℝℝ are are densely ordereddensely ordered

This notion can be defined preciselyThis notion can be defined precisely

licati

ichael P. Fra

DDensely ensely OOrderedrdered

ℚℚ,,< < is is densely ordereddensely ordered because because

xx ℚℚ yy ℚℚ (x (x≠≠y y z (xz (x<<z & z & zz<<y) )y) )

Opposite of densely ordered:Opposite of densely ordered:discretely ordered discretely ordered

licati

ichael P. Fra

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

This means that Discrete Mathematics This means that Discrete Mathematics has no exact bordershas no exact borders

Different books and courses treat Different books and courses treat slightly different topicsslightly different topics

licati

ichael P. Fra

Discrete Structures We’ll Discrete Structures We’ll StudyStudy•PropositionsPropositions•PredicatesPredicates•ProofsProofs•SetsSets•FunctionsFunctions•(Orders of Growth)(Orders of Growth)•(Algorithms)(Algorithms)•IntegersIntegers•(Summations)(Summations)

•(Sequences)(Sequences)•StringsStrings•Permutations Permutations •CombinationsCombinations•RelationsRelations•GraphsGraphs•TreesTrees•(Logic Circuits)(Logic Circuits)•(Automata)(Automata)

licati

ichael P. Fra

Some Notations We’ll LearnSome Notations We’ll Learn

)(deg][)|(),,;(

) (mod modlcmgcd,/|max min,,,

)}(|{,,},,{)(

vaRFEpnnnCr

mbabaO

aaxgfxfBAf

AABASTS

SxxPxaaxPx

xPxqpqpqpqpp

licati

ichael P. Fra

Uses of Discrete MathUses of Discrete Math

Starting from simple structures of logic Starting from simple structures of logic and set theory, theories are constructed and set theory, theories are constructed that capture aspects of reality:that capture aspects of reality:– Physics (see diagram)Physics (see diagram)– Biology (DNA)Biology (DNA)– Common-sense reasoning (logic)Common-sense reasoning (logic)– Natural Language (trees, sets, functions, ..)Natural Language (trees, sets, functions, ..)– ……– Anything that we want to describe preciselyAnything that we want to describe precisely

licati

ichael P. Fra

Discrete Math for Discrete Math for ComputingComputing

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

DDiscrete iscrete MMathath is the basic language is the basic language and conceptual foundation for all and conceptual foundation for all of computer science.of computer science.

licati

ichael P. Fra

Some Some ExamplesExamples

•Algorithms & data Algorithms & data structuresstructures•Compilers & Compilers & interpreters.interpreters.•Formal specification Formal specification & verification& verification•Computer Computer architecturearchitecture

•DatabasesDatabases•CryptographyCryptography•Error correction Error correction codescodes•Graphics & Graphics & animation algorithms, animation algorithms, game engines, game engines, etc.etc.……

•DM is relevant for all DM is relevant for all aspects of aspects of computing!computing!

licati

ichael P. Fra

Course Outline (as per Course Outline (as per Rosen)Rosen)1.1. Logic (Logic (§1.1-4§1.1-4))2.2. Proof methods (Proof methods (§1.5)§1.5)3.3. Set theory (Set theory (§1.6-7)§1.6-7)4.4. Functions (Functions (§1.8)§1.8)5.5. (Algorithms (§2.1))(Algorithms (§2.1))6.6. (Orders of Growth (§2.2))(Orders of Growth (§2.2))7.7. (Complexity (§2.3))(Complexity (§2.3))8.8. Number theory (§2.4-5)Number theory (§2.4-5)9.9. Number theory apps. Number theory apps.

(§2.6)(§2.6)10.10. (Matrices (§2.7))(Matrices (§2.7))11.11. Proof strategy (§3.1)Proof strategy (§3.1)12.12. (Sequences (§3.2))(Sequences (§3.2))

13.13. (Summations (§3.2))(Summations (§3.2))14.14. (Countability (§3.2))(Countability (§3.2))15.15. Inductive Proofs (§3.3)Inductive Proofs (§3.3)16.16. Recursion (§3.4-5)Recursion (§3.4-5)17.17. Program verification Program verification

(§3.6)(§3.6)18.18. Combinatorics (ch. 4)Combinatorics (ch. 4)19.19. Probability (ch. 5)Probability (ch. 5)20.20. (Recurrences (§6.1-3))(Recurrences (§6.1-3))21.21. Relations (ch. 7)Relations (ch. 7)22.22. Graph Theory (chs. 8+9)Graph Theory (chs. 8+9)23.23. Boolean Algebra (ch. 10)Boolean Algebra (ch. 10)24.24. (Computing Theory (Computing Theory

(ch.11))(ch.11))

licati

ichael P. Fra

Topics Not CoveredTopics Not Covered

Other topics we might not get to this term:Other topics we might not get to this term:• Boolean circuits (ch. 10)Boolean circuits (ch. 10)

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

• Models of computing (ch. 11)Models of computing (ch. 11)- - Many of these are obsolete for engineering purposes now Many of these are obsolete for engineering purposes now anywayanyway

• Linear algebra (not in Rosen, see Math Linear algebra (not in Rosen, see Math dept.)dept.)- - Advanced matrix algebra, general linear algebraic systemsAdvanced matrix algebra, general linear algebraic systems

licati

ichael P. Fra

Course ObjectivesCourse Objectives

Upon completion of this course, the student Upon completion of this course, the student should be able to:should be able to:– Check validity of simple logical arguments Check validity of simple logical arguments

(proofs).(proofs).– Check the correctness of simple algorithms.Check the correctness of simple algorithms.– Creatively construct simple instances of valid Creatively construct simple instances of valid

logical arguments and correct algorithms.logical arguments and correct algorithms.– Describe the definitions and properties of a Describe the definitions and properties of a

variety of specific types of discrete structures.variety of specific types of discrete structures.– Correctly read, represent and analyze various Correctly read, represent and analyze various

types of discrete structures using standard types of discrete structures using standard notations.notations.

licati

ichael P. Fra

Have Fun!Have Fun!

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

• Applicable to just about anything

• Some nice puzzles

• Highly varied

Based on Rosen, Discrete Mathematics & Its Applications, 5e (c)2001-2004 Michael P. Frank...

Documents

Halal market, Assessment and Accredita6on Haluk ANIL · Halal market, Assessment and Accredita6on Haluk ANIL It is the 2nd largest religious group in the world ISLAM IS THE SECOND

WHY TRANSPORTATION TRENDS IN ISTANBUL ARE NOT SUSTAINABLE ? Haluk GERÇEK (PhD) Istanbul Technical University Istanbul, Turkey

Bingol University Journal of Social Sciences Institute ISSN: 1309 … · 2014. 8. 6. · BİNGÖL ÜNİVERSİTESİ SOSYAL BİLİMLER ENSTİTÜSÜ DERGİSİ Bingol University Journal

Reinforced Concrete Structures - İTÜweb.itu.edu.tr/haluk/rc/LBSD_week5_HS.pdfSTRUCTURAL/SEISMIC JOINTS Reinforced Concrete Structures MIM 232E LBSD-5 Dr. Haluk Sesigür I.T.U. Faculty

ENSTİTÜSÜ DERGİSİ BİNGÖL ÜNİVERSİTESİ Bingöl University

BASIC PHYSICS & RADIOPHARMACY & INSTRUMENTATION in NUCLEAR MEDICINE by Prof. Dr. Haluk B. Sayman

HALUK TORAL - cdn-cms.f-static.com

Seed And Early Stage Funding A Practioner Perspective Haluk ZONTUL hzontul@teknolojiyatirim.com.tr

Talat Paşa - Birikim Dergisi · Talat Paşa Author: Aubrey Herbert (Çev. Bingöl Erdumlu) Created Date: 20120912091506Z

Company presentation - a5f40090edc1f1d.ru.s.siteapi.orga5f40090edc1f1d.ru.s.siteapi.org/docs/e300b26d168550f218b2e80a9a138d95... · History ˜˚˛˝: Mr. Haluk Arican ˜GM˚ founded

May 1, 2003 Bingöl (Turkey) Earthquake - EMSC · May 1, 2003 Bingöl (Turkey) Earthquake Kıvanç KEKOVALI, Doğan KALAFAT, Yavuz GÜNE Ş, Mehmet YILMAZER Kandilli Observatory and

Data core overview - haluk-final

DARKÖPRÜ DERESİ HAVZASI’NDA (BİNGÖL) TEKTONİK ETKİNİN ...sosyalarastirmalar.com/cilt10/sayi48_pdf/3sanattar... · analizlerinde morfometrik analizler somut sonuçlar vermekle

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c)2001-2004 Michael P. Frank Modified by (c) 2004-2005 Haluk Bingöl 1/18 Module

Din Öğretiminde Kültürel Aidiyet ve Sorumluluk Bilinci Kazanma …isamveri.org/pdfdrg/D03867/2019_14/2019_14_YIGITY_KOCAHK.pdf · 2020. 1. 18. · 112 Bingöl Üniversitesi İlahiyat

Betonarme Yapılar - İTÜweb.itu.edu.tr/haluk/steel/steel_truss.pdf · Betonarme Yapılar Dr. Haluk Sesigur, Prof.Dr. Oguz C. Celik I.T.U. Faculty of Architecture Structural and

Prof. Dr. Haluk UTKU Institute of Nuclear Sciences Hacettepe University Ankara, Turkey

© 2000-2003 Haluk Bingöl v2.23 Data Structures and Algorithms - 03 Heaps and Priority Queues Dr. Haluk Bingöl BÜ - CmpE bingol@boun.edu.trmeraklisina.com

MEVLANA 2020-2021 - Khazar Universityinternational.khazar.org/wp-content/uploads/2020/02/Mevlana-2020-2021-list.pdfMEVLANA 2020-2021 1. Bingöl University - a. Business and management

ACTA MYOLOGICA · Lefkos Middleton Gabriele Siciliano Giuseppe Novelli Haluk Topaloglu Reinhardt Rüdel Antonio Toscano Vol. XXXVII - March 2018 ... Gabriele Siciliano, Pisa Haluk