Matematik för språkteknologer
|
|
- Hugo Karlsson
- för 8 år sedan
- Visningar:
Transkript
1 1 / 27 Matematik för språkteknologer 2.3 (Relationer och funktioner) Mats Dahllöf Institutionen för lingvistik och filologi Februari 2014
2 2 / 27 Dagens nya punkter Relationer Definitioner Egenskaper hos relationer Typer av relationer Funktioner Definition Egenskaper hos funktioner
3 3 / 27 Relationer En relation är något som råder (eller inte råder) mellan två eller fler objekt. T.ex.: far-till, barn-till, tyngre-än, <,,. Notationssätt: R(x,y), Rxy och xrx, m.fl. (där R är relationssymbolen). Olika lässätt: relation R råder mellan x och y x har relationen R till y, x < y blir x är mindre än y, x M blir x är ett element i M, etc.
4 4 / 27 Binära (tvåställiga) relationer Mer formellt: En binär relation mellan två mängder M och N är något som råder (eller inte råder) mellan par (x,y) av objekt, där a M och y N. Om M = N en (binär) relation på M.
5 Relationen möjlig-pos-tagg mellan fyra graford och fyra pos-taggar. 5 / 27 Relation, konkretare en ett får fick DT NN RO VB
6 Två olika relationer a e a e b f b f c g c g d h d h M = {a,b,c,d} och N = {e, f,g,h} 6 / 27
7 Relation på en mängd sil hus bil tal sol pil bus sal Uppgift: Beskriv relationen, om vi tänker oss att detta skall föreställa en lingvistiskt eller språkteknologiskt intressant sådan. 7 / 27
8 8 / 27 Relation på en mängd, nytt ex. a h b g c f e d
9 9 / 27 Relationer som mängder av par En relation R mellan två mängder M och N kan representeras som en mängd R av ordnade par (x,y), där x M och y N. Alternativt uttryckt: R M N. Ett exempel: R = kommer före i alfabetet (begränsad) R = {(a,b),(a,c),(a,d),(b,c),(b,d),(c,d)} Obs! Om vi tolkar bokstäverna som namn på det uppenbara sättet.
10 10 / 27 Relationer som mängder av par Som sagt: R M N. Fråga: Hur många olika relationer mellan två mängder M och N kan vi på detta sätt skilja på?
11 11 / 27 Egenskaper hos relationer Obs! Handlar om generella egenskaper! En relation R på en mängd A kallas: reflexiv om Raa, för alla a A irreflexiv om inte Raa, för alla a A total om Rab eller Rba, för alla a,b A (Obs! total implicerar reflexiv! Varför?)
12 12 / 27 Egenskaper hos relationer En relation R på en mängd A kallas: symmetrisk om Rab implicerar Rba, asymmetrisk om Rab implicerar inte Rba, för alla a,b A för alla a,b A antisymmetrisk om Rab och Rba implicerar a = b, för alla a,b A
13 13 / 27 Egenskaper hos relationer transitiv om Rab och Rbc implicerar Rac, för alla a,b,c A antitransitiv/intransitiv om Rab och Rbc implicerar inte Rac, för alla a,b,c A
14 14 / 27 Relationer speciella typer ekvivalensrelation En relation R på en mängd A är en ekvivalensrelation om den är reflexiv, transitiv och symmetrisk. T.ex. =, vara-lika-lång-som (människor), ha-samma-kardinalitet-som (mängder). Kolla (tänk efter)!
15 Ekvivalensrelation här (ha-samma-kardinalitet-som): Def. R(A, B) omm A = B. 15 / 27 Ekvivalensklasser En ekvivalensrelation på M grupperar elementen i M. {1,2,3} {1,2} {1,3} {2,3} {1} {2} {3} /0
16 16 / 27 Annat exempel hus, ljus, bus, rus rimma, simma, strimma häst, bäst, näst tom, bom Ekvivalensrelation här: rimma-på.
17 17 / 27 Relationer speciella typer partialordning En relation R på en mängd A är en partialordning om den är reflexiv, transitiv och antisymmetrisk. T.ex. på P(M) (för någon mängd M). Kolla!
18 18 / 27 Relationer speciella typer totalordning En relation R på en mängd A är en totalordning om den är total, transitiv och antisymmetrisk. T.ex. på heltalen. Kolla! strikt totalordning En relation R på en mängd A är en strikt totalordning om den är den största irreflexiva delmängden till en totalordning. T.ex. < på heltalen. Kolla! a < b omm (a b och a b), för alla heltal a,b.
19 19 / 27 Funktioner En funktion f från A till B är en regel som tilldelar varje element i A ett (och endast ett) element i B. Formell notation: f : A B Funktionens värde för ett argument a skrivs f (a) Alltså: om a A, så f (a) B. Mängden A kallas funktionens domän. Mängden B kallas funktionens kodomän.
20 20 / 27 Funktioner f : A B Mängden av alla element i B som verkligen kan nås från A kallas funktionens värdemängd. V = {x det finns ett a A och f (a) = x}. Och då: V B.
21 21 / 27 Funktioner, exempel Fibonaccitalen: 0 om n = 0 f (n) = 1 om n = 1 f (n 1) + f (n 2) om n > 1 f : N N (d.v.s. domän och kodomän de naturliga talen) Många tal ingår inte i värdemängden, t.ex. 7.
22 22 / 27 Funktioner, sammansättning Fibonaccifunktionen.
23 23 / 27 Funktioner, sammansättning g(x) = 2x
24 24 / 27 Funktioner, sammansättning Sammansatta
25 25 / 27 Funktioner, sammansättning Resulat.
26 26 / 27 Funktioner, sammansättning Två funktioner f : A B och g : B C kan alltså sättas ihop till en ny funktion h : A C. h(x) = g( f (x)) eller h(x) = (g f )(x)
27 27 / 27 Egenskaper hos funktioner Avser en funktion: f : A B injektiv (olika argument olika värde) om f (a 0 ) = f (a 1 ) implicerar a 0 = a 1, för alla a 0,a 1 A surjektiv (hela kodomänen kan nås) om b B, så finns det ett a A sådant att f (a) = b, för alla b B bijektiv innebär både injektiv och surjektiv (elementen i A och B matchas ett-till-ett)
Relationer och funktioner
Relationer och funktioner Joakim Nivre Uppsala universitet Institutionen för lingvistik och filologi Översikt Relationer: Binära relationer på mängder Mängd-, graf- och matrisnotation Egenskaper hos relationer
Läs merKap. 8 Relationer och funktioner
Begrepp och egenskaper: Kap. 8 elationer och funktioner relation, relationsgraf och matris, sammansatt relation reflexivitet, symmetri, anti-symmetri, transitivitet ekvivalensrelation, partialordning,
Läs merMA2047 Algebra och diskret matematik
MA2047 Algebra och diskret matematik Något om funktioner och relationer Mikael Hindgren 1 oktober 2018 Funktionsbegreppet Exempel 1 f (x) = x 2 + 1, g(x) = x 3 och y = sin x är funktioner. Exempel 2 Kan
Läs merFöreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander)
Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander) Böiers 5.3 Relationer. Vi har definierat en funktion f: A B som en regel som kopplar ihop ett element a A, med ett element
Läs merÖvningshäfte 3: Funktioner och relationer
GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har
Läs mer729G04: Inlämningsuppgift i Diskret matematik
729G04: Inlämningsuppgift i Diskret matematik Instruktioner Dessa uppgifter utgör del av examinationen i kursen 729G04 Programmering och diskret matematik. Uppgifterna ska utföras individuellt och självständigt,
Läs mer729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag
729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag 1 Uppgifter 1.1 Relationer 1. Vi ges mängden A = {p, q, r, s, t}. Är följande mängder relationer på A? Om inte, ge ett exempel som visar vad
Läs merÄNDLIGT OCH OÄNDLIGT AVSNITT 4
VSNITT ÄNDLIGT OCH OÄNDLIGT Är det möjligt att jämföra storleken av olika talmängder? Har det någon mening om man säger att det finns fler irrationella tal än rationella? Är det överhuvudtaget möjligt
Läs merKTH Matematik B.Ek Lösningar tentamen 5B1928 Logik för D (och IT), 29 augusti 2007
KTH Matematik B.Ek Lösningar tentamen 5B1928 Logik för D (och IT), 29 augusti 2007 1) Det handlar om knarröborna A, B och C. A säger: Om C är kung är vi alla det. B säger: A och C är olika sorter. Vad
Läs merExplorativ övning 9 RELATIONER OCH FUNKTIONER
Explorativ övning 9 RELATIONER OCH FUNKTIONER Övningens syfte är att bekanta sig med begreppet relation på en mängd M. Begreppet relation i matematiska sammanhang anknyter till betydelsen av samma ord
Läs mer729G04 - Diskret matematik. Hemuppgift.
729G04 - Diskret matematik. Hemuppgift. 2016-08-31 Instruktioner Dessa uppgifter utgör en del av examinationen i kursen 729G04 Programmering och diskret matematik. Uppgifterna ska utföras individuellt
Läs merUppgifter i TDDC75: Diskreta strukturer Kapitel 8 Ordning och oändlighet
Uppgifter i TDDC75: Diskreta strukturer Kapitel 8 Ordning och oändlighet Mikael Asplund 19 oktober 2016 Uppgifter 1. Avgör om följande relationer utgör partialordningar. Motivera varför eller varför inte.
Läs merDiskret Matematik A för CVI 4p (svenska)
MITTHÖGSKOLAN TFM Tentamen 2004 MAAA98 Diskret Matematik A för CVI 4p (svenska) Skrivtid: 5 timmar Datum: 3 juni 2004 Denna tentamen omfattar 10 frågor, där varje fråga kan ge 12 poäng. Delfrågornas poäng
Läs merRelationer och funktioner
MAAA26 Diskret Matematik för Yrkeshögskoleutbildning-IT Block 11 BLOCK INNEHÅLL Referenser Inledning 1. Relationer 2. Funktioner 3. Övningsuppgifter Assignment 11 & 12 Referenser Relationer och funktioner
Läs merRelationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007
UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 23 oktober 2007 Relationer Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen är
Läs merMängder, funktioner och naturliga tal
Lådprincipen Följande sats framstår som en fullständig självklarhet: Sats (Lådprincipen (pigeon hole principle)). Låt n > m vara naturliga tal. Fördelar man n föremål i m lådor, så kommer åtminstone en
Läs merAlgebra och Diskret Matematik A (svenska)
MITTUNIVERSITETET TFM Tentamen 2005 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 2 november 2005 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal
Läs merAlgebra och Diskret Matematik A (svenska)
MITTUNIVERSITETET TFM Tentamen 2006 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 10 januari 2006 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal
Läs merMITTUNIVERSITETET TFM. Modelltenta Algebra och Diskret Matematik. Skrivtid: 5 timmar. Datum: 1 oktober 2007
MITTUNIVERSITETET TFM Modelltenta 2007 MA014G Algebra och Diskret Matematik Skrivtid: 5 timmar Datum: 1 oktober 2007 Den obligatoriska delen av denna (modell)tenta omfattar 8 frågor, där varje fråga kan
Läs merLösningar till utvalda uppgifter i kapitel 3
Lösningar till utvalda uppgifter i kapitel 3 3.37 (a) Att ` ' är reexiv, antisymmetrisk och transitiv följer direkt av att `den vanliga' är det på N och Z. (b) Följden m n = ( n, n) där n = 0, 1, 2,...
Läs merFilosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I v. 2.0, den 24/4 2013 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet är
Läs merExplorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A
Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT Första delen av övningen handlar om begreppet funktion. Syftet är att bekanta sig med funktionsbegreppet som en parbildning. Vi koncentrerar oss på tre viktiga
Läs merTentamen i TDDC75 Diskreta strukturer , lösningsförslag
Tentamen i TDDC75 Diskreta strukturer 2018-10-23, lösningsförslag 1 1. (a) Sanningstabell för uttrycken p q r p q p r r q r p q 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1
Läs merAlgebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10
Grupper En grupp är ett par (G,*) där G är en mängd och * är en binär operation på G som uppfyller följande villkor: G1 (sluten) x,yϵg så x*yϵg G2 (associativ) x,y,z ϵg (x*y)*z=x*(y*z) G3 (identitet) Det
Läs merDiskret matematik: Övningstentamen 1
Diskret matematik: Övningstentamen 1 1. Bevisa att de reella talen är en icke-uppräknelig mängd.. För två mängder av positiva heltal A och B skriver vi A C B, om det är så att A innehåller ett heltal som
Läs merDagens Teori. Figur 4.1:
Dagens Teori 4.1 Funktioner En funktion är en regel som till varje objekt i en mängd A associerar ett objekt i en annan mängd B Figur 4.1: Första gången vi normalt hör talas om funktioner i matematisk
Läs merUppgifter om funktioner
Uppgifter om funktioner Mikael Forsberg September 27, 2004 1. Med hjälp av uttrycket y = x 2 så definierar vi tre funktioner: f 1 : R x x 2 R, f 2 : R x x 2 R f 3 : R x x 2 R, där R = {x R : x 0} Eftersom
Läs merFilosofisk Logik (FTEA21:4) föreläsningsanteckningar v , den 24/
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar v. 2.1.1, den 24/11 2014 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet
Läs merDiofantiska ekvationer
Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 19. Diofantiska ekvationer Vi börjar med en observation som rör den största gemensamma delaren till
Läs merDiskret matematik, lektion 2
Diskret matematik, lektion Uppgifter med (*) är överkurs, och potentiellt lite klurigare. Ni behöver inte kunna lösa dessa. 1 Uppgifter 1. Låt A = {1,, 3}, B = {a, b}. Vilka element finns med i... a) A
Läs merFilosofisk logik Kapitel 15. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 Robin Stenwall Lunds universitet Dagens upplägg Första ordningens mängdlära Naiv mängdlära Abstraktionsaxiomet (eg. comprehension) Extensionalitetsaxiomet Små mängder Ordnade
Läs merFöreläsningsanteckningar och övningar till logik mängdlära
Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,
Läs merMängder och kardinalitet
UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen
Läs merf(x) = x 1 g(x) = x 2 2x + 3.
Kapitel 1 Uppgifter 1 Heltal 2 Mängder och funktioner 2.1 Betrakta funktionerna f : Z Z och g : Z Z som ges av f(x) = x 1 och Visa att a fg gf; g(x) = x 2 2x + 3. b det finns ett x Z sådant att fg(x) =
Läs merMITTUNIVERSITETET TFM. Tentamen Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar. Datum: 9 januari 2007
MITTUNIVERSITETET TFM Tentamen 2007 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 9 januari 2007 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal
Läs mer3 Relationer och funktioner
UPPSALA UNIVERSITET Föreläsningsanteckningar Institutionen för lingvistik och filologi Grundläggande datalogi II Mats Dahllöf http://stp.ling.uu.se/~matsd/uv/uv04/gd2/ Augusti 2004 3 Relationer och funktioner
Läs merOm relationer och algebraiska
Om relationer och algebraiska strukturer Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning Även i analysen behöver man en del algebraiska begrepp. I den här artikeln definierar vi
Läs merMS-A0409 Grundkurs i diskret matematik I
MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte
Läs merMS-A0409 Grundkurs i diskret matematik I
MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer
Läs merGrundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0.
5B2710, lekt 4, HT07 Konstruktion av de rationella talen Q (AEE 2.3) Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är
Läs merLösningar till Algebra och kombinatorik
Lösningar till Algebra och kombinatorik 091214 1. Av a 0 = 1 och rekursionsformeln får vi successivt att a 1 = 1 + a 0 1 a 0 = 1 + 1 1 1 = 2, a 2 = 1 + a 1 1 a 0 + 1 a 1 = 1 + 2 1 + 1 = 4, 2 a 3 = 1 +
Läs mer18 juni 2007, 240 minuter Inga hjälpmedel, förutom skrivmateriel. Betygsgränser: 15p. för Godkänd, 24p. för Väl Godkänd (av maximalt 36p.
HH / Georgi Tchilikov DISKRET MATEMATIK,5p. 8 juni 007, 40 minuter Inga hjälpmedel, förutom skrivmateriel. Betygsgränser: 5p. för Godkänd, 4p. för Väl Godkänd (av maximalt 36p.). Förenkla (så mycket som
Läs merExempel. Komplexkonjugerade rotpar
TATM79: Föreläsning 4 Polynomekvationer och funktioner Johan Thim 2 augusti 2016 1 Polynomekvationer Vi börjar med att upprepa definitionen av ett polynom. Polynom Definition. Ett polynom p(z) är ett uttryck
Läs merDiskret matematik: Övningstentamen 4
Diskret matematik: Övningstentamen 22. Beskriv alla relationer, som är såväl ekvivalensrelationer som partiella ordningar. Är någon välbekant relation sådan? 23. Ange alla heltalslösningar till ekvationen
Läs merTentamen i TDDC75 Diskreta strukturer
Tentamen i TDDC75 Diskreta strukturer 2017-01-05, Lösningsförslag (med reservation för eventuella fel) 1. Betrakta följande satslogiska uttryck: (p q) (q p) (a) Visa genom naturlig deduktion att uttrycket
Läs merσ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56).
MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Övningstenta i Algebra och Kombinatorik 7,5 hp 2015-11-24 Exempel på hur tentan skulle kunna se ut om alla uppgifter var från
Läs merDefinitionsmängd, urbild, domän
5B1493, lekt 5, HT06 Funktioner Definition av begreppet Definition: Låt X och Y vara två mängder. En funktion f av typ X Y är detsamma som en delmängd av X Y, sådan att 1. Om (x, y) och (x, z) f, så är
Läs merOm modeller och teorier
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om modeller och teorier Hittills i kursen har vi studerat flera olika typer av matematiska strukturer, bl.a. (partial)ordnade
Läs merLösningar till Algebra och kombinatorik
Lösningar till Algebra och kombinatorik 090520 1. Av a 0 = 0, a 1 = 1 och rekursionsformeln får vi successivt att a 2 = 1 4 a 1 a 0 + 3 2 = 1 4 1 0 + 32 = 4, a 3 = 1 4 a 2 a 1 + 3 2 = 1 4 4 1 + 32 = 9,
Läs merf(x) = x 1 g(x) = x 2 2x + 3.
Kapitel 1 Uppgifter 1 Heltal 2 Mängder och funktioner 2.1 Betrakta funktionerna f : Z Z och g : Z Z som ges av f(x) = x 1 och Visa att g(x) = x 2 2x + 3. a fg gf. b det finns ett x Z sådant att fg(x) =
Läs merTräning i bevisföring
KTHs Matematiska Cirkel Träning i bevisföring Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse 1 Mängdlära Här kommer fyra tips på hur man visar
Läs merFunktioner och kombinatoriska tillämpningar. Mars
Mars 27 2006 Lådprincip Om kn + 1 eller fler kulor skall läggas i n lådor då måste någon låda innehålla minst k + 1 kulor. Exempel I en liksidig triangel med sidan 1 väljes 5 punkter. Visa att det finns
Läs merMatematisk verktygslåda: formell logik och mängdlära
Matematisk verktygslåda: formell logik och mängdlära Tomas Malm Detta dokument utgör ett litet matematiskt lexikon som rymmer den terminologi och notation ur formell logik och mängdlära som kommer till
Läs mer{ } { } En mängd är en samling objekt A = 0, 1. Ex: Mängder grundbegrepp 5 C. Olof M C = { 7, 1, 5} M = { Ce, Joa, Ch, Je, Id, Jon, Pe}
Mängder grundbegrepp En mängd är en samling objekt Ex: { } { } A = 0, 1 B = 0 C = { 7, 1, 5} tomma mängden (har inga element) D = { 1, 2, 3,, 10} M = { Ce, Joa, Ch, Je, Id, Jon, Pe} kallas element i mängden
Läs merLösningar till utvalda uppgifter i kapitel 2
Lösningar till utvalda uppgifter i kapitel 2 2.15 Ett Venn-diagram över situationen ser ut så här: 10 5 A B C För att få ihop 30 element totalt så måste de tre okända fälten innehålla exakt 15 element
Läs merIX Diskret matematik
Lösning till tentamen 101213 IX1500 - Diskret matematik 1 Betrakta det finska ordet m a t e m a t i i k k a. Hur många arrangemang av bokstäverna i detta ord innehåller varken orden matematik eller matte?
Läs merAlgebra och kombinatorik 10/ Föreläsning 4. Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Sats: S n =n!
Permutationer Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Mängden permutationer av N n för n N är S n (S 0 är mängden av permutationer av ) Sats: S n =n! Ex S 3 =3! Låt
Läs merFöreläsningsanteckningar S6 Grafteori
HT 009 Tobias Wrigstad Introduktion till grafteori På den här föreläsningen tar vi upp elementär grafteori och försöker introducera termer och begrepp som blir viktigare i senare kurser. Subjektivt tycker
Läs merDefinition Låt n vara ett positivt heltal. Heltalen a och b sägs vara kongruenta modulo n om n är en faktor i a-b eller med andra ord om. n (a-b).
Block 4 Algebra och Diskret Matematik A BLOCK INNEHÅLL Referenser Inledning 1. Kongruens modulo n 2. Z n -- heltalen modulo n 3. Ekvationer modulo n 4. Relationer 5. Funktioner Golv och tak funktionerna
Läs merOm ordinaltal och kardinaltal
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om ordinaltal och kardinaltal (Ännu ofullständig version) Mängdteorin kan ses som grunden för all matematik Här skall
Läs merMatematik, KTH Diskret matematik för D3, ht 2014 B.Ek. Några extra exempel
Matematik, KTH Diskret matematik för D3, ht 2014 B.Ek Övning 1, må 8 september Några extra exempel 1. Minns fibonaccitalen F n : 0, 1, 1, 2, 3, 5, 8, 13,..., rekursivt definierade av { F 0 = 0, F 1 = 1.
Läs merRELATIONER OCH FUNKTIONER
RELATIONER OCH FUNKTIONER 1 ORDNADE LISTOR (n-tipplar) Ordningen i en mängd spelar ingen roll Exempelvis {1,,3}={3,1,}={1,3,} För att beskriva listor med objekt där ordningen är viktigt använder vi rundparenteser
Läs merTATM79: Föreläsning 4 Funktioner
TATM79: Föreläsning 4 Funktioner Johan Thim augusti 08 Funktioner Vad är egentligen en funktion? Definition. En funktion f är en regel som till varje punkt i en definitionsmängd D f tilldelar precis ett
Läs merKapitel 4. Funktioner. 4.1 Definitioner
Kapitel 4 Funktioner I det här kapitlet kommer vi att undersöka funktionsbegreppet. I de första sektionerna genomgås definitionen av begreppet funktion och vissa egenskaper som funktioner har. I slutet
Läs merEn bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element.
Inversa unktion BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en unktion : A B Vi har otast
Läs merSF1625 Envariabelanalys
Föreläsning 7 Institutionen för matematik KTH 12 september 2016 Injektiva funktioner En funktion är en regel som till varje tal i definitionsmängden ordnar ett bestämt tal i värdemängden. Injektiva funktioner
Läs merSådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B).
BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en funktion f : A B. Vi har oftast krav
Läs merTDP015: Lektion 5 - Svar
TDP015: Lektion 5 - Svar 11 maj 015 1. Huvudsaken här är att det spelar roll vilket initialvärde vi har. Nedan har jag valt beräkningar som slutar när f(x) < ɛ, där ɛ 10 10. Detta behöver ni såklart inte
Läs mer12. Relationer och funktioner
Objektorienterad modellering och diskreta strukturer 12. Relationer och funktioner Sven Gestegård Robertz Institutionen för datavetenskap, LTH 2013 Laboration 4 Syntaxanalys Grammatik för (vår delmängd
Läs mer:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och
KTH Matematik B.Ek SF1642 LOGIK för D och IT, övningarna vt08 Exempel från gamla tentor (i 5B1928) Ö1, kungar och narrar 23.5-01:1a) Det är marknadsdag på Knarrön och många invånare från den närbelägna
Läs merLösningar till utvalda uppgifter i kapitel 5
Lösningar till utvalda uppgifter i kapitel 5 5.3. Vi använder Euklides algoritm och får 4485 = 1 3042 + 1443 3042 = 2 1443 + 156 1443 = 9 156 + 39 156 = 4 39. Alltså är sgd(3042, 4485) = 39. Om vi startar
Läs merAlgebra och kryptografi
VK Algebra och kryptografi Tomas Ekholm Niklas Eriksen Magnus Rosenlund Institutionen för matematik, 2002 Grekiska alfabetet alfa A α iota I ι rho P ρ beta B β kappa K κ sigma Σ σ gamma Γ γ lambda Λ λ
Läs merAlgebra och Diskret Matematik A (svenska)
MITTUNIVERSITETET TFM Tentamen 2007 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 7 juni 2007 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal
Läs mer12. Relationer och funktioner
Objektorienterad modellering och diskreta strukturer 12. Relationer och funktioner Sven Gestegård Robertz Datavetenskap, LTH 2014 Laboration 4 Syntaxanalys Grammatik för (vår delmängd av) satslogiska uttryck
Läs mer2MA105 Algebraiska strukturer I. Per-Anders Svensson
2MA105 Algebraiska strukturer I Per-Anders Svensson Föreläsning 4 Innehåll Bijektiva avbildningar en repetition Permutationsgrupper Permutationer skrivna som produkter av cykler Jämna och udda permutationer
Läs merKTH Matematik Jan Kristoferson Problemsamling. till repetitionskurs i LOGIK (5B1928) för D och IT
KTH Matematik Jan Kristoferson 2006 Problemsamling till repetitionskurs i LOGIK (5B1928) för D och IT Följande uppgifter är huvudsakligen hämtade från A-delen av äldre tentor och från äldre kontrollskrivningar.
Läs merEn bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element.
BIJEKTION, INJEKTION, SURJEKTION NUMRERBARA (eller UPPRÄKNELIGA) MÄNGDER Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs
Läs mer729G04: Inlämningsuppgift Diskret matematik
729G04: Inlämningsuppgift Diskret matematik Instruktioner Dessa uppgifter utgör del av examinationen i kursen 729G04 Programmering och diskret matematik. Uppgifterna ska utföras individuellt och självständigt,
Läs merFilosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Dagens upplägg Antalet element i en mängd Kardinalitet Humes princip Cantors teorem Den universella mängden Några mängdteoretiska paradoxer
Läs merMängder. 1 Mängder. Grunder i matematik och logik (2015) 1.1 Grundläggande begrepp. 1.2 Beskrivningar av mängder. Marco Kuhlmann
Marco Kuhlmann 1 Diskret matematik handlar om diskreta strukturer. I denna lektion kommer vi att behandla den mest elementära diskreta strukturen, som alla andra diskreta strukturer bygger på: mängden.
Läs mer12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI.
75 12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. I slutet av 1800-talet uppfann Cantor mängdteorin som ett hjälpmedel vid sitt arbete med integrationsteori. Med en mängd menade Cantor "vilken som
Läs merSpecialkurs i matematik 2007
Matematiska institutionen Specialkurs i matematik 2007 Föreläsningsanteckningar och övningar UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet
Läs merUppsala universitet Institutionen för lingvistik och filologi. Grundbegrepp: Mängder och element Delmängder
Mängder Joakim Nivre Uppsala universitet Institutionen för lingvistik och filologi Översikt Grundbegrepp: Mängder och element Delmängder Operationer på mängder: Union och snitt Differens och komplement
Läs merKTHs Matematiska Cirkel. Reella tal. Joakim Arnlind Tomas Ekholm Andreas Enblom
KTHs Matematiska Cirkel Reella tal Joakim Arnlind Tomas Ekholm Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 1 Mängdlära 7 1.1 Mängder...............................
Läs merLösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00
Lösningar för tenta i TMV200 Diskret matematik 2018-08-31 kl 1:00 18:00 1 Om argumentet inte är giltigt går det att hitta ett motexempel, dvs en uppsättning sanningsvärden för vilka alla hypoteserna är
Läs mer1 Föreläsning Implikationer, om och endast om
1 Föreläsning 1 Temat för dagen, och för dessa anteckningar, är att introducera lite matematisk terminologi och notation, vissa grundkoncept som kommer att vara genomgående i kursen. I grundskolan presenteras
Läs mer729G04 - Diskret matematik. Lektion 4
729G04 - Diskret matematik. Lektion 4 1 Lösningsförslag 1.1 Vägar, stigar och annat 1. Vi ges den oriktade grafen G=(V,E), V = {a, b, c, d, f, g, h, i, j}, E = {{a, b}, {b, c}, {a, c}, {f, g}, {c, d},
Läs meravbildning En avbildning är i matematiskt språk i regel detsamma som en funktion.
Ordlista 1 1 Analysens grunder avbildning En avbildning är i matematiskt språk i regel detsamma som en funktion. Bolzano-Weierstrassegenskapen En delmängd M i ett metriskt rum har Bolzano- Weierstrass-egenskapen
Läs merAlgebra och kryptografi Facit till udda uppgifter
VK Algebra och kryptografi Facit till udda uppgifter Tomas Ekholm Niklas Eriksen Magnus Rosenlund Matematiska institutionen, 2002 48 Grupper. Lösning 1.1. Vi väljer att studera varje element i G H för
Läs merMatematik för språkteknologer
1 / 21 Matematik för språkteknologer 3.3 Kontext-fria grammatiker (CFG) Mats Dahllöf Institutionen för lingvistik och filologi Februari 2014 2 / 21 Dagens saker Kontext-fria grammatiker (CFG). CFG kan
Läs merDatorlingvistisk grammatik
Datorlingvistisk grammatik Kontextfri grammatik, m.m. http://stp.lingfil.uu.se/~matsd/uv/uv11/dg/ Mats Dahllöf Institutionen för lingvistik och filologi Februari 2011 Denna serie Formella grammatiker,
Läs merFöreläsning 5: Kardinalitet. Funktioners tillväxt
Föreläsning 5: Kardinalitet. Funktioners tillväxt A = B om det finns en bijektion från A till B. Om A har samma kardinalitet som en delmängd av naturliga talen, N, så är A uppräknelig. Om A = N så är A
Läs merModul 1 Mål och Sammanfattning
Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2016-2017 Lars Filipsson Modul 1 Mål och Sammanfattning 1. Reella tal. 1. MÅL FÖR MODUL 1 Känna till talsystememet och kunna använda notation
Läs merTentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl
1 Matematiska Institutionen KTH Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl 14.00-19.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel är tillåtna
Läs merLogisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1
Läs merFilosofisk logik Kapitel 19. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 19 Robin Stenwall Lunds universitet Dagens upplägg Gödels fullständighetsteorem Sundhet och fullständighet Fullständighetsbeviset Vittneskonstanter Henkinteorin Eliminationsteoremet
Läs mer1.1. Fördjupning: Jämförelse av oändliga mängder
Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta
Läs merEkvivalensrelationer
Abstrakt datatyp för disjunkta mängder Vi skall presentera en abstrakt datatyp för att representera disjunkta mängder Kan bl.a. användas för att lösa ekvivalensproblemet avgör om två godtyckliga element
Läs merLösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 22 augusti, 2001
Institutionen för matematik, KTH Mats Boij Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 22 augusti, 2001 1. Ange kvot och rest vid division av 5BE med 1F där båda talen är angivna i hexadecimal
Läs mer729G04 - Hemuppgift, Diskret matematik
79G04 - Hemuppgift, Diskret matematik 5 oktober 015 Dessa uppgifter är en del av examinationen i kursen 79G04 Programmering och diskret matematik. Uppgifterna ska utföras individuellt och självständigt.
Läs mer