Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 INLEIDING

Vergelijkbare documenten
Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

(Isomorfie en) RELATIES

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 22 maart 2009 ONEINDIGHEID

Oefening 2.2. Welke van de volgende beweringen zijn waar?

Verzamelingen deel 3. Derde college

Uitwerkingen Tentamen Wat is Wiskunde (WISB101) Donderdag 10 november 2016, 9:00-12:00

opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.

Enkele valkuilen om te vermijden

Dossier 1 SYMBOLENTAAL

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 BEWIJZEN

Wiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November

Relaties en Functies

Vorig college. IN2505-II Berekenbaarheidstheorie. Aanbevolen opgaven. Wat is oneindigheid? College 5

I.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules.

II.3 Equivalentierelaties en quotiënten

KU Leuven. Algebra. Notities. Tom Sydney Kerckhove

Functies deel 1. Vijfde college

Ter Leering ende Vermaeck

NATUURLIJKE, GEHELE EN RATIONALE GETALLEN

We beginnen met de eigenschappen van de gehele getallen.

Universiteit Gent. Academiejaar Discrete Wiskunde. 1ste kandidatuur Informatica. Collegenota s. Prof. Dr.

College WisCKI. Albert Visser. 17 oktober, Department of Philosophy, Faculty Humanities, Utrecht University. Equivalentierelaties.

Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie

Getallensystemen, verzamelingen en relaties

Oefening 2.3. Noteer de volgende verzamelingen d.m.v. (eenvoudig) voorschrift voor de eerste helft en d.m.v. opsomming voor de tweede helft.

Gerichte Grafen Boolese Algebra s &. Logische Netwerken

Relaties deel 2. Vierde college

Inhoudsopgave. I Theorie 1

Examen G0U13 - Bewijzen en Redeneren,

iii Tristan Kuijpers Claudine Lybaert december 2013

Supplement Verzamelingenleer. A.J.M. van Engelen en K. P. Hart

Wiskundige Structuren

RuG-Informatica-cursus Discrete Structuren, versie 2009/2010

Bewijzen en Redeneren voor Informatici

Multicriteria Optimization and Decision Making. Michael Emmerich and André Deutz

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen

equivalentie-relaties

KU Leuven. Algebra. Notities. Tom Sydney Kerckhove. met dank aan: Katelijne Caerts Eline van der Auwera Anneleen Truijen

Collegestof verzamelingenleer. Verzamelingenleer. Inhoud dit deel college. Verzamelingen. Universele en lege verzameling. Verzamelingen en elementen

Kennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie

Oefenopgaven Grondslagen van de Wiskunde A

Kennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie

1 Verzamelingen. en relaties. 1.1 De basisnotaties. Hoofdstuk

III.2 De ordening op R en ongelijkheden

BEWIJZEN EN REDENEREN

Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30

Oplossingen Oefeningen Bewijzen en Redeneren

Getaltheorie I. c = c 1 = 1 c (1)

Fundamenten. Lerarenprogramma Mastermath, versie 2015/12/02. Theo van den Bogaart Bas Edixhoven

Relaties deel 1. Derde college

Notatie van verzamelingen. Lidmaatschap. Opgave. Verzamelingen specificeren

Talen & Automaten. Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 mei 2008

Inhoudsopgave. Relaties geordend paar, cartesisch product, binaire relatie, inverse, functie, domein, bereik, karakteristieke functies

Tentamen Grondslagen van de Wiskunde A, met uitwerkingen

1 Verzamelingen en afbeeldingen

Eigenschap (Principe van welordening) Elke niet-lege deelverzameling V N bevat een kleinste element.

Definitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat:

Wiskunde. Verzamelingen, functies en relaties. College 6. Donderdag 7 Januari

1 Delers 1. 3 Grootste gemene deler en kleinste gemene veelvoud 12

III.3 Supremum en infimum

Getallen, 2e druk, extra opgaven

Opgaven Eigenschappen van Getallen Security, 2018, Werkgroep.

Hoofdstuk 1. Inleiding. Lichamen

Functies. Ch.3 Functions and Algorithms

Verzamelingen deel 2. Tweede college

Lineaire Algebra voor ST

Lineaire Algebra C 2WF09

RuG-Informatica-cursus Discrete Structuren, versie 2009/2010

OPLOSSINGEN VAN DE OEFENINGEN

Basiswiskunde. P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam

Verzamelingen. Hoofdstuk 5

Vergelijkingen van cirkels en lijnen

7.1 Het aantal inverteerbare restklassen

Tweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen

Functievergelijkingen

Analyse deel I. Cursus voor Latijn-Wiskunde, Economie-Wiskunde en Wetenschappen-Wiskunde

Je hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015

Niet-standaard analyse (Engelse titel: Non-standard analysis)

Deelgroepen en normaaldelers

2. Ga voor volgende relaties na of het al dan niet functies, afbeeldingen, bijecties, injecties, surjecties zijn :

Bewijzen en Redeneren voor Informatici Samenvatting

VERZAMELINGEN EN AFBEELDINGEN

INLEIDING GROEPENTHEORIE

Gehelen van Gauss. Hector Mommaerts

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.

Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07

Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking

2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.

Lineaire Algebra Een Samenvatting

Semantiek 1 college 10. Jan Koster

8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde

Uitwerkingen toets 9 juni 2012

Algebra en van cryptosysteem tot digitale handtekening

Boolealgebra s. Leereenheid 16

Getallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte

Eerstebachelorstudenten moeten heel wat nieuwe kennis verwerven. Het pleidooi voor een abstracte aanpak sluit niet uit dat we meestal met concrete

M1 Wiskundig taalgebruik en notaties

PG blok 4 werkboek bijeenkomst 4 en 5

Transcriptie:

Discrete Structuren Piter Dystra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 INLEIDING Discrete Structuren Wee1: Inleiding

Onderwerpen Elementaire getaltheorie: deelbaarheid, priemgetallen, ggd, gv. Elementaire verzamelingenleer: verzameling-notatie, doorsnede, vereniging, complement, verband met propositionele connectieven, cartesisch product, eindige ardinaliteit, paradox van Russell, relaties, functies (injectief, surjectief, bijectief). Oneindigheid: definitie van gelijmachtigheid en aftelbaarheid, aftelbaarheid van de verzameling der rationale getallen, diagonaalmethode van Cantor. Relaties: eigenschappen (reflexief, symmetrisch, transitief, antisymmetrisch, lineair, functioneel), equivalentierelaties, equivalentielassen, partities, partiële ordeningen, grootste / leinste / maximaal / minimaal element, leinste / grootste benedengrens. Wisundige bewijzen: rol van logische redeneerprincipes, bewijzen uit het ongerijmde (irrationaliteit van wortel 2, oneindigheid van het aantal priemgetallen), bewijzen met volledige inductie,lineair geannoteerde bewijzen. Recurrente betreingen: oplossen van lineaire recurrenties van diepte 2. Discrete Structuren Wee1: Inleiding 1

Grafen: nopen en anten, gericht en ongericht, paden, samenhang, graad, ingraad, uitgraad, isomorfie, Eulerpaden, bomen, opspannende bomen. Boole-algebra s: atomen, Boole se expressies, logische netweren. Discrete Structuren Wee1: Inleiding 2

Agenda Stof per wee: 1. Hoofdstu 1, 2 (par 3-6) 2. Hoofdstu 2, 3 3. Hoofdstu 4 4. Hoofdstu 6 5. Deeltoets Hoofdstu 1 t/m 4 6. Hoofdstu 8, 10 7. Hoofdstu 11 8. Hoofdstu 13 Discrete Structuren Wee1: Inleiding 3

Agenda Onderwerpen deze wee: 1. Redeneren 2. Factoren en veelvouden 3. Verzamelingen 4. Functies Discrete Structuren Wee1: Inleiding 4

Inleiding 1. Hoeveel getallen liggen er tussen 1 en n? 2. Hoeveel getallen liggen er tussen m en n? 3. Hoeveel veelvouden van liggen er tussen 1 en n? 4. Hoeveel veelvouden van liggen er tussen m en n? Discrete Structuren Wee1: Inleiding 5

4. Hoeveel veelvouden van liggen er tussen m en n? Go: (n m+1) Niet slecht maar het antwoord is: n In het algemeen: m 1 x x < x +1 dus: n 1 < n n x 1 < x x (*) Discrete Structuren Wee1: Inleiding 6

x < x x +1 dus: n n 1 < n x 1 < x x (*) Evenzo voor m 1 : Vermenigvuldigen met 1: m 1 m 1 1 < m 1 m 1 < m 1 m 1 +1 (**) Optellen * en **: n 1 m 1 < n m 1 < n m 1 +1 Discrete Structuren Wee1: Inleiding 7

5. Hoeveel veelvouden van liggen er tussen m en n als m en n oo negatief unnen zijn? Discrete Structuren Wee1: Inleiding 8

5. Hoeveel veelvouden van liggen er tussen m en n als m en n oo negatief unnen zijn? Truc: tel bij m en n een voldoende groot getal t op! n +t m 1+t = = = n m 1 +t ( n m 1 +t n m 1 +t ) +t Discrete Structuren Wee1: Inleiding 9

5. Hoeveel veelvouden van liggen er tussen m en n als m en n oo negatief unnen zijn? Truc: tel bij m en n een voldoende groot getal t op! n +t m 1+t = = = n m 1 +t ( n m 1 +t n m 1 +t ) +t 6. Hoeveel priemgetallen liggen er tussen m en n? Discrete Structuren Wee1: Inleiding 10

5. Hoeveel veelvouden van liggen er tussen m en n als m en n oo negatief unnen zijn? Truc: tel bij m en n een voldoende groot getal t op! n +t m 1+t = = = n m 1 +t ( n m 1 +t n m 1 +t ) +t 6. Hoeveel priemgetallen liggen er tussen m en n? ongeveer n ln n m 1 ln(m 1) Discrete Structuren Wee1: Inleiding 11

Redeneerpatronen Verwijder ambiguïteit Abstraheer van speciale gevallen Gebrui specifiee voorbeelden Los speciale gevallen eerst op Verander hypothesen Gebrui geschite notatie Tel een verzameling zonder alle elementen te produceren Tel een verzameling door een verzameling van een te grote verzameling af te treen (3 anedotes: oneven=priem, heet water, tent) Discrete Structuren Wee1: Inleiding 12

Factoren en producten We beschouwen alleen de natuurlije getallen (N). veelvoud deelbaarheid, factor of deler m n beteent m is een deler van n is transitief: (m n n o) = m o Theorem 1. Een natuurlij getal n groter dan 1 is priem desda 1 en n zelf de enige delers van n zijn. Discrete Structuren Wee1: Inleiding 13

Factoren en producten Theorem 2. [Priemfactorontbinding] Ele natuurlij getal n groter dan 1 an op maar één manier geschreven worden als het product van priemgetallen. 168 = 2 2 2 3 7 = 2 3 3 7 192 = 2 2 2 2 2 2 3 = 2 6 3 Discrete Structuren Wee1: Inleiding 14

Ggd en Kgv grootste gemene deler ggd(x,y) of gcd(x,y) ggd(168,192) = ggd(2 3 3 7,2 6 3) = 2 min(3,6) 3 min(1,1) 7 min(1,0) = 2 3 3 1 = 24 leinste gemene veelvoud gv(x,y) gv(168,192) = gv(2 3 3 7,2 6 3) = 2 max(3,6) 3 max(1,1) 7 max(1,0) = 2 6 3 1 7 1 = 1344 Discrete Structuren Wee1: Inleiding 15

relatief priem Theorem 3. Voor positieve natuurlije getallen m en n geldt: ggd(m,n) gv(m,n) = mn Discrete Structuren Wee1: Inleiding 16

Delingsalgoritme Stel m is een positief natuurlij getal. Voor ele natuurlij getal n zijn er uniee natuurlije getallen q en r, zodat: n = m q+r en 0 r < m Delen door m geeft: q - quotiënt r - rest n m = q + r m en 0 r m < 1 Theorem 4. Voor positieve natuurlije getallen m en n geldt: 1. ele gemeenschappelije deler van m en n is oo een deler van ggd(m,n) 2. ele gemeenschappelije veelvoud van m en n is oo een veelvoud van gv(m,n) Discrete Structuren Wee1: Inleiding 17

Verzamelingen N = {0,1,2,3,...} P = {1,2,3,...} { : } Deelverzameling: S is een deelverzameling van T, (notatie: S T) als: x(x S = x T) Echte deelverzameling: S is een echte deelverzameling van T, (notatie: S T) als: S T en S = T Russell-paradox: V = {x : x / x} P N Z Q R Discrete Structuren Wee1: Inleiding 18

Intervallen van R.: [a,b] = {x R : a x b} (a,b) = {x R : a < x < b} [a,b) = {x R : a x < b} (a,b] = {x R : a < x b} (,a] = {x R : x a}... Discrete Structuren Wee1: Inleiding 19

De machtsverzameling P(S) van S is: Voorbeeld: Als S = {a,b,c} dan is: P(S) = {T : T S} P(S) = {, {a}, {b}, {c}, {a,b}, {b,c}, {a,c}, {a,b,c} } De grootte van een verzameling S noteren we met S De grootte van de machtsverzameling P(S) is een exponentiële functie van S : P(S) = 2 S Discrete Structuren Wee1: Inleiding 20

Talen Alfabet - niet-lege eindige verzameling (letters of symbolen): Σ. Woord - een eindige string letters van Σ. Σ - de verzameling van alle woorden van Σ Iedere deelverzameling van Σ is een taal. Lege-woord, null-woord, null string, notatie λ Voorbeeld: Als Σ = {a} dan is: Σ = {λ,a,aa,aaa,aaaa,...} Discrete Structuren Wee1: Inleiding 21

Verzamelingenoperaties Vereninging: A B = {x : x A of x B of beide} Doorsnede: A B = {x : x A en x B } Complement: A c = {x : x / A } Relatief complement: A \B = {x : x A en x / B } Discrete Structuren Wee1: Inleiding 22

Verzamelingenoperaties Symmetrisch verschil: A B = {x : x A of x B maar niet in beide} Universum - U. Absoluut complement: A c = {x U : x / A} Discrete Structuren Wee1: Inleiding 23

Verzamelingen-wetten Commutativiteit Associativiteit Distributiviteit Idempotentie Identiteit Complement Dubbel Complement Relatie Universum - Lege Verzameling De Morgan Discrete Structuren Wee1: Inleiding 24

Verzamelingen-wetten-2 Commutativiteit A B = B A (idem ) Associativiteit (A B) C = A (B C) (idem ) Distributiviteit A (B C) = (A B) (A C) (idem van over ) Idempotentie A A = A (idem ) Identiteit A = A (4 stus) Complement Dubbel Complement A A c = U en A A c = (A c ) c = A Relatie Universum - Lege Verzameling U c = en c = U De Morgan (A B) c = A c B c (+ duale variant) Discrete Structuren Wee1: Inleiding 25

Cartesisch Product Geordend paar: (s, t) (s 1,t 1 ) = (s 2,t 2 ) desda s 1 = s 2 en t 1 = t 2 Product: Geordend n-tupel: (s 1,s 2,...s n ) S T = {(s,t) : s S en t T} Productverzameling: S 1 S 2...S n = {(s 1,s 2,...s n ) : s S voor [1,n]} Discrete Structuren Wee1: Inleiding 26

Functies Definition 1. [Functie] Een functie f : S T ent aan el element x in in de verzameling S een uniee waarde in de verzameling T toe. f : S T S - domein T - codomein Discrete Structuren Wee1: Inleiding 27

Functies Beeld: Im(f) = {f(x) : x Dom(f)} De graaf van een functie f : S T is een deelverzameling van S T: Graaf(f) = {(x,y) S T : y = f(x)} Karateristiee functie: χ A (x) = { 1 indien x A, 0 indien x S \ A. (1) Discrete Structuren Wee1: Inleiding 28

Functiecompositie Compositie: (g f)(x) = g(f(x)) voor alle x S Twee functies commuteren als: f g = g f Discrete Structuren Wee1: Inleiding 29

Stel de functies f, g en h beelden R op R af: f(x) = x 4, g(y) = y 2 +1, h(z) = z 2 +72 (h (g f))(x) = h(g f(x)) = h(g(f(x))) = h(g(x 4 )) = h( x 8 +1) = ( x 8 +1) 2 +72 = x 8 +73 Discrete Structuren Wee1: Inleiding 30

En oo: ((h g) f)(x) = (h g)(f(x)) = h(g(f(x))) = x 8 +73 Compositie is associatief. Stel f : S T,g : T U en h : U V dan: h (g f) = (h g) f Discrete Structuren Wee1: Inleiding 31

Injectie (one-to-one function). a,b A : f(a) = f(b) = a = b Surjectie (onto function). b B a A : f(a) = b Discrete Structuren Wee1: Inleiding 32

Bijectie (One-to-one correspondence). is zowel injectief als surjectief Discrete Structuren Wee1: Inleiding 33

Inverse Definition 2. [Inverse] De inverse van een functie f : S T is een functie f 1 : T S zo dat: f 1 (f(x)) = x voor alle x S f(f 1 (y)) = y voor alle y T Theorem 5. De functie f : S T is inverteerbaar desda f is een bijectie van S naar T. Discrete Structuren Wee1: Inleiding 34

Beelden Definition 3. [Beeld] Gegeven de functie f : S T. Stel A S Dan is het beeld van A onder f: f(a) = {f(x) : x A} Definition 4. [Inverse Beeld] Gegeven de functie f : S T. Stel B T Dan is het inverse beeld van B onder f (pre-image): f (B) = {x S : f(x) B} f (B) = {f 1 (y) : y B) = f 1 (B) Voor y T schrijven we f (y) voor f ({y}) f (y) = {x S : f(x) = y} Discrete Structuren Wee1: Inleiding 35