Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 INLEIDING
|
|
- Casper van der Wolf
- 5 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Discrete Structuren Piter Dystra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 INLEIDING Discrete Structuren Wee1: Inleiding
2 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
3 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
4 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, Hoofdstu Hoofdstu 13 Discrete Structuren Wee1: Inleiding 3
5 Agenda Onderwerpen deze wee: 1. Redeneren 2. Factoren en veelvouden 3. Verzamelingen 4. Functies Discrete Structuren Wee1: Inleiding 4
6 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
7 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
8 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
9 5. Hoeveel veelvouden van liggen er tussen m en n als m en n oo negatief unnen zijn? Discrete Structuren Wee1: Inleiding 8
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 Discrete Structuren Wee1: Inleiding 9
11 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
12 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
13 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
14 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
15 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 = = = = Discrete Structuren Wee1: Inleiding 14
16 Ggd en Kgv grootste gemene deler ggd(x,y) of gcd(x,y) ggd(168,192) = ggd( ,2 6 3) = 2 min(3,6) 3 min(1,1) 7 min(1,0) = = 24 leinste gemene veelvoud gv(x,y) gv(168,192) = gv( ,2 6 3) = 2 max(3,6) 3 max(1,1) 7 max(1,0) = = 1344 Discrete Structuren Wee1: Inleiding 15
17 relatief priem Theorem 3. Voor positieve natuurlije getallen m en n geldt: ggd(m,n) gv(m,n) = mn Discrete Structuren Wee1: Inleiding 16
18 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
19 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
20 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
21 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
22 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
23 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
24 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
25 Verzamelingen-wetten Commutativiteit Associativiteit Distributiviteit Idempotentie Identiteit Complement Dubbel Complement Relatie Universum - Lege Verzameling De Morgan Discrete Structuren Wee1: Inleiding 24
26 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
27 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
28 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
29 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
30 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
31 Stel de functies f, g en h beelden R op R af: f(x) = x 4, g(y) = y 2 +1, h(z) = z (h (g f))(x) = h(g f(x)) = h(g(f(x))) = h(g(x 4 )) = h( x 8 +1) = ( x 8 +1) = x Discrete Structuren Wee1: Inleiding 30
32 En oo: ((h g) f)(x) = (h g)(f(x)) = h(g(f(x))) = x 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
33 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
34 Bijectie (One-to-one correspondence). is zowel injectief als surjectief Discrete Structuren Wee1: Inleiding 33
35 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
36 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
Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dystra Sietse Achterop Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 12 februari 2008 INLEIDING Discrete Structuren Wee1: Inleiding Onderwerpen
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 februari 2009 RELATIES & GRAFEN Discrete Structuren Week 2: Relaties en Grafen
Nadere informatie(Isomorfie en) RELATIES
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 maart 2009 (Isomorfie en) RELATIES. Paragrafen 10.5,11.1,11.2,11.4,11.5 Discrete
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 22 maart 2009 ONEINDIGHEID
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 22 maart 2009 ONEINDIGHEID. Paragraaf 13.3. De paradox van de oneindigheid ligt slechts
Nadere informatieOefening 2.2. Welke van de volgende beweringen zijn waar?
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
Nadere informatieVerzamelingen deel 3. Derde college
1 Verzamelingen deel 3 Derde college rekenregels Een bewerking op A heet commutatief als voor alle x en y in A geldt dat x y = y x. Een bewerking op A heet associatief als voor alle x, y en z in A geldt
Nadere informatieUitwerkingen Tentamen Wat is Wiskunde (WISB101) Donderdag 10 november 2016, 9:00-12:00
Uitweringen Tentamen Wat is Wisunde (WISB101) Donderdag 10 november 2016, 9:00-12:00 Docenten: Barbara van den Berg & Carel Faber & Arjen Baarsma & Ralph Klaasse & Vitor Blåsjö & Guido Terra-Bleeer Opgave
Nadere informatieopgaven 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.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatieEnkele valkuilen om te vermijden
Enkele valkuilen om te vermijden Dit document is bedoeld om per onderwerp enkele nuttige strategieën voor opgaven te geven. Ook wordt er op een aantal veelgemaakte fouten gewezen. Het is géén volledige
Nadere informatieDossier 1 SYMBOLENTAAL
Dossier 1 SYMBOLENTAAL basis voor wiskundige communicatie Dr. Luc Gheysens Wiskundigen hebben een eigen symbolentaal waarmee ze onderling communiceren, redeneringen en bewijzen neerschrijven, mathematische
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 BEWIJZEN Discrete Structuren Week1 : Bewijzen Onderwerpen Puzzels
Nadere informatieWiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November
Wiskunde Verzamelingen, functies en relaties College 2 Donderdag 3 November 1 / 17 Equivalentierelaties Def. Een relatie R heet reflexief als x xrx. R heet transitief als x y z (xry yrz xrz). R heet symmetrisch
Nadere informatieRelaties en Functies
Logica voor Informatica Relaties en Functies Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Geordende paren, productverzameling, relatie (a, b) geordend paar (a, b) = (c, d) a =
Nadere informatieVorig college. IN2505-II Berekenbaarheidstheorie. Aanbevolen opgaven. Wat is oneindigheid? College 5
Vorig college College 5 Algoritmiekgroep Faculteit EWI TU Delft Opsommers vs. Herkenners Church-Turing These Codering van problemen 23 april 2009 1 2 Aanbevolen opgaven Wat is oneindigheid? Sipser p. 163
Nadere informatieI.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.
I.3 Functies Iedereen is ongetwijfeld in veel situaties het begrip functie tegengekomen; vaak als een voorschrift dat aan elk getal een ander getal toevoegt, bijvoorbeeld de functie fx = x die aan elk
Nadere informatieII.3 Equivalentierelaties en quotiënten
II.3 Equivalentierelaties en quotiënten Een belangrijk begrip in de wiskunde is het begrip relatie. Een relatie op een verzameling is een verband tussen twee elementen uit die verzameling waarbij de volgorde
Nadere informatieKU Leuven. Algebra. Notities. Tom Sydney Kerckhove
KU Leuven Algebra Notities Tom Sydney Kerckhove Gestart 23 september 2014 Gecompileerd 28 oktober 2014 Inhoudsopgave 1 Verzamelingen 3 1.1 Basisbegrippen....................................... 3 1.2 De
Nadere informatieFuncties deel 1. Vijfde college
3 Functies deel 1 Vijfde college 1 Ch.3 Functions and Algorithms Hoofdstuk 3 uit Schaum gaat over functies en algoritmen. Het gedeelte over algoritmen ( 3.8 en 3.9) komt uitgebreid aan de orde bij toekomstige
Nadere informatieTer Leering ende Vermaeck
Ter Leering ende Vermaeck 15 december 2011 1 Caleidoscoop 1. Geef een relatie op Z die niet reflexief of symmetrisch is, maar wel transitief. 2. Geef een relatie op Z die niet symmetrisch is, maar wel
Nadere informatieNATUURLIJKE, GEHELE EN RATIONALE GETALLEN
II NATUURLIJKE, GEHELE EN RATIONALE GETALLEN Iedereen ent getallen: de natuurlije getallen, N = {0,1,2,3,...}, gebruien we om te tellen, om getallen van elaar af te unnen treen hebben we de gehele getallen,
Nadere informatieWe beginnen met de eigenschappen van de gehele getallen.
II.2 Gehele getallen We beginnen met de eigenschappen van de gehele getallen. Axioma s voor Z De gegevens zijn: (a) een verzameling Z; (b) elementen 0 en 1 in Z; (c) een afbeelding +: Z Z Z, de optelling;
Nadere informatieUniversiteit Gent. Academiejaar Discrete Wiskunde. 1ste kandidatuur Informatica. Collegenota s. Prof. Dr.
Universiteit Gent Academiejaar 2001 2002 Discrete Wiskunde 1ste kandidatuur Informatica Collegenota s Prof. Dr. Frank De Clerck Herhalingsoefeningen 1. Bepaal het quotiënt en de rest van de deling van
Nadere informatieCollege WisCKI. Albert Visser. 17 oktober, Department of Philosophy, Faculty Humanities, Utrecht University. Equivalentierelaties.
College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 17 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wat is een equivalentierelatie? Een
Nadere informatieDiscrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 4 april 2008 Discrete Structuren Week 8: Samenvatting Redeneerpatronen
Nadere informatieGetallensystemen, verzamelingen en relaties
Hoofdstuk 1 Getallensystemen, verzamelingen en relaties 1.1 Getallensystemen 1.1.1 De natuurlijke getallen N = {0, 1, 2, 3,...} N 0 = {1, 2, 3,...} 1.1.2 De gehele getallen Z = {..., 4, 3, 2, 1, 0, 1,
Nadere informatieOefening 2.3. Noteer de volgende verzamelingen d.m.v. (eenvoudig) voorschrift voor de eerste helft en d.m.v. opsomming voor de tweede helft.
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
Nadere informatieGerichte Grafen Boolese Algebra s &. Logische Netwerken
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 10 maart 2009 Gerichte Grafen Boolese Algebra s &. Logische Netwerken. Paragrafen
Nadere informatieRelaties deel 2. Vierde college
2 Relaties deel 2 Vierde college 1 n-tupels & Cartesisch product A 1, A 2,, A n verzamelingen Een n-tupel is een geordend rijtje (ook wel: geordend n-tal) (a 1,a 2,...,a n ) met a 1 A 1, a 2 A 2,, a n
Nadere informatieInhoudsopgave. I Theorie 1
Inhoudsopgave I Theorie 1 1 Verzamelingen 3 1.1 Inleiding........................................ 3 1.2 Bewerkingen met verzamelingen........................... 6 1.2.1 Vereniging (unie) van twee verzamelingen.................
Nadere informatieExamen G0U13 - Bewijzen en Redeneren,
Examen G0U13 - Bewijzen en Redeneren, 2010-2011 bachelor in de Wisunde, bachelor in de Fysica, bachelor in de Economische Wetenschappen en bachelor in de Wijsbegeerte Vrijdag 4 februari 2011, 8u30 Naam:
Nadere informatieiii Tristan Kuijpers Claudine Lybaert december 2013
Voorwoord De wiskundige vorming die in de wiskundig sterke richtingen van het Vlaamse secundair onderwijs wordt aangeboden, vormt een zeer degelijke basis voor hogere studies in wetenschappelijke, technologische
Nadere informatieSupplement Verzamelingenleer. A.J.M. van Engelen en K. P. Hart
Supplement Verzamelingenleer A.J.M. van Engelen en K. P. Hart 1 Hoofdstuk 1 Het Keuzeaxioma Het fundament van de hedendaagse verzamelingenleer werd in de vorige eeuw gelegd door Georg Cantor. Cantor gebruikte
Nadere informatieWiskundige Structuren
wi1607 Wiskundige Structuren Cursus 2009/2010 Eva Coplakova en Bas Edixhoven i Inhoudsopgave I Verzamelingen en afbeeldingen..... 2 I.1 Notatie........3 I.2 Operaties op verzamelingen...7 I.3 Functies.......10
Nadere informatieRuG-Informatica-cursus Discrete Structuren, versie 2009/2010
RuG-Informatica-cursus Discrete Structuren, versie 2009/2010 Handout 1 Jan Terlouw maandag 8 februari 2010 1 Algemene gegevens over deze cursus DS. Docenten. Jan Terlouw (hoorcollege) en Piter Dykstra
Nadere informatieBewijzen en Redeneren voor Informatici
Bewijzen en Redeneren voor Informatici Reinoud Berkein 17 januari 2018 Samenvatting Een korte samenvatting van definities uit de cursus. Hoofdstuk 1 Doorsnede: De verzamerling die alle elementen bevat
Nadere informatieMulticriteria Optimization and Decision Making. Michael Emmerich and André Deutz
2 Relaties 1 Multicriteria Optimization and Decision Making Michael Emmerich and André Deutz 2 motivatie We bestuderen relaties: de terminologie, representaties (de manieren om relaties weer te geven)
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 22 februari 2009 INDUCTIE & RECURSIE Paragrafen 4.3-4.6 Discrete Structuren Week 3:
Nadere informatieHoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen
Hoofdstuk 3 Equivalentierelaties SCHAUM 2.8: Equivalence Relations Twee belangrijke voorbeelden van equivalentierelaties in de informatica: resten (modulo rekenen) en cardinaliteit (aftelbaarheid). 3.1
Nadere informatieequivalentie-relaties
vandaag equivalentie-relaties reflexief, symmetrisch, transitief 1 1. gelijkmachtigheid / aftelbaarheid 2. modulo rekenen 3. theorie Gelijkmachtigheid en aftelbaarheid 3.7 aleph 2 intuitie Amst Brux Roma
Nadere informatieKU Leuven. Algebra. Notities. Tom Sydney Kerckhove. met dank aan: Katelijne Caerts Eline van der Auwera Anneleen Truijen
KU Leuven Algebra Notities Tom Sydney Kerckhove met dank aan: Katelijne Caerts Eline van der Auwera Anneleen Truijen Gestart 23 september 2014 Gecompileerd 1 juni 2015 Inhoudsopgave 1 Verzamelingen 6 1.1
Nadere informatieCollegestof verzamelingenleer. Verzamelingenleer. Inhoud dit deel college. Verzamelingen. Universele en lege verzameling. Verzamelingen en elementen
Collegesto verzamelingenleer Verzamelingenleer Pro dr J-J Ch Meyer UU - ICS Gebaseerd op (aantal hoodstukken van) het boek: Set Theory and Related Topics by Seymour Lipschutz Schaum s Outlines, McGraw-Hill
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieOefenopgaven Grondslagen van de Wiskunde A
Oefenopgaven Grondslagen van de Wiskunde A Jaap van Oosten 2007-2008 1 Kardinaliteiten Opgave 1.1. Bewijs, dat R N = R. Opgave 1.2. Laat Cont de verzameling continue functies R R zijn. a) Laat zien dat
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 8 oktober 2007 GRAMMATICA S Kennisrepresentatie & Redeneren Week6: Grammatica
Nadere informatie1 Verzamelingen. en relaties. 1.1 De basisnotaties. Hoofdstuk
Inhoudsopgave Inhoudsopgave iii 1 Verzamelingen en relaties 1 1.1 De basisnotaties.......................... 1 1.2 Relaties.............................. 4 1.2.1 Basisdefinities.......................
Nadere informatieIII.2 De ordening op R en ongelijkheden
III.2 De ordening op R en ongelijkheden In de vorige paragraaf hebben we axioma s gegeven voor de optelling en vermenigvuldiging in R, maar om R vast te leggen moeten we ook ongelijkheden in R beschouwen.
Nadere informatieBEWIJZEN EN REDENEREN
BEWIJZEN EN REDENEREN voor Bachelor of Science in Fysica en Wiskunde Academiejaar 2012/2013 Arno KUIJLAARS Departement Wiskunde, Katholieke Universiteit Leuven, Celestijnenlaan 200 B, 3001 Heverlee Inhoudsopgave
Nadere informatieExamen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30
Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde vrijdag 3 februari 2012, 8:30 12:30 Naam: Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieOplossingen Oefeningen Bewijzen en Redeneren
Oplossingen Oefeningen Bewijzen en Redeneren Goeroen Maaruf 20 augustus 202 Hoofdstuk 3: Relaties. Oefening 3..2 (a) Persoon p is grootouder van persoon q. (b) (p, q) O o O r P : [ (p, r) O (r, q) O ]
Nadere informatieGetaltheorie I. c = c 1 = 1 c (1)
Lesbrief 1 Getaltheorie I De getaltheorie houdt zich bezig met het onderzoek van eigenschappen van gehele getallen, en meer in het bijzonder, van natuurlijke getallen. In de getaltheorie is het gebruikelijk
Nadere informatieFundamenten. Lerarenprogramma Mastermath, versie 2015/12/02. Theo van den Bogaart Bas Edixhoven
Fundamenten Lerarenprogramma Mastermath, versie 2015/12/02 Theo van den Bogaart Bas Edixhoven i Inhoudsopgave I Verzamelingen en afbeeldingen............................................... 3 I.1 Notatie.........................................................................
Nadere informatieRelaties deel 1. Derde college
2 Relaties deel 1 Derde college 1 Carl Friedrich Gauss Carl Friedrich Gauss (30 april 1777 23 februari 1855) was een Duits wiskundige en natuurkundige, die een zeer belangrijke bijdrage heeft geleverd
Nadere informatieNotatie van verzamelingen. Lidmaatschap. Opgave. Verzamelingen specificeren
Overzicht TI1300: Redeneren en Logica College 10: Verzamelingenleer Tomas Klos Algoritmiek Groep Colleges 1 2: Bewijstechnieken Colleges 3 9: Propositielogica Vandaag en morgen: Verzamelingenleer Colleges
Nadere informatieTalen & Automaten. Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 mei 2008
Talen & Automaten Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.cs.rug.nl/~wim 9 mei 2008 Talen & automaten Week 1: Inleiding Dit college Talen Automaten Berekenbaarheid Weekoverzicht
Nadere informatieInhoudsopgave. Relaties geordend paar, cartesisch product, binaire relatie, inverse, functie, domein, bereik, karakteristieke functies
Inhoudsopgave Verzamelingen element, Venn-diagram, singleton, lege verzameling, gelijkheid, deelverzameling, machtsverzameling, vereniging, doorsnede, verschilverzameling Relaties geordend paar, cartesisch
Nadere informatieTentamen Grondslagen van de Wiskunde A, met uitwerkingen
Tentamen Grondslagen van de Wiskunde A, met uitwerkingen 8 december 2015, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatie1 Verzamelingen en afbeeldingen
Samenvatting Wiskundige Structuren, 2010 Aad Offerman, www.offerman.com 1 1 Verzamelingen en afbeeldingen Notaties: A = {1,2,3},, x A, y / A, A = B A B en B A, N = {0,1,2,...}, Z = {..., 3, 2, 1,0,1,2,...},
Nadere informatieEigenschap (Principe van welordening) Elke niet-lege deelverzameling V N bevat een kleinste element.
Hoofdstuk 2 De regels van het spel 2.1 De gehele getallen Grof gezegd kunnen we de (elementaire) getaltheorie omschrijven als de wiskunde van de getallen 1, 2, 3, 4,... die we ook de natuurlijke getallen
Nadere informatieDefinitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat:
Hoofdstuk 1 Eerste begrippen 1.1 Wat is een groep? Definitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat: 1. a, b G : a b G 2. a, b, c G : a (b c) = (a b) c = a
Nadere informatieWiskunde. Verzamelingen, functies en relaties. College 6. Donderdag 7 Januari
Wiskunde Verzamelingen, functies en relaties College 6 Donderdag 7 Januari 1 / 14 Kardinaliteit Def. A is de kardinaliteit van A. A = B : er is een bijectie van A naar B. A B : er is een injectie van A
Nadere informatie1 Delers 1. 3 Grootste gemene deler en kleinste gemene veelvoud 12
Katern 2 Getaltheorie Inhoudsopgave 1 Delers 1 2 Deelbaarheid door 2, 3, 5, 9 en 11 6 3 Grootste gemene deler en kleinste gemene veelvoud 12 1 Delers In Katern 1 heb je geleerd wat een deler van een getal
Nadere informatieIII.3 Supremum en infimum
III.3 Supremum en infimum Zowel de reële getallen als de rationale getallen vormen geordende lichamen. Deze geordende lichamen zijn echter principieel verschillend. De verzameling R is bijvoorbeeld aanzienlijk
Nadere informatieGetallen, 2e druk, extra opgaven
Getallen, 2e druk, extra opgaven Frans Keune november 2010 De tweede druk bevat 74 nieuwe opgaven. De nummering van de opgaven van de eerste druk is in de tweede druk dezelfde: nieuwe opgaven staan in
Nadere informatieOpgaven Eigenschappen van Getallen Security, 2018, Werkgroep.
Opgaven Eigenschappen van Getallen Security, 2018, Werkgroep. Gebruik deze opgaven, naast die uit het boek, om de stof te oefenen op het werkcollege. Cijfer: Op een toets krijg je meestal zes tot acht
Nadere informatieHoofdstuk 1. Inleiding. Lichamen
Hoofdstuk 1 Lichamen Inleiding In Lineaire Algebra 1 en 2 heb je al kennis gemaakt met de twee belangrijkste begrippen uit de lineaire algebra: vectorruimte en lineaire afbeelding. In dit hoofdstuk gaan
Nadere informatieFuncties. Ch.3 Functions and Algorithms
3 Functies Ch.3 Functions and Algorithms Ch.3 Functions and Algorithms Inderdaad, algorithms heb ik doorgestreept. Het is een mooi onderwerp, maar komt hier bij de vakken Algoritmiek, Datastructuren, en
Nadere informatieVerzamelingen deel 2. Tweede college
1 Verzamelingen deel 2 Tweede college herhaling Deelverzameling: AB wil zeggen dat elk element van A ook in B te vinden is: als x A dan x B Er geldt: A=B AB en BA De lege verzameling {} heeft geen elementen.
Nadere informatieLineaire Algebra voor ST
Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.3 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 5 J.Keijsper (TUE)
Nadere informatieLineaire Algebra C 2WF09
Lineaire Algebra C 2WF09 College: Instructie: L. Habets HG 8.09, Tel. 4230, Email: l.c.g.j.m.habets@tue.nl H.A. Wilbrink HG 9.49, Tel. 2783, E-mail: h.a.wilbrink@tue.nl http://www.win.tue.nl/wsk/onderwijs/2wf09
Nadere informatieRuG-Informatica-cursus Discrete Structuren, versie 2009/2010
RuG-Informatica-cursus Discrete Structuren, versie 2009/2010 Handout 5A Jan Terlouw maandag 8 maart 2010 1 Algemeen over DS in deze week Nadere belichting van stof van week 4 (mede i.v.m. toets). Bij het
Nadere informatieOPLOSSINGEN VAN DE OEFENINGEN
OPLOSSINGEN VAN DE OEFENINGEN 1.3.1. Er zijn 42 mogelijke vercijferingen. 2.3.4. De uitkomsten zijn 0, 4 en 4 1 = 4. 2.3.6. Omdat 10 = 1 in Z 9 vinden we dat x = c 0 +... + c m = c 0 +... + c m. Het getal
Nadere informatieBasiswiskunde. P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam
Basiswiskunde P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam 22 augustus 2007 Inhoudsopgave 1 Verzamelingen 2 2 Taal van de wiskunde 6 3 Afbeeldingen 11 4 Relaties 15 5 Inductie
Nadere informatieVerzamelingen. Hoofdstuk 5
Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.
Nadere informatieVergelijkingen van cirkels en lijnen
Vergelijkingen van cirkels en lijnen Rechthoekig coördinatenstelsel! Cartesisch coördinatenstelsel! René Descartes (1596-1650) Van hem is de uitspraak: Ik denk, dus ik besta! September 12, 2009 1 Vergelijkingen
Nadere informatie7.1 Het aantal inverteerbare restklassen
Hoofdstuk 7 Congruenties in actie 7.1 Het aantal inverteerbare restklassen We pakken hier de vraag op waarmee we in het vorige hoofdstuk geëindigd zijn, namelijk hoeveel inverteerbare restklassen modulo
Nadere informatieTweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen
Tweede huiswerkopdracht Lineaire algebra 1 en opmerkingen November 10, 2009 Opgave 1 Gegeven een vectorruimte V met deelruimtes U 1 en U 2. Als er geldt dim U 1 = 7, dimu 2 = 9, en dim(u 1 U 2 ) = 4, wat
Nadere informatieFunctievergelijkingen
Functievergelijkingen Trainingsweek juni 2008 Basistechnieken Je mag alle getallen in het domein invullen in je functievergelijking. Wat er precies handig is, hangt af van het domein en van de functievergelijking.
Nadere informatieAnalyse deel I. Cursus voor Latijn-Wiskunde, Economie-Wiskunde en Wetenschappen-Wiskunde
Analyse deel I Liliane Van Maldeghem Hendrik Van Maldeghem Cursus voor Latijn-Wiskunde, Economie-Wiskunde en Wetenschappen-Wiskunde 2 Hoofdstuk 1 Reële getallen 1.1 Het geordend veld van de reële getallen
Nadere informatieJe hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015
Je hebt twee uur de tijd voor het oplossen van de vraagstukken. Elk vraagstuk is maximaal 10 punten waard. Begin elke opgave op een nieuw vel papier. µkw uitwerkingen 12 juni 2015 Vraagstuk 1. We kunnen
Nadere informatieNiet-standaard analyse (Engelse titel: Non-standard analysis)
Technische Universiteit Delft Faculteit Elektrotechniek, Wiskunde en Informatica Delft Institute of Applied Mathematics Niet-standaard analyse (Engelse titel: Non-standard analysis) Verslag ten behoeve
Nadere informatieDeelgroepen en normaaldelers
Hoofdstuk 2 Deelgroepen en normaaldelers 2.1 Wat is een deelgroep? Definitie 2.1. Een deelverzameling H van een groep G, is een deelgroep van G als en slechts als H niet leeg is en H, zelf een groep is.
Nadere informatie2. Ga voor volgende relaties na of het al dan niet functies, afbeeldingen, bijecties, injecties, surjecties zijn :
HOOFDSTUK. VERZAMELINGEN, RELATIES EN FUNCTIES Opgaven verzamelingen, relaties en functies. Toon aan : a) (A B) C = A (B C) b) A (B C) = (A B) (A C) c) (A B) c = A c B c d) A B B c A c. Ga voor volgende
Nadere informatieBewijzen en Redeneren voor Informatici Samenvatting
Bewijzen en Redeneren voor Informatici Samenvatting Robin Kelchtermans 17 februari 2018 1 Voorwoord In deze samenvatting komen alle onderdelen van de cursus Bewijzen en Redeneren voor Informatici (academiejaar
Nadere informatieVERZAMELINGEN EN AFBEELDINGEN
I VERZAMELINGEN EN AFBEELDINGEN Het begrip verzameling kennen we uit het dagelijks leven: een bibliotheek bevat een verzameling van boeken, een museum een verzameling van kunstvoorwerpen. We kennen verzamelingen
Nadere informatieINLEIDING GROEPENTHEORIE
INLEIDING GROEPENTHEORIE 2013-2014 webstek: http://homepages.vub.ac.be/ efjesper HOC: woensdag 8-10 uur, sem 2 WPO: donderdag 13-15 uur, sem 2 E. Jespers Vakgroep Wiskunde Vrije Universiteit Brussel Faculteit
Nadere informatieGehelen van Gauss. Hector Mommaerts
Gehelen van Gauss Hector Mommaerts 2 Hoofdstuk 1 Definities Gehelen van Gauss zijn complexe getallen van de vorm a + bi waarbij a, b Z. De verzameling van alle gehelen van Gauss noteren we met Z(i). Dus
Nadere informatieONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.
ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.8 ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Inleiding
Nadere informatieExamen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07
Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde vrijdag 31 januari 2014, 8:30 12:30 Auditorium L.00.07 Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatie2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.
Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal is een natuurlijk getal groter dan 1 dat slechts deelbaar is door 1 en door zichzelf. Om technische redenen wordt
Nadere informatieLineaire Algebra Een Samenvatting
Lineaire Algebra Een Samenvatting Definitie: Een (reële) vectorruimte is een verzameling V voorzien van een additieve en multiplicatieve operatie, zodat (a) u V en v V u + v V, (1) u + v = v + u voor alle
Nadere informatieSemantiek 1 college 10. Jan Koster
Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde
Nadere informatie8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde
8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde Optellen: 5a + 3b + 2a + 6b = 7a + 9b 1) Alleen gelijksoortige
Nadere informatieUitwerkingen toets 9 juni 2012
Uitwerkingen toets 9 juni 0 Opgave. Voor positieve gehele getallen a en b definiëren we a b = a b ggd(a, b). Bewijs dat voor elk geheel getal n > geldt: n is een priemmacht (d.w.z. dat n te schrijven is
Nadere informatieAlgebra en Getaltheorie@Work: van cryptosysteem tot digitale handtekening
Algebra en Getaltheorie@Work: van cryptosysteem tot digitale handtekening Dr. Fabien Decruyenaere, St. Amandscollege, 8500 Kortrijk fabien.decruyenaere@skynet.be Prof. Dr. Paul Igodt, K.U.Leuven Campus
Nadere informatieBoolealgebra s. Leereenheid 16
Leereenheid 16 Boolealgebra s I N T R O D U C T I E Als we ons afvragen welk van de twee verzamelingen wiskundig interessanter is: de verzameling natuurlijke getallen of de verzameling {Astrid, Bert, Corrie,
Nadere informatieGetallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte
Getallenleer Inleiding op codeertheorie Liliane Van Maldeghem Hendrik Van Maldeghem Cursus voor de vrije ruimte 2 Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal
Nadere informatieEerstebachelorstudenten moeten heel wat nieuwe kennis verwerven. Het pleidooi voor een abstracte aanpak sluit niet uit dat we meestal met concrete
Voorwoord Deze cursusnota s horen bij het opleidingsonderdeel Relaties en structuren uit de eerste Bachelor wiskunde. Alles wat aan bod zal komen tijdens de theorielessen, is bevat in deze nota s. De student
Nadere informatieM1 Wiskundig taalgebruik en notaties
M1 Wiskundig taalgebruik en notaties Verzamelingenleer Verzameling = aantal objecten samengebracht tot een geheel - Lege verzameling = verzameling die geen elementen bevat A = - Singleton verzameling =
Nadere informatiePG blok 4 werkboek bijeenkomst 4 en 5
2015-2015 PG blok 4 werkboek bijeenkomst 4 en 5 Inhoud Kenmerken van deelbaarheid (herhaling)...1 Ontbinden in factoren...1 Priemgetallen (herhaling)...2 Ontbinden in priemfactoren...2 KGV (Kleinste Gemene
Nadere informatie