Secret sharing - om at dele en hemmelighed Matematiklærerdag 2017

Størrelse: px
Starte visningen fra side:

Download "Secret sharing - om at dele en hemmelighed Matematiklærerdag 2017"

Transkript

1 Matematiklærerdag 2017 Institut for Matematik, Aarhus universitet 24. marts 2017

2 Resumé Secret sharing henviser til metoder til fordeling af en hemmelighed blandt en gruppe af deltagere, som hver især får tildelt en andel (et lod, en share) af hemmeligheden Hemmeligheden kan rekonstrueres, når et tilstrækkeligt antal af andele (lodder, shares) kombineres, hvorimod færre andele (lodder, shares) ikke giver nogen viden om hemmeligheden Secret sharing blev opfundet uafhængigt af Adi Shamir og George Blakley i matematisk bygges på evaluation og interpolation af polynomier, og ville kunne behandles i gymnasieskolen

3 To deler en hemmelighed To vil dele en hemmelighed s (et tal), hver part får et lod (et tal). Krav: Begge lodder skal være til stede for at afsløre hemmeligheden. Lad a 0 = s, vælg a 1 tilfældigt og lad f (x) = a 0 + a 1 x, hvis graf er en ret linie Vælg forskellige x 1, x 2 tilfældigt og evaluer y 1 = f (x 1 ), y 2 = f (x 2 ) og få de 2 lodder Er 2 lodder kendt, er der en entydig bestemt ret linie igennem (x 1, y 1 ) og (x 2, y 2 ), hvorfor hemmelighed s = a 0 er bestemt En derimod kun 1 lod kendt, f.eks. (x 1, y 1 ), er der mange linier igennem dette punkt og skæringen med y-aksen b 0 kan være, hvad det skal være

4 y f (x) = a 0 + a 1 x b 0 y 2 y 1 (x 2, y 2 = f (x 2 )) (x 1, y 1 = f (x 1 )) s = a 0 x 1 x 2 x f (x) = b 0 + b 1 x

5 Notation Som altid er K er vilkårligt legeme, eksempelvis Q, R, C eller restklasselegemet Z/pZ (p et primtal). Blot skal vi i K kunne addere, multiplicere og dividere (med elementer forskellige fra nul), samt regne associativt, kommutativt og med parenteser (distributivt). At Z/pZ (p et primtal) er et legem, se [Hansen, 2012]. Helt central er Euklids udvidede algoritme.

6 Sharmir secret sharing, se [Shamir, 1979] En hemmelighed s K deles i n lodder, så vilkårlige t af disse bestemmer s, hvorimod færre end t lodder ikke giver nogen viden: a 0 = s (hemmeligheden) Vælg x 1,..., x n K parvis forskellige Vælg tilfældige a 1,... a t 1 K og konstruere polynomiet f (X ) = a 0 + a 1 x + + a t 1 x t 1 af grad mindre end eller lig med t 1 De n lodder er evalueringerne y i = f (x i ), i = 1,..., n Polynomiet f (x) og dermed a 0 = s er entydigt bestemt af vilkårlige t af evalueringerne y i = f (x i ), i = 1,..., n. Det er ikke tilfældet, hvis færre end t evalueringer er kendte.

7 y s = 100 y i lod x i spiller (x i, y i ) x f (x) = 1 x x x + 100

8 n=7 lodder, hvoraf vilkårlige t=4 bestemmer hemmeligheden Example En hemmelighed s = 100 deles i n = 7 lodder, så vilkårlige t = 4 bestemmer s = 100, hvorimod færre ikke giver nogen viden: a 0 = s = 100 (hemmeligheden) Vælg x 1 = 1, x 2 = 2, x 3 = 3, x 4 = 4, x 5 = 5, x 6 = 6, x 7 = 7 Vælg (tilfældige) a 1 = 3, a 2 = 2, a 3 = 1 og lad f (X ) = X + 2X 2 X 3 af grad 3 (mindre end eller lig med 3 = t 1) De 7 lodder: f (1) = 104, f (2) = 106, f (3) = 100, f (4) = 80, f (5) = 40, f (6) = 26, f (7) = 124 Polynomiet f (X ) og dermed a 0 = s er entydigt bestemt af vilkårlige 4 lodder

9 Lagrange polynomiet Som altid er K er vilkårligt legeme, eksempelvis Q, R, C eller Z\pZ (p et primtal). Blot skal vi kunne addere, multiplicere og dividere (med elementer forskellige fra nul), samt regne associativt, kommutativt og med parenteser (distributivt). Sætning Lad x 1,..., x t K være parvis forskellige og lad y 1,..., y t K være vilkårlige værdier. Der findes et entydigt bestemt polynomium f (x) med koefficienter i K med grad f (x) t 1, så y i = f (x i ) for i = 1,..., t. (1) Polynomiet kaldes Lagrange polynomiet.

10 Bevis. Entydighed: Lad f 1 (x) og f 2 (x) være 2 polynomier som i (1). Dermed er f 1 (x i ) f 2 (x i ) = 0 for i = 1,..., t. Dermed har polynomiet f 1 (x) f 2 (x), der har grad mindre end eller lig med t 1, mindst t rødder. Det er kun muligt, for nul-polynomiet, hvorfor f 1 (x) og f 2 (x) er identiske.

11 Bevis. Eksistens: Lagrange basispolynomiet l j (x) := 1 m t m j x x m x j x m, j = 1,..., t har grad t 1, evaluerer til 0 i x = x i (i j) og 1 i x = x j. Polynomiet t L(x) := y j l j (x) j=1 har grad mindre end eller lig med t 1 og evaluerer som ønsket.

12 Example De første 4 lodder i det tidligere eksempel var f (1) = 104, f (2) = 106, f (3) = 100, f (4) = 80.For at bestemme hemmeligheden ud fra disse, beregner vi de 4 Lagrange basispolynomier l 1 (x), l 2 (x), l 3 (x) og l 4 (x). Det første bliver l 1 (x) = x x x = 1 6 x x x + 4 Lagrange interpolationspolynomiet bliver 104 l 1 (x) l 2 (x) l 3 (x) + 80 l 4 (x) = x x x + 100, og den delte hemmelighed er bestemt til at være 100.

13 Shamir Secret Sharing og Lagrange interpolation Kender vi t eller flere af de n lodder findes et entydigt bestemt Lagrange interpolationspolynomium af grad mindre end eller lig med t 1. Hemmeligheden s er bestemt Beviset giver en metode til at bestemme Lagrange interpolationspolynomiet u lodder (u < t) siger intet om hemmeligheden s. Lad s 1 være en vilkårlig. Der findes et Lagrange interpolationspolynomium af grad mindre end eller lig med u t 1 igennem de u oprindelige lodder og loddet (0, s 1 )

14 Let udregning af Lagrange polynomiet - Szegö-metoden se [Szeg o, 1975]. π(x) = (x x 1 )(x x 2 ) (x x t ) Ved formel differentation, hvor produktreglen for differentation stadig gælder, fås ( ) d t dx π(x) = (x x m ) π (x j ) = i=1 Lagrange basispolynomiet bliver l j (x) = 1 m t m i 0 m t m j (x j x m ) π(x) (x x j )π (x j )

15 SAGE - ( Example SAGE - koden nedenfor bestemmer ved hjælp af Szegö-metoden udledt ovenfor Lagrange interpolationspolynomiet i vort eksempel. sage: xs = [1,2,3,4] sage: ys = [104, 106, 100, 80] sage: pi(x) = prod(x-i for i in xs); pi(x) sage: pid(x) = diff(pi(x),x); sage: P(x) = sum(pi(x)/(x-i)/pid(i)*j for (i,j) in zip(xs,ys)) sage: P(x).collect(x)

16 TI-nspire CAS calculator Example Koden nedenfor bestemmer ved hjælp af Szegö-metoden udledt ovenfor Lagrange interpolationspolynomiet i vort eksempel. t := 4 xs := 1, 2, 3, 4 ys := 104, 106, 100, 80 t Define q(x) = (x xs[i]) ( i=1 ) d qs := seq dx (q(x)) x = xs[i], i, 1, t Define L(x) = t ( i=1 q(x) (x xs[i]) qs[i] ys[i] )

17 Lineær algebra Et polynomium af grad mindre end eller lig med t 1 har t koefficienter a i K. f (x) = a 0 + a 1 x + + a t 1 x t 1 t lodder er evalueringerne y i = f (x i ), i = 1,..., t og giver anledning til t lineære ligninger i de t ubekendte koefficienter. y i = a 0 + a 1 x i + + a t 1 x t 1 i Ligningerne kan løses da deres antal er mindre end lig med antallet af variable. Dermed kan f (x) og hemmeligheden bestemmes. Har vi kun u lodder (u < t ), får vi u lineære ligninger, der er færre end antallet af variable, og dermed uendelig mange løsninger til ligningssystemmet. Se f.eks. [Nielsen & Salomonsen, 2011].

18 Hansen, Johan P Tal og mængder. Begreber, metoder og resultater. Aarhus: Aarhus Universitetsforlag. Nielsen, Holger Andreas, & Salomonsen, Hans Anton Lineær algebra via eksempler. Aarhus: Aarhus Universitetsforlag. Shamir, Adi How to share a secret. Comm. ACM, 22(11), Szeg o, Gábor Orthogonal polynomials. Fourth edn. American Mathematical Society, Providence, R.I. American Mathematical Society, Colloquium Publications, Vol. XXIII.

Secret Sharing. Olav Geil Institut for Matematiske Fag Aalborg Universitet email: olav@math.aau.dk URL: http://www.math.aau.dk/ olav.

Secret Sharing. Olav Geil Institut for Matematiske Fag Aalborg Universitet email: olav@math.aau.dk URL: http://www.math.aau.dk/ olav. 1 Læsevejledning Secret Sharing Olav Geil Institut for Matematiske Fag Aalborg Universitet email: olav@math.aau.dk URL: http://www.math.aau.dk/ olav September 2006 Nærværende note er tænkt som et oplæg

Læs mere

Opgave 1 Regning med rest

Opgave 1 Regning med rest Den digitale signatur - anvendt talteori og kryptologi Opgave 1 Regning med rest Den positive rest, man får, når et helt tal a divideres med et naturligt tal n, betegnes rest(a,n ) Hvis r = rest(a,n) kan

Læs mere

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning Chapter 3 Modulpakke 3: Egenværdier 3.1 Indledning En vektor v har som bekendt både størrelse og retning. Hvis man ganger vektoren fra højre på en kvadratisk matrix A bliver resultatet en ny vektor. Hvis

Læs mere

Fejlkorrigerende koder, secret sharing (og kryptografi)

Fejlkorrigerende koder, secret sharing (og kryptografi) Fejlkorrigerende koder, secret sharing (og kryptografi) Olav Geil Afdeling for Matematiske Fag Aalborg Universitet Møde for Matematiklærere i Viborg og Ringkøbing amter 7. november, 2006 Oversigt Fejlkorrigerende

Læs mere

Matematisk modellering og numeriske metoder. Lektion 16

Matematisk modellering og numeriske metoder. Lektion 16 Matematisk modellering og numeriske metoder Lektion 16 Morten Grud Rasmussen 6. november, 2013 1 Interpolation [Bogens afsnit 19.3 side 805] 1.1 Interpolationspolynomier Enhver kontinuert funktion f på

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober 2017 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne de små opgaver i afsnittene 1 5 i løbet af de første 4 halve dage. Dernæst tilføjes

Læs mere

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier Noter om polynomier, Kirsten Rosenkilde, Marts 2006 1 Polynomier Disse noter giver en kort introduktion til polynomier, og de fleste sætninger nævnes uden bevis. Undervejs er der forholdsvis nemme opgaver,

Læs mere

Projekt 3.5 faktorisering af polynomier

Projekt 3.5 faktorisering af polynomier Projekt 3.5 faktorisering af polynomier Hvilke hele tal går op i tallet 60? Det kan vi få svar på ved at skrive 60 som et produkt af sine primtal: 60 3 5 Divisorerne i 60 er lige præcis de tal, der kan

Læs mere

Foredrag i Eulers Venner 30. nov. 2004

Foredrag i Eulers Venner 30. nov. 2004 BSD-prosper.tex Birch og Swinnerton-Dyer formodningen Johan P. Hansen 26/11/2004 13:34 p. 1/20 Birch og Swinnerton-Dyer formodningen Foredrag i Eulers Venner 30. nov. 2004 Johan P. Hansen matjph@imf.au.dk

Læs mere

Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet

Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet 3. april 2009 1 Kryptering med offentlige nøgler Indtil midt i 1970 erne troede næsten alle, der beskæftigede sig

Læs mere

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå Polynomier Kort gennemgang af polynomier og deres asdfghjklæøzxcvbnmqwertyuiopåasd

Læs mere

Fejlkorligerende køder Fejlkorrigerende koder

Fejlkorligerende køder Fejlkorrigerende koder Fejlkorligerende køder Fejlkorrigerende koder Olav Geil Skal man sende en fødselsdagsgave til fætter Børge, så pakker man den godt ind i håb om, at kun indpakningen er beskadiget ved modtagelsen. Noget

Læs mere

Primtal - hvor mange, hvordan og hvorfor?

Primtal - hvor mange, hvordan og hvorfor? Johan P. Hansen 1 1 Institut for Matematiske Fag, Aarhus Universitet Gult foredrag, EULERs Venner, oktober 2009 Disposition 1 EUKLIDs sætning. Der er uendelig mange primtal! EUKLIDs bevis Bevis baseret

Læs mere

Matematik for økonomer 3. semester

Matematik for økonomer 3. semester Matematik for økonomer 3. semester cand.oecon. studiet, 3. semester Planchesæt 2 - Forelæsning 3 Esben Høg Aalborg Universitet 10. september 2009 Institut for Matematiske Fag Aalborg Universitet Esben

Læs mere

Svar på opgave 336 (Januar 2017)

Svar på opgave 336 (Januar 2017) Svar på opgave 6 (Januar 07) Opgave: De komplekse tal a, b og c opfylder ligningssystemet Vis, at a, b og c er reelle. (a + b)(a + c) = b (b + c)(b + a) = c (c + a)(c + b) = a. Besvarelse:. metode Lad

Læs mere

Projekt 7.9 Euklids algoritme, primtal og primiske tal

Projekt 7.9 Euklids algoritme, primtal og primiske tal Projekter: Kapitel 7 Projekt 79 Euklids algoritme, primtal og primiske tal Projekt 79 Euklids algoritme, primtal og primiske tal Projektet giver et kig ind i metodee i modee talteori Det kan udbygges med

Læs mere

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6 Indhold 1 Polynomier 2 Polynomier 2 Polynomiumsdivision 4 3 Algebraens fundamentalsætning og rødder 6 4 Koefficienter 8 5 Polynomier med heltallige koefficienter 9 6 Mere om polynomier med heltallige koefficienter

Læs mere

Ligningssystemer - nogle konklusioner efter miniprojektet

Ligningssystemer - nogle konklusioner efter miniprojektet Ligningssystemer - nogle konklusioner efter miniprojektet Ligningssystemet Ax = 0 har mere end en løsning (uendelig mange) hvis og kun hvis nullity(a) 0 Løsningerne til et konsistent ligningssystem Ax

Læs mere

Fordybelsesprojekt Matematik 2, forår 2005 Potensrækker

Fordybelsesprojekt Matematik 2, forår 2005 Potensrækker Fordybelsesprojekt Matematik 2, forår 2005 Potensrækker Arne Jensen 7. 11. marts 2005 1 Indledning I forbindelse med kurset i Reelle og Komplekse Funktioner afholdes et fordybelsesprojekt med et omfang

Læs mere

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til.

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til. Polynomier Polynomier Polynomium Et polynomium P(x) = a n x n + a n x n +... + a x + a 0 Disse noter giver en introduktion til polynomier, centrale sætninger om polynomiumsdivision, rødder og koefficienter

Læs mere

Note om endelige legemer

Note om endelige legemer Note om endelige legemer Leif K. Jørgensen 1 Legemer af primtalsorden Vi har i Lauritzen afsnit 2.1.1 set følgende: Proposition 1 Lad n være et positivt helt tal. Vi kan da definere en komposition + på

Læs mere

Mat 6 projekt Projektoplæg 22. januar 2013

Mat 6 projekt Projektoplæg 22. januar 2013 1 Generelt om projektet For nogle af de studerende er 6. semester det semester hvor man skal skrive bachelorprojekt. Andre har allerede skrevet bachelorprojekt i et andet fag. For dem er det et almindeligt

Læs mere

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå Kort gennemgang af polynomier og deres egenskaber. asdfghjklæøzxcvbnmqwertyuiopåasd

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne en mængde af opgaver, som tilsammen dækker 100 point. De små opgaver giver hver 5 point,

Læs mere

DesignMat Den komplekse eksponentialfunktion og polynomier

DesignMat Den komplekse eksponentialfunktion og polynomier DesignMat Den komplekse eksponentialfunktion og polynomier Preben Alsholm Uge 8 Forår 010 1 Den komplekse eksponentialfunktion 1.1 Definitionen Definitionen Den velkendte eksponentialfunktion x e x vil

Læs mere

DesignMat Uge 1 Repetition af forårets stof

DesignMat Uge 1 Repetition af forårets stof DesignMat Uge 1 Repetition af forårets stof Preben Alsholm Efterår 008 01 Lineært ligningssystem Lineært ligningssystem Et lineært ligningssystem: a 11 x 1 + a 1 x + + a 1n x n = b 1 a 1 x 1 + a x + +

Læs mere

Store Uløste Problemer i Matematikken. Lisbeth Fajstrup Aalborg Universitet

Store Uløste Problemer i Matematikken. Lisbeth Fajstrup Aalborg Universitet Store Uløste Problemer i Matematikken. Lisbeth Fajstrup Aalborg Universitet Oversigt Hvad er et stort problem i matematik Eksempler fra 1900 og fra 2000 Problemer om tal perfekte tal, primtal. Meget store

Læs mere

Bedste rette linje ved mindste kvadraters metode

Bedste rette linje ved mindste kvadraters metode 1/9 Bedste rette linje ved mindste kvadraters metode - fra www.borgeleo.dk Figur 1: Tre datapunkter og den bedste rette linje bestemt af A, B og C Målepunkter og bedste rette linje I ovenstående koordinatsystem

Læs mere

Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet

Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet Note omkring RSA kryptering. Gert Læssøe Mikkelsen Datalogisk institut Aarhus Universitet 24. august 2009 1 Kryptering med offentlige nøgler Indtil midt i 1970 erne troede næsten alle, der beskæftigede

Læs mere

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2 Affine rum I denne note behandles kun rum over R. Alt kan imidlertid gennemføres på samme måde over C eller ethvert andet legeme. Et underrum U R n er karakteriseret ved at det er en delmængde som er lukket

Læs mere

1 Sætninger om hovedidealområder (PID) og faktorielle

1 Sætninger om hovedidealområder (PID) og faktorielle 1 Sætninger om hovedidealområder (PID) og faktorielle ringe (UFD) 1. Introducér ideal, hovedideal 2. I kommutativt integritetsområde R introduceres primelement, irreducibelt element, association 3. Begrebet

Læs mere

Michel Mandix (2014) INDHOLDSFORTEGNELSE:... 2

Michel Mandix (2014) INDHOLDSFORTEGNELSE:... 2 MATEMATIK NOTAT 02 - ARITMETIK & ALGEBRA AF: CAND. POLYT. MICHEL MANDIX SIDSTE REVISION: AUGUST 2017 Aritmetik og Algebra Side 2 af 16 Indholdsfortegnelse: INDHOLDSFORTEGNELSE:... 2 ARITMETIK... 3 REGNEARTERNE...

Læs mere

Start-mat. for stx og hf Karsten Juul

Start-mat. for stx og hf Karsten Juul Start-mat for stx og hf 0,6 5, 9 2017 Karsten Juul Start-mat for stx og hf 2017 Karsten Juul 1/8-2017 (7/8-2017) Nyeste version af dette hæfte kan downloades fra http://mat1.dk/noter.htm. Hæftet må benyttes

Læs mere

Anvendelse af matematik til konkrete beregninger

Anvendelse af matematik til konkrete beregninger Anvendelse af matematik til konkrete beregninger ved J.B. Sand, Datalogisk Institut, KU Praktisk/teoretisk PROBLEM BEREGNINGSPROBLEM og INDDATA LØSNINGSMETODE EVT. LØSNING REGNEMASKINE Når man vil regne

Læs mere

Kursusgang 3 Matrixalgebra fortsat

Kursusgang 3 Matrixalgebra fortsat Kursusgang 3 fortsat - froberg@math.aau.dk http://people.math.aau.dk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 12. september 2008 1/31 Nødvendige betingelser En nødvendig betingelse

Læs mere

Algebra - Teori og problemløsning

Algebra - Teori og problemløsning Algebra - Teori og problemløsning, januar 05, Kirsten Rosenkilde. Algebra - Teori og problemløsning Kapitel -3 giver en grundlæggende introduktion til at omskrive udtryk, faktorisere og løse ligningssystemer.

Læs mere

Jeg foretager her en kort indføring af polynomier over såvel de reelle som

Jeg foretager her en kort indføring af polynomier over såvel de reelle som Polynomier, rødder og division Sebastian Ørsted 20. november 2016 Jeg foretager her en kort indføring af polynomier over såvel de reelle som de komplekse tal, hvor fokus er på at opbygge værktøjer til

Læs mere

1 monotoni & funktionsanalyse

1 monotoni & funktionsanalyse 1 monotoni & funktionsanalyse I dag har vi grafregnere (TI89+) og programmer på computer (ex.vis Derive og Graph), hvorfor det ikke er så svært at se hvordan grafen for en matematisk funktion opfører sig

Læs mere

Nøgleord og begreber. Definition 15.1 Den lineære 1. ordens differentialligning er

Nøgleord og begreber. Definition 15.1 Den lineære 1. ordens differentialligning er Oversigt [S] 7.3, 7.4, 7.5, 7.6; [LA] 15, 16, 17 Nøgleord og begreber 1. ordens lineær ligning Løsningsmetode August 2002, opgave 7 1. ordens lineært system Løsning ved egenvektor Lille opgave Stor opgave

Læs mere

Københavns Universitet, Det naturvidenskabelige Fakultet. Afleveringsopgave 1

Københavns Universitet, Det naturvidenskabelige Fakultet. Afleveringsopgave 1 Københavns Universitet, Det naturvidenskabelige Fakultet 1 Lineær Algebra (LinAlg) Afleveringsopgave 1 Eventuelle besvarelser laves i grupper af - 3 personer og afleveres i to eksemplarer med 3 udfyldte

Læs mere

Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6.

Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6. Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6. 1. Figuren viser grafen for en funktion f. Aflæs definitionsmængde og værdimængde for f. # Aflæs f

Læs mere

Oversigt [S] 7.3, 7.4, 7.5, 7.6; [LA] 15, 16, 17

Oversigt [S] 7.3, 7.4, 7.5, 7.6; [LA] 15, 16, 17 Oversigt [S] 7.3, 7.4, 7.5, 7.6; [LA] 15, 16, 17 Nøgleord og begreber 1. ordens lineær ligning Løsningsmetode August 2002, opgave 7 1. ordens lineært system Løsning ved egenvektor Lille opgave Stor opgave

Læs mere

Polynomier. Frank Villa. 26. marts 2012

Polynomier. Frank Villa. 26. marts 2012 Polynomier Frank Villa 26. marts 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion 2

Læs mere

Funktioner. 3. del Karsten Juul

Funktioner. 3. del Karsten Juul Funktioner 3. del 019 Karsten Juul Funktioner 3. del, 019 Karsten Juul 1/9-019 Nyeste version af dette hæfte kan downloades fra http://mat1.dk/noter.htm. Hæftet må benyttes i undervisningen hvis læreren

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin December/Januar 2016/2017 Institution Frederikshavn Handelsskole Uddannelse Fag og niveau Lærer(e) Hold EUX,

Læs mere

Polynomier af én variabel

Polynomier af én variabel enote 30 1 enote 30 Polynomier af én variabel I denne enote introduceres komplekse polynomier af én variabel. Der forudsættes elementært kendskab til komplekse tal og kendskab til reelle polynomier af

Læs mere

Matematisk modellering og numeriske metoder. Lektion 5

Matematisk modellering og numeriske metoder. Lektion 5 Matematisk modellering og numeriske metoder Lektion 5 Morten Grud Rasmussen 19. september, 2013 1 Euler-Cauchy-ligninger [Bogens afsnit 2.5, side 71] 1.1 De tre typer af Euler-Cauchy-ligninger Efter at

Læs mere

Polynomier af én variabel

Polynomier af én variabel enote 30 1 enote 30 Polynomier af én variabel I denne enote introduceres komplekse polynomier af én variabel. Der forudsættes elementært kendskab til komplekse tal, og kendskab til reelle polynomier af

Læs mere

Mini-formelsamling. Matematik 1

Mini-formelsamling. Matematik 1 Indholdsfortegnelse 1 Diverse nyttige regneregler... 1 1.1 Regneregler for brøker... 1 1.2 Potensregneregler... 1 1.3 Kvadratsætninger... 2 1.4 (Nogle) Rod-regneregler... 2 1.5 Den naturlige logaritme...

Læs mere

Elementær Matematik. Tal og Algebra

Elementær Matematik. Tal og Algebra Elementær Matematik Tal og Algebra Ole Witt-Hansen 0 Indhold Indhold.... De naturlige tal.... Regneregler for naturlige tal.... Kvadratsætningerne..... Regningsarternes hierarki...4. Primtal...4 4. Nul

Læs mere

Noter til Computerstøttet Beregning Taylors formel

Noter til Computerstøttet Beregning Taylors formel Noter til Computerstøttet Beregning Taylors formel Arne Jensen c 23 1 Introduktion I disse noter formulerer og beviser vi Taylors formel. Den spiller en vigtig rolle ved teoretiske overvejelser, og også

Læs mere

Komplekse Tal. 20. november 2009. UNF Odense. Steen Thorbjørnsen Institut for Matematiske Fag Århus Universitet

Komplekse Tal. 20. november 2009. UNF Odense. Steen Thorbjørnsen Institut for Matematiske Fag Århus Universitet Komplekse Tal 20. november 2009 UNF Odense Steen Thorbjørnsen Institut for Matematiske Fag Århus Universitet Fra de naturlige tal til de komplekse Optælling af størrelser i naturen De naturlige tal N (N

Læs mere

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec.

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. 1 Komplekse vektorrum I defininitionen af vektorrum i Afsnit 4.1 i Niels Vigand Pedersen Lineær Algebra

Læs mere

Matematik og FormLineære ligningssystemer

Matematik og FormLineære ligningssystemer Matematik og Form Lineære ligningssystemer Institut for Matematiske Fag Aalborg Universitet 2014 Ligningssystemer og matricer Til et ligningssystem svarer der en totalmatrix [A b] bestående af koefficientmatrix

Læs mere

Matematik for stx C-niveau

Matematik for stx C-niveau Thomas Jensen og Morten Overgård Nielsen Matematik for stx C-niveau Frydenlund Nu 2. reviderede, udvidede og ajourførte udgave Nu 2. reviderede, udvidede og ajourførte udgave Matema10k Matematik for stx

Læs mere

Lineær Algebra. Lars Hesselholt og Nathalie Wahl

Lineær Algebra. Lars Hesselholt og Nathalie Wahl Lineær Algebra Lars Hesselholt og Nathalie Wahl Oktober 2016 Forord Denne bog er beregnet til et første kursus i lineær algebra, men vi har lagt vægt på at fremstille dette materiale på en sådan måde,

Læs mere

Projekt 3.4 Fjerdegradspolynomiets symmetri

Projekt 3.4 Fjerdegradspolynomiets symmetri Hvad er matematik? Projekt 3. Fjerdegradspolynomiets symmetri Indledning: Symmetri for polynomier I kapitel har vi set at grafen for et andengradspolynomium p ( x) = a x + x + c altid er symmetrisk omkring

Læs mere

Løsninger til eksamensopgaver på A-niveau 2017

Løsninger til eksamensopgaver på A-niveau 2017 Løsninger til eksamensopgaver på A-niveau 017 18. maj 017: Delprøven UDEN hjælpemidler Opgave 1: Alle funktionerne f, g og h er lineære funktioner (og ingen er mere lineære end andre) og kan skrives på

Læs mere

Mike Vandal Auerbach. Funktioner.

Mike Vandal Auerbach. Funktioner. Mike Vandal Auerbach Funktioner y f g x www.mathematicus.dk Funktioner. udgave, 208 Disse noter er skrevet til undervisning i matematik på stx A- og B-niveau. Det indledende kapitel beskriver selve funktionsbegrebet,

Læs mere

Lineære 1. ordens differentialligningssystemer

Lineære 1. ordens differentialligningssystemer enote enote Lineære ordens differentialligningssystemer Denne enote beskriver ordens differentialligningssystemer og viser, hvordan de kan løses enoten er i forlængelse af enote, der beskriver lineære

Læs mere

Projekt 3.1 Fjerdegradspolynomiets symmetri

Projekt 3.1 Fjerdegradspolynomiets symmetri Projekt 3.1 Fjerdegradspolynomiets symmetri I kapitel 3 har vi set at grafen for et andengradspolynomiet p x a x x c () altid er symmetrisk omkring den lodrette akse x. a Tilsvarende er grafen for tredjegradspolynomiet

Læs mere

Vektorrum. enote Generalisering af begrebet vektor

Vektorrum. enote Generalisering af begrebet vektor enote 7 1 enote 7 Vektorrum I denne enote opstilles en generel teori for mængder, for hvilke der er defineret addition og multiplikation med skalar, og som opfylder de samme regneregler som geometriske

Læs mere

Lidt historisk om tredje- og fjerdegradsligningen

Lidt historisk om tredje- og fjerdegradsligningen Lidt historisk om tredje- og fjerdegradsligningen Vi laver et hop til renæssancens Norditalien. Her udarbejdede nogle matematiker i begyndelsen af 1500-tallet algoritmer for tredje- og fjerdegradsligningerne.

Læs mere

Besvarelser til de to blokke opgaver på Ugeseddel 7

Besvarelser til de to blokke opgaver på Ugeseddel 7 Besvarelser til de to blokke opgaver på Ugeseddel 7 De anførte besvarelser er til dels mere summariske end en god eksamensbesvarelse bør være. Der kan godt være fejl i - jeg vil meget gerne informeres,

Læs mere

Matrx-vektor produkt Mikkel H. Brynildsen Lineær Algebra

Matrx-vektor produkt Mikkel H. Brynildsen Lineær Algebra Matrx-vektor produkt [ ] 1 2 3 1 0 2 1 10 4 Rotationsmatrix Sæt A θ = [ ] cosθ sinθ sinθ cosθ At gange vektor v R 2 med A θ svarer til at rotere vektor v med vinkelen θ til vektor w: [ ][ ] [ ] [ ] cosθ

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Som 2015 Institution VUC Vest Uddannelse Fag og niveau Lærer(e) Hold Hf/hfe Mat B Niels Johansson 14MACB11E14

Læs mere

Lokalt ekstremum DiploMat 01905

Lokalt ekstremum DiploMat 01905 Lokalt ekstremum DiploMat 0905 Preben Alsholm Institut for Matematik, DTU 6. oktober 00 De nition Et stationært punkt for en funktion af ere variable f vil i disse noter blive kaldt et egentligt saddelpunkt,

Læs mere

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Algebra med Bea Bea Kaae Smit nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende regler 7 3.1 Tal..........................

Læs mere

MATEMATIK B. Videooversigt

MATEMATIK B. Videooversigt MATEMATIK B Videooversigt 2. grads ligninger.... 2 CAS værktøj... 3 Differentialregning... 3 Eksamen... 5 Funktionsbegrebet... 5 Integralregning... 5 Statistik... 6 Vilkårlige trekanter... 7 71 videoer.

Læs mere

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007 MM05 - Kogt ned Jacob Aae Mikkelsen kokken 23. januar 2007 1 INDHOLD 1 ARITMETIK I Z Indhold 1 Aritmetik i Z 2 2 Kongruens i Z 4 3 Ringe 6 4 Aritmetik i F[x] 9 5 Kongruens i F[x] og kongruensklasse aritmetik

Læs mere

Lineær Algebra. Lars Hesselholt og Nathalie Wahl

Lineær Algebra. Lars Hesselholt og Nathalie Wahl Lineær Algebra Lars Hesselholt og Nathalie Wahl 2. udgave, oktober 207 Forord Denne bog er beregnet til et første kursus i lineær algebra, men vi har lagt vægt på at fremstille dette materiale på en sådan

Læs mere

To find the English version of the exam, please read from the other end! Eksamen i Lineær Algebra

To find the English version of the exam, please read from the other end! Eksamen i Lineær Algebra To find the English version of the exam, please read from the other end! Se venligst bort fra den engelske tekst på bagsiden, hvis du følger den danske version af prøven. Eksamen i Lineær Algebra Første

Læs mere

Matematisk modellering og numeriske metoder. Lektion 4

Matematisk modellering og numeriske metoder. Lektion 4 Matematisk modellering og numeriske metoder Lektion 4 Morten Grud Rasmussen 17. september, 013 1 Homogene andenordens lineære ODE er [Bogens afsnit.1] 1.1 Linearitetsprincippet Vi så sidste gang, at førsteordens

Læs mere

Numerisk. differentiation. Erik Vestergaard

Numerisk. differentiation. Erik Vestergaard Numerisk differentiation Erik Vestergaard 2 Erik Vestergaard www.matematikfysik.dk Erik Vestergaard, 25. Billeder: Forside: istock.com/iunewind Side 5: istock.com/cienpies Desuden egne illustrationer Erik

Læs mere

Tidligere Eksamensopgaver MM505 Lineær Algebra

Tidligere Eksamensopgaver MM505 Lineær Algebra Institut for Matematik og Datalogi Syddansk Universitet Tidligere Eksamensopgaver MM55 Lineær Algebra Indhold Typisk forside.................. 2 Juni 27.................... 3 Oktober 27..................

Læs mere

Oversigt [S] 8.7, 8.8, 8.9

Oversigt [S] 8.7, 8.8, 8.9 Oversigt [S] 8.7, 8.8, 8.9 Nøgleord og begreber Potensrækker og opgaver Binomialformlen Binomialkoefficienter Binomialrækken Taylor polynomier Vurdering af Taylor s restled Eksponentialrækken konvereger

Læs mere

Introduktion til Laplace transformen (Noter skrevet af Nikolaj Hess-Nielsen sidst revideret marts 2013)

Introduktion til Laplace transformen (Noter skrevet af Nikolaj Hess-Nielsen sidst revideret marts 2013) Introduktion til Laplace transformen (oter skrevet af ikolaj Hess-ielsen sidst revideret marts 23) Integration handler ikke kun om arealer. Tværtimod er integration basis for mange af de vigtigste værktøjer

Læs mere

UGESEDDEL 9 LØSNINGER. Sydsæter Theorem 1. Sætning om implicitte funktioner for ligningen f(x, y) = 0.

UGESEDDEL 9 LØSNINGER. Sydsæter Theorem 1. Sætning om implicitte funktioner for ligningen f(x, y) = 0. UGESEDDEL 9 LØSNINGER Sydsæter 531 Theorem 1 Sætning om implicitte funktioner for ligningen f(x, y) = 0 Lad f(x, y) være C 1 i mængden A R n og lad (x 0, y 0 ) være et indre punkt i A hvor f(x 0, y 0 )

Læs mere

matx.dk Enkle modeller

matx.dk Enkle modeller matx.dk Enkle modeller Dennis Pipenbring 28. juni 2011 Indhold 1 Indledning 4 2 Funktionsbegrebet 4 3 Lineære funktioner 8 3.1 Bestemmelse af funktionsværdien................. 9 3.2 Grafen for en lineær

Læs mere

Matematik, Struktur og Form Splines. NURBS

Matematik, Struktur og Form Splines. NURBS Matematik, Struktur og Form Splines. NURBS Martin Raussen Department of Mathematical Sciences Aalborg University 2016 1 / 17 Opgave: Find 3.grads polynomium p (t ) = a0 + a1 t + a2 t 2 + a3 t 3 sål. at

Læs mere

Kursusgang 3 Matrixalgebra Repetition

Kursusgang 3 Matrixalgebra Repetition Kursusgang 3 Repetition - froberg@mathaaudk http://peoplemathaaudk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 12 september 2008 1/12 Lineære ligningssystemer Et lineært ligningssystem

Læs mere

DesignMat Uge 1 Gensyn med forårets stof

DesignMat Uge 1 Gensyn med forårets stof DesignMat Uge 1 Gensyn med forårets stof Preben Alsholm Efterår 2010 1 Hovedpunkter fra forårets pensum 11 Taylorpolynomium Taylorpolynomium Det n te Taylorpolynomium for f med udviklingspunkt x 0 : P

Læs mere

TØ-opgaver til uge 45

TØ-opgaver til uge 45 TØ-opgaver til uge 45 Først laver vi en liste over de ligninger med mere i [IPT], der skal bruges: [1]: Ligning (2.5) på side 4. [2]: Ligning (2.6) på side 5. [3]: Sætning 3.1, ligning (3.3) på side 7.

Læs mere

Fordybelsesprojekt Analyse 2, forår 2012 Potensrækker

Fordybelsesprojekt Analyse 2, forår 2012 Potensrækker Fordybelsesprojekt Analyse 2, forår 2012 Potensrækker Udarbejdet af Arne Jensen 1 Indledning I forbindelse med kurset Matematisk Analyse 2 på Mat 2 afholdes et fordybelsesprojekt med et omfang af 3 ECTS.

Læs mere

Formler, ligninger, funktioner og grafer

Formler, ligninger, funktioner og grafer Formler, ligninger, funktioner og grafer Omskrivning af formler, funktioner og ligninger... 1 Grafisk løsning af ligningssystemer... 1 To ligninger med to ubekendte beregning af løsninger... 15 Formler,

Læs mere

Funktioner. 1. del Karsten Juul

Funktioner. 1. del Karsten Juul Funktioner 1. del 0,6 5, 9 2018 Karsten Juul 1. Koordinater 1.1 Koordinatsystem... 1 1.2 Kvadranter... 1 1.3 Koordinater... 2 1.4 Aflæs x-koordinat... 2 1.5 Aflæs y-koordinat... 2 1.6 Koordinatsæt... 2

Læs mere

Komplekse tal og rækker

Komplekse tal og rækker Komplekse tal og rækker John Olsen 1 Indledning Dette sæt noter er forelæsningsnoter til foredraget Komplekse tal og rækker. Noterne er beregnet til at blive brugt sammen med foredraget. I afsnit 2 bliver

Læs mere

-9-8 -7-6 -5-4 -3-2 -1 1 2 3 4 5 6 7 8 9. f(x)=2x-1 Serie 1

-9-8 -7-6 -5-4 -3-2 -1 1 2 3 4 5 6 7 8 9. f(x)=2x-1 Serie 1 En funktion beskriver en sammenhæng mellem elementer fra to mængder - en definitionsmængde = Dm(f) består af -værdier og en værdimængde = Vm(f) består af -værdier. Til hvert element i Dm(f) knttes netop

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj/Juni 2018 Institution HF & VUC Nordsjælland Hillerød afdeling Uddannelse Fag og niveau Lærer(e) Hold stx

Læs mere

Matematikkens metoder illustreret med eksempler fra ligningernes historie. Jessica Carter Institut for Matematik og Datalogi, SDU 12.

Matematikkens metoder illustreret med eksempler fra ligningernes historie. Jessica Carter Institut for Matematik og Datalogi, SDU 12. illustreret med eksempler fra ligningernes historie Institut for Matematik og Datalogi, SDU 12. april 2019 Matematiklærerdag, Aarhus Universitet I læreplanen for Studieretningsprojektet står: I studieretningsprojektet

Læs mere

Kapitel 7 Matematiske vækstmodeller

Kapitel 7 Matematiske vækstmodeller Matematiske vækstmodeller I matematik undersøger man ofte variables afhængighed af hinanden. Her ser man, at samme type af sammenhænge tit forekommer inden for en lang række forskellige områder. I kapitel

Læs mere

Besvarelser til Calculus Ordinær Eksamen Juni 2018

Besvarelser til Calculus Ordinær Eksamen Juni 2018 Besvarelser til Calculus Ordinær Eksamen - 5. Juni 08 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en sådan. Dette dokument har udelukkende

Læs mere

Komplekse tal og algebraens fundamentalsætning.

Komplekse tal og algebraens fundamentalsætning. Komplekse tal og algebraens fundamentalsætning. Michael Knudsen 10. oktober 2005 1 Ligningsløsning Lad N = {0,1,2,...} betegne mængden af de naturlige tal og betragt ligningen ax + b = 0, a,b N,a 0. Findes

Læs mere

Ligninger... 1 Funktioner & modeller... 3 Regression... 6 Sjove opgaver... 7

Ligninger... 1 Funktioner & modeller... 3 Regression... 6 Sjove opgaver... 7 Træningsopgaver 1 Indhold Ligninger... 1 Funktioner & modeller... 3 Regression... 6 Sjove opgaver... 7 Ligninger Opgave L0) Opgave L1) Opgave L2) a) 2x 5 5x 7 b) 3x 7 3x 11 c) 3 (2x 3) 2( x 1) d) En funktion

Læs mere

Kryptering kan vinde over kvante-computere

Kryptering kan vinde over kvante-computere Regional kursus i matematik i Aabenraa Institut for Matematik Aarhus Universitet matjph@math.au.dk 15. februar 2016 Oversigt 1 Offentlig-privat nøgle kryptering 2 3 4 Offentlig-privat nøgle kryptering

Læs mere

Heisenbergs usikkerhedsrelationer. Abstrakt. Hvorfor? Funktionsrum. Nils Byrial Andersen Institut for Matematik. Matematiklærerdag 2013

Heisenbergs usikkerhedsrelationer. Abstrakt. Hvorfor? Funktionsrum. Nils Byrial Andersen Institut for Matematik. Matematiklærerdag 2013 Heisenbergs usikkerhedsrelationer Nils Byrial Andersen Institut for Matematik Matematiklærerdag 013 1 / 17 Abstrakt Heisenbergs usikkerhedsrelationer udtrykker at man ikke på samme tid både kan bestemme

Læs mere

Tallet π er irrationalt Jens Siegstad

Tallet π er irrationalt Jens Siegstad 32 Tallet π er irrationalt Jens Siegstad At tallet π er irrationalt har været kendt i pænt lang tid Aristoteles postulerede det da han påstod at diameteren og radius i en cirkel er inkommensurable størrelser

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Uddannelse Fag og niveau Lærer(e) Termin hvori undervisningen afsluttes: Juni 2016 Københavns

Læs mere

Elementær Matematik. Mængder og udsagn

Elementær Matematik. Mængder og udsagn Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er

Læs mere

De fire elementers kostbare spejl

De fire elementers kostbare spejl Projekt.6 Lineær algebra moderne og klassisk kinesisk De fire elementers kostbare spejl "Som bekendt anses matematikken for at være en meget vigtig videnskab. Denne bog om matematik vil derfor være af

Læs mere