Induktionsbevis AM 2010.

Slides:



Advertisements
Lignende præsentationer
VEKTORER AM 2006.
Advertisements

Vektorer i planen Regneregler Definition Begreber Definition af:
Overskrift her Navn på oplægsholder Navn på KU- enhed For at ændre ”Enhedens navn” og ”Sted og dato”: Klik i menulinjen, vælg ”Indsæt” > ”Sidehoved / Sidefod”.
Separation af de variable
Reduktion AM 2009.
Parabler, 2. gradspolynomier og 2.gradsligninger
Perspektivgeometri.
Parabler – toppunkt og rødder
Udsagn (propositioner)
Peter Nedergaard: Hypotesetest
Anvendt Statistik Lektion 4
AT 2 - argumenter og bevisførelse
Oplæg og øvelser, herunder frugt og vand
Lineære funktioner AM/ Maj 2006
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
2. gradspolynomier og parabler
Lav en tilfældig retvinklet trekant
Wessel Distributiv lov. I. Multiplikation med reelt tal Ved multiplikation med et reelt tal r multipliceres længderne med |r| og vinklerne bibevares,
Induktionsbevis AM INDUKTION – generalisering ud fra specialtilfælde Eks. I Fremskrivningsformlen ved en fast vækstrate r pr. trin. Startværdi =
Kommunikation mellem mennesker
Areal og Integral AM/2011.
Teori, metodologi og metode
Reduktion AM 2009.
Parabler, 2. gradspolynomier og 2.gradsligninger
FEN Diskret matematik/Seminar 3 - proofs 1 Beviser Et bevis er en argumentation, som overbeviser om, at en påstand er sand, påstanden kaldes.
Statistik Lektion 6 Konfidensinterval for andele og varians
Areal og bestemt integral
Logistisk Regression Kategoriske og Kontinuerte Forklarende Variable
1 Bevisteknikker. 2 Bevisteknikker (relevant både ved design og verifikation) Teorem: Der findes uendeligt mange primtal Bevis: Antag at der findes et.
Induktion og rekursion
Parabler, 2. gradspolynomier og 2.gradsligninger
Økonometri 1: F3 Økonometri 1 Den simple regressionsmodel 15. september 2006.
Introduktion til Det Praktiske Projekt
FEN Rekursion og induktion1 Induktion og (især) rekursion Mange begreber defineres ud fra en basis og så en gentagen anvendelse af et antal regler.
Videnskabsteori - for begyndere 3g AT 2014
2.møde, 1. Time forskning - projektarbejde
Afledet funktion Her har jeg tegnet f(x) og f’(x)=g(x)
Statikstik II 2. Lektion Lidt sandsynlighedsregning
Spørgsmål: Kan man få Excel til at lave en fremskrivning af et sæt af data? Altså at lave en prognose på baggrund af de pågældende data… Eksempel: Jeg.
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel 2.3, , problem 30.1.c] Gerth Stølting Brodal.
Delprøve i kurset ”Calculus og indledende lineær algebra” 29. oktober 2014 Delprøve i M2CAL2 29. oktober A. B. A. 1x1 + 1x4 + 1x(-1) = 4 B. 1x4 =
W1b1 PC baseret analyse og simulering. w1b2 Definition Digital Elektronisk beregningsmaskine, der har intern hukommelse til lagring af program og mellem-regninger.
1 JavaScript Lektion 6: Repetition i JavaScript Math TIDY Litteratur: JST lektion 10.
Design, verifikation og analyse
1 Design, analyse og verifikation. 2 Design Bevisteknikker Design ved hjælp at matematisk induktion Analyse O-notation Logaritmer Binær søgning Verifikation.
Videnskabsteori & metode
Økonometri 1: Instrumentvariabelestimation1 Økonometri 1 Instrumentvariabelestimation II 28. april 2006.
Kvantitative metoder 2: Den multiple regressionsmodel1 Kvantitative metoder 2 Den multiple regressionsmodel 26. februar 2007.
Økonometri 1: Den simple regressionsmodel Økonometri 1 Den simple regressionsmodel 14. september 2004.
Semantik, model teori Et (formalt) sprog har ingen mening indtil man interpreterer dets forskellige (korrekte) udtryksformer (vff’s) mhp. en bestemt situation.
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
Basics: Binære variable, logiske operationer
Økonometri 1: Instrumentvariabelestimation1 Økonometri 1 Instrumentvariabelestimation 24. april 2003.
Øvelse 9 - Phillipskurven
Statistik II 4. Lektion Logistisk regression.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal.
Økonometri 1: Heteroskedasticitet1 Økonometri 1 Heteroskedasticitet 27. marts 2003.
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17] Gerth Stølting Brodal Aarhus Universitet.
Fastlæggelse af praksis – plads til forbedring? 8. november 2011 v/formand for FSR’s Skatteudvalg statsautoriseret revisor John Bygholm.
SKRIVEFAGET Modul 3: Argumentation Lektion 2: Toulmins argumentationsmodel.
Gud er lys, og der er intet mørke i ham 1. Joh. 1.5
Reduktion AM 2009.
Naturvidenskabelig metode
VEKTORER AM 2006.
Anvendt Statistik Lektion 6
Areal og Integral AM/2004.
Quiz om [Dit emne] [Dit navn] 12 апреля 2019 г..
Præsentationens transcript:

Induktionsbevis AM 2010

INDUKTION – generalisering ud fra specialtilfælde Eks. I Fremskrivningsformlen ved en fast vækstrate r pr. trin. Startværdi = b Værdi efter n fremskrivninger = Kn K1 = b + r  b = (1 + r)  b Man fremskriver ved at gange med (1 + r) K2 = (1 + r)  K1 = (1 + r)  (1 + r)  b = (1 + r) 2  b K3 = (1 + r)  K2 = (1 + r)  (1 + r) 2  b = (1 + r) 3 b Generalisering: Kn = (1 + r) n b ...... tror vi da Eks. II 2  2 = 2 + 2 = 22 Generalisering: addition, multiplikation og potensopløftning er samme operation. .... nej, vel

Lad Pn, nN være et udsagn, så gælder: Sætning Lad Pn, nN være et udsagn, så gælder: P1 er sand  (Pn  Pn+1,  nN )  Pn er sand  nN ”Oversat”: HVIS en påstand gælder på 1. trin OG HVIS påstanden gælder på trin n, så kan man vise, at det også gælder på næste trin (n+1) SÅ gælder påstanden for alle naturlige tal n

Trin n+1 Trin n Trin 1

Trin n+2 Trin n+1 Trin n Trin 2 Trin 1

Bevismetoden INDUKTION Vis, at sætningen gælder for n = 1 Antag, at sætningen gælder for n og vis, så, at den dermed også gælder for n+1

Sætning: Kn= K0  (1+r)n n=1: K1= K0+rK0 = K0  (1 + r) = K0  (1 + r)1  Reglen gælder altså ved et starttrin på 1 Antag at Kn= K0  (1+r)n er sandt for et trin n Kn+1 = Kn  (1 + r) = K0  (1+r)n  (1 + r) Potensregel P1  = K0  (1+r)n+1 dvs. at sætningen dermed også gælder for n+1 Da de to betingelser i induktionsbeviset er opfyldt, gælder sætningen altså for alle nN

Sætn.: (xn)’ = n  xn-1, for nN  (x)’ = 1 x0  (x)’ = 1  Reglen gælder altså ved et starttrin på 1 Antag at (xn)’ = n  xn-1 er sandt for et trin n (xn+1)’ = (x  xn)’  = 1 xn + x  n  xn-1 Produktreglen  = 1xn + nxn =  (1+ n)xn =  (n + 1)xn Potensregel P1: x1  xn-1 = xn xn sættes uden for parentes dvs. at sætningen dermed også gælder for n+1 Da de to betingelser i induktionsbeviset er opfyldt, gælder sætningen altså for alle nN for aR Man kan med en anden metode vise, at (xa)’ = a  xa-1