Matematik: Videnskaben om det uendelige 1

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Starte visningen fra side:

Download "Matematik: Videnskaben om det uendelige 1"

Transkript

1 Matematik: Videnskaben om det uendelige 1 Ottende forelæsning: Den aksiomatiske metode II Klaus Frovin Jørgensen 15. november, / 30

2 Fra sidste gang (1/2) Generelt har vi set, at: Et basalt element i erkendelsen er distinktionen imellem begreber (types) og objekter (tokens) Ækvivalensrelationer gør det muligt at: Operere med begreber (types) som objekter (tokens) At forstå højere-ordens-objekter ved hjælp af i) lavere-ordens-objekter og ii) den karakteristiske funktion Mere specifikt har vi set, hvordan naturlige tal: Både kan være types og tokens Kan forstås som konceptuelle objekter 2 / 30

3 Fra sidste gang (2/2) Vi siger, at er en ækvivalensrelation over D, når den er refleksiv, symmetrisk og transitiv, dvs. hvis det for alle elementer i D gælder at: i) x x ii) x y medfører y x iii) x y og y z medfører x z Eksempler har samme farve som er parallel med er lig med kongruent modulus n er ækvipotent med... Vi betegner med [x] klassen af alle elementer fra D, som er ækvivalente med x, det vil sige: [x] = {y D y x} 3 / 30

4 Den generiske metodes konstruktion af ækvivalensklasser gennemsyrer som vi nu skal se den generiske opbygning af tallene: N, Z, Q og R. 4 / 30

5 Naturlige og hele tal Lad N være de naturlige tal med de sædvanlige operationer + og og ordningen <. På basis af N kan vi konstruere de hele tal Z. Definér følgende relation på N N. (m, n) (m, n ) m + n = m + n Ækvivalens mellem par reduceres til identitet mellem naturlige tal. Derved bliver en ækvivalensrelation. Ækvivalensklasserne bliver (som vi senere skal se) til de hele tal. 5 / 30

6 De hele tal Z er kvotientstrukturen ( N N ) /. Det vil sige: Z := {[(n, 0)] n N} {[(0, n)] n N}. De kanoniske repræsentanter for de positive hele tal er (n, 0), og for de negative har vi (0, n). Generelt skriver vi fremover m n i stedet for [(m, n)]. Således refererer vi til en hel ækvivalensklasse ved hjælp af i) Et kanonisk eksempel, samt (mere implicit), ii) Den tilhørende karakteristiske funktion. Bemærk, at den karakteriske funktion kan afgøres: Vedrører kun lighed mellem givne naturlige tal. 6 / 30

7 Addition Z via tokens i N N Hvordan adderes to ækvivalensklasser? Baseret på addition i N definerer vi addition i Z: + Z : Z Z Z, (m n, r s) (m n) + Z (r s) := (m + N r) (n + N s) Vi skal herefter sikre os, at definitionen er veldefineret. Altså, at + Z respekterer ækvivalensklasserne. 7 / 30

8 + Z er veldefineret Lemma. m n = m n og r s = r s medfører: (m + N r) (n + N s) = (m + N r ) (n + N s ). Addition i Z reduceres til (komponentvis) addition i N: z 1 z 2 z 3 m n m n r s r s (m + r) (n + s) (m + r ) (n + s ) m + N r og n + N s m + N r og n + N s 8 / 30

9 Algebra, aksiomatik og den generiske metode 9 / 30

10 Egenskaber ved de hele tal..., 4, 3, 2, 1, 0, 1, 2, 3, 4,... Z er lukket overfor addition, dvs. summen af to hele tal er et helt tal Addition er associativ, dvs. a + (b + c) = (a + b) + c Med hensyn til addition findes der et neutralt element, altså. a + 0 = 0 + a = a Alle hele tal a har et inverst element a, sådan at. a + ( a) = a + a = 0 10 / 30

11 De gruppeteoretiske aksiomer Definition. Lad G være en mængde med en binær operation fra G G til G. Dette kaldes en gruppe, hvis 1 (x y) z = x (y z), for alle x, y, z G 2 Der er et neutralt element e sådan at G: i) e x = x e = x, for alle x ii) For alle x findes der x 1 sådan at x x 1 = e. 11 / 30

12 En symmetrisk gruppe D 4 (1/7) e (identiteten) r 1 (90 rotation) r 2 (180 rotation) r 3 (270 rotation) s 0 (diag. spejlning) s 1 (vertik. spejlning) s 2 (m-diag. spejlning) s 3 (horison. spejlning) 12 / 30

13 En symmetrisk gruppe D 4 (2/7) Lad G være mængden rotationer og spejlninger af kvadratet: G = {e, r 1, r 2, r 3, s 0, s 1, s 2, s 3 } Hvis vi forstår som operations-sammensætning, så er (G, ) en gruppe: G er lukket overfor operationen Operationen er associativ Der er et neutralt element i G Alle elementer i G har et inverst element i G Denne gruppe kaldes D 4 (tjek, at den rent faktisk er en gruppe ved hjælp af tabellen på næste slide!) 13 / 30

14 En symmetrisk gruppe D 4 (3/7) Af følgende tabel ses det eksempelvis af tabellen, at s 1 r 1 = s 2. Vi siger generelt, at en gruppe er kommutativ, hvis det for alle elementer x og y i gruppen gælder, at x y = y x. Af tabellen ser vi, at D 4 ikke er kommutativ, da s 1 r 3 r 3 s 1. Men bemærk, at M = {e, r 1, r 2, r 3 } er en kommutativ undergruppe til D / 30

15 En symmetrisk gruppe D 4 (4/7) Faktisk er undergruppen M en såkaldt normal undergruppe; det betyder at x M = M x for alle x D 4. Eksempelvis er mængden af grønne elementer den samme som mængden af gule elementer. En konsekvens heraf er, at M på følgende vis giver anledning til en ækvivalensrelation: x y x 1 y M Denne relation giver to ækvivalensklasser: [r 1 ] = {e, r 1, r 2, r 3 } [s 0 ] = {s 0, s 1, s 2, s 3 } Kvotientgruppen D 4 / består altså af to elementer de to ækvivalensklasser. Navnet kvotientstruktur sådan som vi i forbindelse med eksempelvis ( N N ) / brugte det kommer faktisk fra gruppeteorien, hvor kvotientgrupper netop defineres på baggrund af egenskaber ved kvotienter som x 1 y, som også kan skrives som y x. 15 / 30

16 En symmetrisk gruppe D 4 (5/7) D 4 optræder også et andet sted i matematikken. For vi kan også se på følgende otte linjebevarende permuationer (automorfier) af punkter i den projektive syv-punktsplan. e = β 0 = ( A B C D P Q R A B C D P Q R ( ) A B C D P Q R A C B D Q P R ) α 1 = β 1 = ( ( A B C D P Q R C A D B Q P R A B C D P Q R B A D C P Q R ) ) α 2 = β 2 = ( ( A B C D P Q R D C B A P Q R A B C D P Q R D B C A Q P R ) ) α 3 = β 3 = ( ( A B C D P Q R B D A C Q P R A B C D P Q R C D A B P Q R ) ) β 3 er eksempelvis automorfien, som sender A til C, B sendes til D, C sendes til A, D sendes til B, medens P, Q og R holdes fast. 16 / 30

17 En symmetrisk gruppe D 4 (6/7) Automorfier kan sættes sammen: ( ) A B C D P Q R β 3 β 2 = = α B D A C Q P R 3 og β 1 β 1 = Og tabellen for alle sammensætninger ser således ud: ( ) A B C D P Q R = e A B C D P Q R Tabellen er således essentielt set den samme som tabellen for rotationer og spejlninger af kvadratet. 17 / 30

18 En symmetrisk gruppe D 4 (7/7) D 4 optræder også et helt tredje sted i matematikken, nemlig i forbindelse med matricer inden for linær algebra. Lad N være mængden, der består af følgende otte matricer: e = S 0 = ( ) ( ) R 1 = S 1 = ( ) ( ) R 2 = S 2 = ( ) ( ) R 3 = S 3 = ( 0 ) ( 0 ) (N, ) er en helt tredje repræsentation af D 4, hvor vi forstår som matrice-multiplikation. Multiplikationstabellen er som den sidste tabel: Vi skal blot udskife α i med R i og β j med S j. 18 / 30

19 Andre symmetrigrupper 19 / 30

20 Mere algebra og aksiomatik Nu da vi har fået en bedre forståelse af gruppebegrebet, skal vi bruge det til se, hvordan den aksiomatiske metode inden for opbygningen af tallene spiller sammen med den generiske metode. Definition. Vi siger generelt, at (R, +, ) er en ring, hvis 1 (R, +) er en gruppe og 2 (R, ) er en monoide (dvs. en gruppe uden nødvendigvis inverse elementer) og hvis 3 Multiplikation er distributiv over addition, dvs. a (b + c) = (a b) + (a c). Det kan nu vises, at vores konstruerede Z har disse egenskaber altså er en ring. 20 / 30

21 Andre eksempler på ringe Der kan defineres passende addition og multiplikation med hensyn til polynomier over eksempelvis de rationelle tal (som vi nu skal til at konstruere). Denne mængde af polynomier danner også en ring. 21 / 30

22 De rationelle tal Generisk metode. Konstruér Q som samlingen af ækvivalensklasserne af ordnede par af hele tal (a, b), med b 0. Den afgørbare ækvivalensrelation er defineret ved (a, b) (c, d) ad = bc. Q bliver kvotient-strukturen (Z Z)/. På grundlag af repræsentanter af ækvivalensklasserne kan regnearterne i Z løftes til Q. Aksiomatisk metode. Går vi til det abstrakte kan vi vise, at (Q, +, ) er en kommutativ ring, med (Q, \{0}, ) som en gruppe. Altså er Q et legeme. 22 / 30

23 Mod de reelle tal: Cauchy-følger Cauchy-følge: En følge af rationelle tal x 1, x 2,... er Cauchy, hvis der for ethvert ɛ eksisterer et N således, at for alle n, m > N x n x m < ɛ Ud fra klassen Cau af alle Cauchy-følger kan vi konstruere de reelle tal. 23 / 30

24 Konstruktion af de reelle tal To Cauchy-følger (a n ) og (b n ) er ækvivalente, hvis deres forskel er 0 i grænsen; altså: (a n ) (b n ) lim(a n b n ) = 0 Fra klassen Cau af Cauchy-følger konstrueres de reelle tal som ækvivalensklasser: [(a n )] = {(b n ) Cau (a n ) (b n )}. Bemærk, et reelt tal er generelt en ret uendelig størrelse. 24 / 30

25 Regneregler for de reelle tal Definition. Lad x og y være reelle tal. Vælg (a n ) i x og (b n ) i y; vi definerer da x + y = [(a n + b n )] x y = [(a n b n )] 0 = [(0)] 1 = [(1)] Vi kan ligeledes definere < for de reelle tal. Derved får vi, at R = (Cau/, +,, <) er et fuldstændigt ordnet arkimedisk legeme. Altså fuldstændigt, uden infinitisimaler med Q tæt i R. 25 / 30

26 Den generiske og den aksiomatiske metode 26 / 30

27 Samspil mellem de to metoder N Monoide Z Ring / gruppe Q Legeme R Fuldstændigt arkimedisk legeme 27 / 30

28 Begrundelser og opdagelser Den aksiomatiske metode, som vi ser den hos Euklid, handler primært om at begrunde udsagn om geometrien. Den traditionelle forståelse af aksiomatik vedrører altså hovedsagligt det, man i videnskabsteorien kalder for the context of justification. Den aksiomatiske metode, som den udvikles inden for algebraen i slutningen af 1800-tallet, vedrører derimod opdagelser. Med gruppe-aksiomerne trækkes en strukturel og abstrakt essens frem (for eksempel monoider, ringe og legemer), som kun kan studeres ved hjælp af den aksiomatiske metode: Således overgår den aksiomatiske metode til the context of discovery. 28 / 30

29 Hilbert og den aksiomatiske metode, igen David Hilbert ( ) Über den Zahlbegriff fra Trotz des hohen pädagogischen und heuristischen Wertes der genetischen Methode verdient doch zur endgültigen Darstellung und völligen logischen Sicherung des Inhaltes unserer Erkenntnis die axiomatische Methode den Vorzug. (Hilbert, 1899) 29 / 30

30 Sum up: Den generiske metode versus den aksiomatiske Vi ser historisk, at den generiske metode gik forud for den aksiomatiske. Dette er ikke erkendelsesteoretisk underligt. Men vi ser i standard-præsentationen fra den moderne algebra, at de to metoder supplerer hinanden. 30 / 30

Types, tokens og rationalisme i matematikkens filosofi

Types, tokens og rationalisme i matematikkens filosofi Types, tokens og rationalisme i matematikkens filosofi Klaus Frovin Jørgensen Afdelingen Filosofi og Videnskabsteori, RUC 6. marts, 2010 1 / 29 Hilbert og den aksiomatiske metode David Hilbert (1862-1943)

Læs mere

Konstruktion af de reelle tal

Konstruktion af de reelle tal Konstruktion af de reelle tal Rasmus Villemoes 17. oktober 2005 Indledning De fleste tager eksistensen af de reelle tal R for givet. I Matematisk Analyse-bogen Funktioner af en og flere variable af Ebbe

Læs mere

Om begrebet relation

Om begrebet relation Om begrebet relation Henrik Stetkær 11. oktober 2005 Vi vil i denne note diskutere det matematiske begreb en relation, herunder specielt ækvivalensrelationer. 1 Det abstrakte begreb en relation Som ordet

Læs mere

Omskrivningsregler. Frank Nasser. 10. december 2011

Omskrivningsregler. Frank Nasser. 10. december 2011 Omskrivningsregler Frank Nasser 10. december 2011 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

Læs mere

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe.

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe. 0.1: Ringe 1. Definition: Ring En algebraisk struktur (R, +,, 0,, 1) kaldes en ring hvis (R, +,, 0) er en kommutativ gruppe og (R,, 1) er en monoide og hvis er såvel venstre som højredistributiv mht +.

Læs mere

De rigtige reelle tal

De rigtige reelle tal De rigtige reelle tal Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Oversigt over gruppeteori: definitioner og sætninger

Oversigt over gruppeteori: definitioner og sætninger Oversigt over gruppeteori: definitioner og sætninger (G, ) kaldesengruppe, når følgende aksiomer er opfyldt: 0) (G, ) er en organiseret (stabil) mængde: a, b G a b G 1) Den associative lov gælder, dvs.

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

Gödels ufuldstændighedssætninger

Gödels ufuldstændighedssætninger Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/21 Gödels ufuldstændighedssætning

Læs mere

Nogle grundlæggende begreber

Nogle grundlæggende begreber BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element

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

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42 Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder

Læs mere

Matematisk Metode Notesamling

Matematisk Metode Notesamling Matematisk Metode Notesamling Anders Bongo Bjerg Pedersen Stud.Scient, Matematisk Institut, KU 21. november 2005 Bemærkninger til noterne: Hosliggende noter er fra faget Matematisk Metode, afholdt i blok

Læs mere

Ølopgaver i lineær algebra

Ølopgaver i lineær algebra Ølopgaver i lineær algebra 30. maj, 2010 En stor del af de fænomener, vi observerer, er af lineær natur. De naturlige matematiske objekter i beskrivelsen heraf bliver vektorrum rum hvor man kan lægge elementer

Læs mere

Institut for Matematik, DTU: Gymnasieopgave. I. De komplekse tals historie. Historien om 3. grads ligningerne

Institut for Matematik, DTU: Gymnasieopgave. I. De komplekse tals historie. Historien om 3. grads ligningerne De komplekse tals historie side 1 Institut for Matematik, DTU: Gymnasieopgave I. De komplekse tals historie Historien om 3. grads ligningerne x 3 + a x = b, x 3 + a x 2 = b, - Abraham bar Hiyya Ha-Nasi,

Læs mere

1.1 Legemer. Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal.

1.1 Legemer. Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal. SEKTION 11 LEGEMER 11 Legemer Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal Definition 111 Et legeme F er en mængde udstyret

Læs mere

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013 Komplekse tal Mikkel Stouby Petersen 27. februar 2013 1 Motivationen Historien om de komplekse tal er i virkeligheden historien om at fjerne forhindringerne og gøre det umulige muligt. For at se det, vil

Læs mere

En karakteristik af de regulære sprog. Ugens emner. FA minimering [5.1-5.2] MyHill-Nerode-sætningen en algoritme til minimering af FA er

En karakteristik af de regulære sprog. Ugens emner. FA minimering [5.1-5.2] MyHill-Nerode-sætningen en algoritme til minimering af FA er Ugens emner FA minimering [.-.] MyHill-Nerode-sætningen en algoritme til minimering af FA er En karakteristik af de regulære sprog Et sprog L er regulært hvis og kun hvis L beskrives af et regulært udtryk

Læs mere

Gult Foredrag Om Net

Gult Foredrag Om Net Gult Foredrag Om Net University of Aarhus Århus 8 th March, 2010 Introduktion I: Fra Metriske til Topologiske Rum Et metrisk rum er en mængde udstyret med en afstandsfunktion. Afstandsfunktionen bruges

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

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 7. november 2015 Slide 1/25

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 7. november 2015 Slide 1/25 Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Slide 3/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion

Læs mere

Projekt 10.1 Er der huller i Euklids argumentation? Et moderne aksiomsystem (især for A)

Projekt 10.1 Er der huller i Euklids argumentation? Et moderne aksiomsystem (især for A) Projekt 10.1 Er der huller i Euklids argumentation? Et moderne aksiomsystem (især for A) Indhold Introduktion... 2 Hilberts 16 aksiomer Et moderne, konsistent og fuldstændigt aksiomsystem for geometri...

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

Omskrivningsgymnastik

Omskrivningsgymnastik Omskrivningsgymnastik Frank Villa 29. december 2013 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

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

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk matx.dk Algebra Dennis Pipenbring, 10. februar 2012 nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende

Læs mere

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25 Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion i eksempler. 3) Opgaveregning. 4) Opsamling.

Læs mere

Diskrete Matematiske Metoder. Jesper Lützen

Diskrete Matematiske Metoder. Jesper Lützen Diskrete Matematiske Metoder Jesper Lützen Juni 2013 ii Indhold Introduktion. ix 0.1 Den aksiomatisk-deduktive metode................. ix 0.2 Diskret matematik; hvad er det?.................. x 1 Tal,

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

Matematik og Form: Matrixmultiplikation. Regulære og singu

Matematik og Form: Matrixmultiplikation. Regulære og singu Matematik og Form: Matrixmultiplikation. Regulære og singulære matricer Institut for Matematiske Fag Aalborg Universitet 2012 Matrixmultiplikation Definition Definition A = [a ij ], B = [b ij ]: AB = C

Læs mere

************************************************************************

************************************************************************ Projektet er todelt: Første del har fokus på Euklids system og består af introduktionen, samt I og II. Anden del har fokus på Hilberts system fra omkring år 1900 og består af III sammen med bilagene. Man

Læs mere

Eksempel på den aksiomatisk deduktive metode

Eksempel på den aksiomatisk deduktive metode Eksempel på den aksiomatisk deduktive metode Et rigtig godt eksempel på et aksiomatisk deduktivt system er Euklids Elementer. Euklid var græker og skrev Elemeterne omkring 300 f.kr. Værket består af 13

Læs mere

Matricer og Matrixalgebra

Matricer og Matrixalgebra enote 3 1 enote 3 Matricer og Matrixalgebra Denne enote introducerer matricer og regneoperationer for matricer og udvikler hertil hørende regneregler Noten kan læses uden andet grundlag end gymnasiet,

Læs mere

Teoretiske Øvelsesopgaver:

Teoretiske Øvelsesopgaver: Teoretiske Øvelsesopgaver: TØ-Opgave 1 Subtraktion division i legemer: Er subtraktion division med elementer 0 i legemer veldefinerede, eller kan et element b have mere end ét modsat element -b eller mere

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

Oversigt [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA] 1, 2, 3, [S] 9.1-3 Nøgleord og begreber Talpar, taltripler og n-tupler Linearkombination og span Test linearkombination Hvad er en matrix Matrix multiplikation Test matrix multiplikation

Læs mere

Geom2-dispositioner (reeksamen)

Geom2-dispositioner (reeksamen) Geom2-dispositioner (reeksamen) Rasmus Sylvester Bryder 20. april 2012 1 Mangfoldigheder i R n 1. Introducér begreberne parametriseret mangfoldighed, regularitet, indlejret parametriseret mangfoldighed

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 [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA], 2, 3, [S] 9.-3 Nøgleord og begreber Koordinatvektorer, talpar, taltripler og n-tupler Linearkombination Underrum og Span Test linearkombination Lineær uafhængighed Standard vektorer Basis

Læs mere

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Gruppeteori Michael Knudsen 8. marts 2005 1 Motivation For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Eksempel 1.1. Lad Z betegne mængden af de hele tal, Z = {..., 2, 1, 0,

Læs mere

Regularitet og Automater. Tobias Brixen Q4-2012

Regularitet og Automater. Tobias Brixen Q4-2012 Regularitet og Automater Tobias Brixen Q4-2012 1 Noterne er skrevet med inspiration fra http://cs.au.dk/ illio/courses/dregaut/dregautnoter.pdf Contents 1 Regulære udtryk 3 1.1 RegEx.................................

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

Selam Friskole Fagplan for Matematik

Selam Friskole Fagplan for Matematik Selam Friskole Fagplan for Matematik Formål Formålet med undervisningen er, at eleverne udvikler matematiske kompetencer og opnår viden og kunnen således, at de bliver i stand til at begå sig hensigtsmæssigt

Læs mere

Lineær algebra: Matrixmultiplikation. Regulære og singulære

Lineær algebra: Matrixmultiplikation. Regulære og singulære Lineær algebra: Matrixmultiplikation. Regulære og singulære matricer Institut for Matematiske Fag Aalborg Universitet 2011 Matrixmultiplikation Definition Definition A = [a ij ], B = [b ij ]: AB = C =

Læs mere

6.1 Reelle Indre Produkter

6.1 Reelle Indre Produkter SEKTION 6.1 REELLE INDRE PRODUKTER 6.1 Reelle Indre Produkter Definition 6.1.1 Et indre produkt på et reelt vektorrum V er en funktion, : V V R således at, for alle x, y V, I x, x 0 med lighed x = 0, II

Læs mere

Hilbert rum. Chapter 3. 3.1 Indre produkt rum

Hilbert rum. Chapter 3. 3.1 Indre produkt rum Chapter 3 Hilbert rum 3.1 Indre produkt rum I det følgende skal vi gøre brug af komplekse såvel som reelle vektorrum. Idet L betegner enten R eller C minder vi om, at et vektorrum over L er en mængde E

Læs mere

Omskrivningsgymnastik

Omskrivningsgymnastik Omskrivningsgymnastik Frank Villa 16. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Folkeskolereformen nye muligheder Hotel Nyborg Strand 23.04.2014

Folkeskolereformen nye muligheder Hotel Nyborg Strand 23.04.2014 Folkeskolereformen nye muligheder Hotel Nyborg Strand 23.04.2014 Nationale mål, resultatmål og Fælles Mål Tre nationale mål 1. Folkeskolen skal udfordre alle elever, så de bliver så dygtige, de kan 2.

Læs mere

2. Fourierrækker i en variabel

2. Fourierrækker i en variabel .1. Fourierrækker i en variabel I Kapitel II 7 blev der indført, dels funktionsrummene L p (X, µ) (mere udførligt skrevet L p (X, E, µ)), dels rummene L p (X, µ), der fås af L p (X, µ) ved at funktioner

Læs mere

Det vigtigste element i denne videnskabelige tradition var arbejdet

Det vigtigste element i denne videnskabelige tradition var arbejdet er. Den kan være rund eller kantet eller ensfarvet eller prikket, det er ikke essentielt. Det essentielle er derimod det centrale uforanderlige, det som enten er eller ikke er. Koppen, der går i stykker,

Læs mere

Program for de næste 3 1/4 dobbeltlektion

Program for de næste 3 1/4 dobbeltlektion Matricer Program for de næste 3 1/4 dobbeltlektion Tirsdag 3. september 11.00 12.00: Afsnit 8.1, 8.2, 8.3 og 8.5 Torsdag 5. september 12.30 16.15 12.30 14.15: Opgaveregning lokale 261/409 14.30: Vi mødes

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

Køreplan Matematik 1 - FORÅR 2005

Køreplan Matematik 1 - FORÅR 2005 Lineær algebra modulo n og kryptologi Køreplan 01005 Matematik 1 - FORÅR 2005 1 Introduktion Kryptologi er en ældgammel disciplin, som går flere tusinde år tilbage i tiden. Idag omfatter disciplinen mange

Læs mere

MATEMATIK. Formål for faget

MATEMATIK. Formål for faget MATEMATIK Formål for faget Formålet med undervisningen er, at eleverne udvikler matematiske kompetencer og opnår viden og kunnen således, at de bliver i stand til at begå sig hensigtsmæssigt i matematikrelaterede

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

MODELSÆT 2; MATEMATIK TIL LÆREREKSAMEN

MODELSÆT 2; MATEMATIK TIL LÆREREKSAMEN MODELSÆT ; MATEMATIK TIL LÆREREKSAMEN Forberedende materiale Den individuelle skriftlige røve i matematik vil tage udgangsunkt i følgende materiale:. En diskette med to regnearks-filer og en MathCad-fil..

Læs mere

Oversigt [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA] 1, 2, 3, [S] 9.1-3 Nøgleord og begreber Koordinatvektorer, talpar, taltripler og n-tupler Linearkombination Underrum og Span Test linearkombination Lineær uafhængighed Standard vektorer Basis

Læs mere

Minilex Mat 2AL. .. Henrik Dahl hdahl@tdc-broadband.dḳ. Mangler 3.10-3.16

Minilex Mat 2AL. .. Henrik Dahl hdahl@tdc-broadband.dḳ. Mangler 3.10-3.16 Minilex Mat 2AL.. Henrik Dahl hdahl@tdc-broadband.dḳ.. Mangler 3.10-3.16 Resumé ADVARSEL - dette er et total underground-dokument!. Det er livsfarligt at bruge ukritisk. Der er næsten sikkert graverende

Læs mere

3. klasse 6. klasse 9. klasse

3. klasse 6. klasse 9. klasse Børne- og Undervisningsudvalget 2012-13 BUU Alm.del Bilag 326 Offentligt Elevplan 3. klasse 6. klasse 9. klasse Matematiske kompetencer Status tal og algebra sikker i, er usikker i de naturlige tals opbygning

Læs mere

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2 M å l e p u n k t R i e m a n n s k G e o m e t r i E 8 J a ko b L i n d b l a d B l a ava n d 2 5 3 6 7 5 27 oktober 28 I n s t i t u t fo r M at e m at i s k e Fag A a r h u s U n i v e r s i t e t indledning

Læs mere

Årets overordnede mål inddelt i kategorier

Årets overordnede mål inddelt i kategorier Matematik 1. klasse Årsplan af Bo Kristensen, Katrinedals Skole Årets overordnede mål inddelt i kategorier Tallenes opbygning og indbyrdes hierarki Tælle til 100. Kende tælleremser som 10 20 30, 5 10 15,

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS August 2012 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

Specialeafhandling. M a te m a t i k ke n b a g p u s l e s p i l. Speciale for Cand.Scient. graden i matematik

Specialeafhandling. M a te m a t i k ke n b a g p u s l e s p i l. Speciale for Cand.Scient. graden i matematik Specialeafhandling Speciale for Cand.Scient. graden i matematik DET NATURVIDENSKABELIGE FAKULTET KØBENHAVNS UNIVERSITET M a te m a t i k ke n b a g p u s l e s p i l m e d s æ r l i g a nve n d e l s e

Læs mere

DesignMat. Preben Alsholm. September Egenværdier og Egenvektorer. Preben Alsholm. Egenværdier og Egenvektorer

DesignMat. Preben Alsholm. September Egenværdier og Egenvektorer. Preben Alsholm. Egenværdier og Egenvektorer DesignMat September 2008 fortsat Eksempel : et Eksempel 4 () af I II uden I Lad V være et vektorrum over L (enten R eller C). fortsat Eksempel : et Eksempel 4 () af I II uden I Lad V være et vektorrum

Læs mere

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger Kalkulus - Grænseovergange, Kontinuitet og Følger Mads Friis 8. januar 05 Indhold Grundlæggende uligheder Grænseovergange 3 3 Kontinuitet 9 4 Følger 0 5 Perspektivering 4 Grundlæggende uligheder Sætning

Læs mere

Lineære ligningssystemer og Gauss-elimination

Lineære ligningssystemer og Gauss-elimination Lineære ligningssystemer og Gauss-elimination Preben Alsholm 18 februar 008 1 Lineære ligningssystemer og Gauss-elimination 11 Et eksempel Et eksempel 100g mælk Komælk Fåremælk Gedemælk Protein g 6g 8g

Læs mere

Forord 3 Strukturen i denne bog 6

Forord 3 Strukturen i denne bog 6 Indhold i Epsilon Forord 3 Strukturen i denne bog 6 Introduktion til del I. De naturlige tal 10 1 Børns talbegreber og regneoperationer omkring de første skoleår 12 Tal og det at tælle 15 Det indledende

Læs mere

Module 1: Lineære modeller og lineær algebra

Module 1: Lineære modeller og lineær algebra Module : Lineære modeller og lineær algebra. Lineære normale modeller og lineær algebra......2 Lineær algebra...................... 6.2. Vektorer i R n................... 6.2.2 Regneregler for vektorrum...........

Læs mere

Udvalgsaksiomet. Onsdag den 18. november 2009

Udvalgsaksiomet. Onsdag den 18. november 2009 Udvalgsaksiomet Onsdag den 18. november 2009 Eksempler Fourier udvikling af f(x)=x 4 3 5 10 2 1 1 2 0 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 1 2 3 4

Læs mere

Banach-Tarski Paradokset

Banach-Tarski Paradokset 32 Artikeltype Banach-Tarski Paradokset Uden appelsiner Andreas Hallbäck Langt de fleste af os har nok hørt om Banach og Tarskis såkaldte paradoks fra 1924. Vi har hørt diverse poppede formuleringer af

Læs mere

Symmetri i natur, kunst og matematik

Symmetri i natur, kunst og matematik Symmetri i natur, kunst og matematik Lisbeth Fajstrup og Bedia Akyar Møller Institut for matematiske fag Aalborg Universitet 1. februar 2017 Lisbeth Fajstrup og Bedia Akyar Møller () Symmetri i natur,

Læs mere

GEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α )

GEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α ) GEOMETRI-TØ, UGE 8 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imf.au.dk. Opvarmningsopgave 1. Lad X være en mængde og T familien af alle delmængder

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

Evaluering af matematik undervisning

Evaluering af matematik undervisning Evaluering af matematik undervisning Udarbejdet af Khaled Zaher, matematiklærer 6-9 klasse og Boushra Chami, matematiklærer 2-5 klasse Matematiske kompetencer. Fællesmål efter 3.klasse indgå i dialog om

Læs mere

Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI. Problembehandling. Modellering

Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI. Problembehandling. Modellering MULTI 3B Forenklede Fælles Mål Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI Kapitel 1 Andre tal Eleven kan anvende konkrete, visuelle og enkle symbolske repræsentationer (fase

Læs mere

Trekanter. Frank Villa. 8. november 2012

Trekanter. Frank Villa. 8. november 2012 Trekanter Frank Villa 8. november 2012 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion 1 1.1

Læs mere

1 Om funktioner. 1.1 Hvad er en funktion?

1 Om funktioner. 1.1 Hvad er en funktion? 1 Om funktioner 1.1 Hvad er en funktion? Man lærer allerede om funktioner i folkeskolen, hvor funktioner typisk bliver introduceret som maskiner, der tager et tal ind, og spytter et tal ud. Dette er også

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

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y). Analyse 2 Øvelser Rasmus Sylvester Bryder 17. og 20. september 2013 Supplerende opgave 1 Lad λ være Lebesgue-målet på R og lad A B(R). Definér en funktion f : [0, ) R ved f(x) = λ(a [ x, x]). Vis, at f(x)

Læs mere

MaxiMat og de forenklede Fælles mål

MaxiMat og de forenklede Fælles mål MaxiMat og de forenklede Fælles mål Dette er en oversigt over hvilke læringsmål de enkelte forløb indeholder. Ikke alle forløb er udarbejdet endnu, men i skemaet kan man se alle læringsmålene også de,

Læs mere

Undervisningsbeskrivelse

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

Læs mere

{ } { } {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )}

{ } { } {( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )} Stokastisk eksperiment Et stokastisk eksperiment er et eksperiment, hvor vi fornuftigvis ikke på forhånd kan have en formodning om resultatet af eksperimentet. Til gengæld kan vi prøve at sige noget om,

Læs mere

Matematik A. Studentereksamen. Forberedelsesmateriale. Digital eksamensopgave med adgang til internettet

Matematik A. Studentereksamen. Forberedelsesmateriale. Digital eksamensopgave med adgang til internettet Matematik A Studentereksamen Digital eksamensopgave med adgang til internettet Forberedelsesmateriale frs-matn/a-270420 Onsdag den 27. april 20 Forberedelsesmateriale til stx-a-net MATEMATIK Der skal afsættes

Læs mere

Ordbog over Symboler

Ordbog over Symboler Ordbog over Symboler Frank Nasser 20. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette

Læs mere

Årsplan for matematik 4. klasse 14/15

Årsplan for matematik 4. klasse 14/15 Årsplan for matematik 4. klasse 14/15 Status: 4.b er en klasse der består af ca. 20 elever. Der er en god fordeling mellem piger og drenge i klasser. Klassen har 5 matematiktimer om ugen. Vi fortsætter

Læs mere

Fælles Mål Danmarks privatskoleforening den 15.01.2014

Fælles Mål Danmarks privatskoleforening den 15.01.2014 Fælles Mål Danmarks privatskoleforening den 15.01.2014 Baggrund Nationale undersøgelser Fælles Mål er for omfattende, diffuse, ikke prioriterede og i nogle tilfælde for brede. Fælles Mål kobles ikke til

Læs mere

MATEMATIK. GIDEONSKOLENS UNDERVISNINGSPLAN Oversigt over undervisning i forhold til trinmål og slutmål

MATEMATIK. GIDEONSKOLENS UNDERVISNINGSPLAN Oversigt over undervisning i forhold til trinmål og slutmål MATEMATIK GIDEONSKOLENS UNDERVISNINGSPLAN Oversigt over undervisning i forhold til trinmål og slutmål KOMMENTAR Vi har i det følgende foretaget en analyse og en sammenstilling af vore materialer til skriftlig

Læs mere

Matroider Majbritt Felleki

Matroider Majbritt Felleki 18 Rejselegatsformidlingsaktivitet Matroider Majbritt Felleki Den amerikanske matematiker Hassler Whitney fandt i 1935 sammenhænge mellem sætninger i grafteori og sætninger i lineær algebra. Dette førte

Læs mere

Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM02)

Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM02) SYDDANSK UNIVERSITET ODENSE UNIVERSITET INSTITUT FOR MATEMATIK OG DATALOGI Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM2) Fredag d. 2. januar 22 kl. 9. 3. 4 timer med alle sædvanlige skriftlige

Læs mere

Fælles Mål Matematik Indskolingen. Roskilde 4. november

Fælles Mål Matematik Indskolingen. Roskilde 4. november Fælles Mål Matematik Indskolingen Roskilde 4. november 05-11-2015 klaus.fink@uvm.dk Side 2 Bindende/vejledende Bindende mål og tekster: Fagets formål Kompetencemål (12 stk.) Færdigheds- og vidensmål (122

Læs mere

Noter til Perspektiver i Matematikken

Noter til Perspektiver i Matematikken Noter til Perspektiver i Matematikken Henrik Stetkær 25. august 2003 1 Indledning I dette kursus (Perspektiver i Matematikken) skal vi studere de hele tal og deres egenskaber. Vi lader Z betegne mængden

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS Juli 2013 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

01017 Diskret Matematik E12 Alle bokse fra logikdelens slides

01017 Diskret Matematik E12 Alle bokse fra logikdelens slides 01017 Diskret Matematik E12 Alle bokse fra logikdelens slides Thomas Bolander 1 Udsagnslogik 1.1 Formler og sandhedstildelinger symbol står for ikke eller og ( A And) hvis... så... hvis og kun hvis...

Læs mere

Andreas Nielsen Kalbyrisskolen 2009

Andreas Nielsen Kalbyrisskolen 2009 Andreas Nielsen Kalbyrisskolen 2009 Matematiske kompetencer. Matematiske emner (tal og algebra, geometri, statistik og sandsynlighed). Matematik i anvendelse. Matematiske arbejdsmåder. Tankegangskompetence

Læs mere

Faglige delmål og slutmål i faget Matematik. Trin 1

Faglige delmål og slutmål i faget Matematik. Trin 1 Faglige delmål og slutmål i faget Matematik. Trin 1 Faglige delmål for matematik i 1. og 2. klasse. Undervisningen skal lede frem mod, at eleverne efter 2. klasse har tilegnet sig kundskaber og færdigheder,

Læs mere

Bjørn Grøn. Euklids konstruktion af femkanten

Bjørn Grøn. Euklids konstruktion af femkanten Bjørn Grøn Euklids konstruktion af femkanten Euklids konstruktion af femkanten Side af 17 Euklids konstruktion af femkanten Et uddrag af sætninger fra Euklids Elementer, der fører frem til konstruktionen

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

Symbolbehandlingskompetencen er central gennem arbejdet med hele kapitlet i elevernes arbejde med tal og regneregler.

Symbolbehandlingskompetencen er central gennem arbejdet med hele kapitlet i elevernes arbejde med tal og regneregler. Det første kapitel i grundbogen til Kolorit i 8. klasse handler om tal og regning. Kapitlet indledes med, at vores titalssystem som positionssystem sættes i en historisk sammenhæng. Gennem arbejdet med

Læs mere

Udsagnslogik. Anker Mørk Thomsen. 6. december 2013

Udsagnslogik. Anker Mørk Thomsen. 6. december 2013 Udsagnslogik Anker Mørk Thomsen 6. december 2013 Logiske Udsagn Sætningstyper Spørgende (interrogative): Hvor længe bliver du i byen? Befalinger (imperative): Gå tilvenstre efter næste sving? Ønsker (optative):

Læs mere

Matematik, der afgør spil

Matematik, der afgør spil Artikeltype 47 Matematik, der afgør spil Sandsynlighedsregning vinder ofte. Kombinatorisk spilteori sejrer hver gang Mads Thrane Hvis du er træt af at tabe opvasketjansen i Sten Saks Papir eller Terning,

Læs mere