Et detaljert induksjonsbevis
|
|
|
- Margrethe Olsen
- 9 år siden
- Visninger:
Transkript
1 Et detaljert induksjonsbevis Knut Mørken 0. august Innledning På forelesningen 0/8 gjennomgikk vi i detalj et induksjonsbevis for at formelen n i = 1 n(n + 1) (1) er riktig for alle naturlige tall n = 1,, 3,..., og dette notatet er en oppsummering av denne forelesningen. Induksjon er erfaringsvis et tema mange sliter med, men det viktigste steget i å utvikle forståelsen er å se at det virker på et eksempel der en forstår alle detaljer. Når en så skal gjennomføre andre bevis kan en referere tilbake til det enkle prototypeksempelet når en blir usikker. Fordelen med formelen (1) er at en sum som inneholder n ledd, og dermed kan bli svært lang når n er stor, kan beregnes ved den enkle høyresiden som bare inneholder produktet av de tre tallene 1/, n og n + 1. Hvis for eksempel n = er det en lang og kjedelig jobb å regne ut i selv på en lommeregner, mens det er kjapt å regne ut høyresiden til å være 1/ = Noen lurer på hvor vi fikk formelen (1) fra. Det er forsåvidt et godt spørsmål, men det er ikke det vi er opptatt av nå. Det fins metoder for å finne fram til slike formler, ofte ved mer eller mindre strukturert gjetting. Veldig ofte gir ikke slike metoder noe bevis for at formelen alltid er riktig; dette må sjekkes på annen måte, og da er induksjonsbevis et svært nyttig verktøy. Et meget detaljert induksjonsbevis La oss begynne med å sjekke om formelen (1) holder for små verdier av n. For å gjøre dette er det hendig å gi formelen på høyre side et navn, for 1
2 eksempel s n = 1 n(n + 1). n = 1. I dette tilfellet ser vi at venstresiden av (1) er 1 i = 1 mens høyresiden er s 1 = 1/ 1 = 1. Altså stemmer formelen for n = 1. n =. Nå blir venstresiden i = 1 + = 3, mens høyresiden er s = 1/ 3 = 3. Dermed er formelen også riktig for n =. n = 3. Venstresiden er 3 i = i + 3 = = 6, mens s 3 = 1/ 3 4 = 6, så formelen (1) stemmer også for n = 3. n = 4. Venstresiden er 4 i = 3 i + 4 = = 10, mens s 4 = 1/ 4 5 = 10, så formelen stemmer. n = 5. Venstresiden er 5 i = 4 i + 5 = = 15, mens s 5 = 1/ 5 6 = 15, så formelen stemmer. n = 6. Venstresiden er 6 i = 5 i + 6 = = 1, mens s 6 = 1/ 6 7 = 1, så formelen stemmer. n = 7. Venstresiden er 7 i = 6 i + 7 = = 8, mens s 7 = 1/ 7 8 = 8, så formelen stemmer. Så langt ser det klart ut som formelen (1) er riktig, men vi har bare sjekket 7 tilfeller, så det er uendelig mange igjen å sjekke! Skal vi få sjekket at formelen er riktig for alle verdier av n må vi åpenbart finne en annen framgangsmåte enn å sjekke hvert enkelttilfelle. Når vi ser på hva vi gjorde for å verifisere formelen i tilfellene n = 1,,..., 7 så er det ett fellestrekk som går igjen i hvert tilfelle, bortsett fra tilfellet n = 1. Når vi for eksempel sjekket tilfellet n = 6 så kunne vi benytte oss av at vi allerede hadde regnet ut 5 i = 15, noe som gjorde arbeidet raskere. Når vi så skulle regne ut 7 i benyttet vi oss av at vi allerede hadde regnet ut 6 i = 1. Hvis vi fortsetter å sjekke spesialtilfeller er dette en god og fornuftig strategi. Anta nå at vi fortsetter å sjekke enkelttilfeller helt opp til n = k, med andre ord at vi har sjekket at formelen stemmer for alle naturlige tall n = 1,, 3,..., k; nå skal vi sjekke om mønsteret over gjentar seg og at vi da også kan etablere (1) for n = k + 1.
3 Vi har altså sjekket formelen for n = 1, n =, n = 3,..., n = k slik at vi vet at formelen k i = s k = 1 k(k + 1) () er riktig. La oss se om vi kan utnytte dette til å vise at formelen da også gjelder for n = k + 1, altså at i = s k+1 = 1 (k + 1)(k + ). (3) Som i tilfellene n = 1,, 3,..., 7 splitter vi summen og skriver ( k ) i = i + k + 1. Siden vi nå antar at () er riktig utnytter vi dette og får ( k ) i = i + k + 1 = 1 k(k + 1) + (k + 1) ( k = (k + 1) ) + (4) = 1 (k + 1)(k + ). Men dette siste uttrykket er åpenbart det samme som s k+1. Dermed har vi bevist at om formelen () er riktig så vil også formelen (3) være riktig. Med andre ord er det slik at om (1) gjelder for n = k så vil den også gjelde for n = k + 1. Hvilke konsekvenser har dette? Vi sjekket over at (1) er riktig for n = 7, så vi vet at hypotesen vår om at () skal være sann faktisk er riktig når k = 7. Argumentet vi nettopp gjennomførte viser at da må også (3) være sann, altså holder (1) for n = k + 1 = 8. Men da kan vi gjenta argumentet vårt med k = 8. Dette gir at formelen også må være riktig for n = k +1 = 9. Deretter kan vi gjenta argumentet med k = 9, k = 10, k = 11 osv, og det utrolige er at vi på denne måten kan etablere (1) for alle mulige verdier av n. Isteden for å sjekke (1) for hver eneste verdi av n har vi altså etablert et argument som øker gyldigheten av formelen fra n = k til n = k + 1, og siden argumentet gjelder for alle positive verdier av k ser vi at vi dermed har 3
4 bevist (1) for alle verdier av n. Vi ser også at det ikke er nødvendig å sjekke så mange verdier av n til å begynne med som det vi gjorde. Faktisk holder det å verifisere formelen for n = 1; etter dette kan vi bruke argumentet over for k = 1,, 3,.... Induksjonsbevis sammenlignes ofte med dominobrikker. For å få dominobrikker til å falle må vi vite at om en brikke faller så vil også den neste falle. Om dette er tilfelle ser vi at om vi dytter til den første brikken vil alle brikkene falle i tur og orden. Argumentet over som tar oss fra n = k til n = k +1 svarer til at en brikke velter den neste, mens det å sjekke n = 1 svarer til å dytte til den første brikken. Vi kan nå oppsummere beviset vårt i et generelt prinsipp. Induksjonsprinsippet. Anta at utsagnet P n gir mening for n = 1,,.... For å bevise at P n er sant for alle naturlige tall n kan vi gjøre følgende: 1. Sjekk at P 1 er sann.. Anta at k er et naturlig tall og at P n er sann for n = k. Bruk dette til å vise at da vil P n også være sann for n = k + 1. Om begge disse stegene lar seg gjennomføre må P n være sann for alle naturlige tall n Ordet utsagn angir her noe som enten er sant eller galt. I vårt tilfelle over er utsagnet P n likheten i (1) som for hver n enten er sann eller gal. Grunnen til at P n er sann for alle verdier av n dersom de to stegene over lar seg gjennomføre er akkurat som i vårt bevis over. Vi sjekker først eksplisitt at P 1 er sann, og setter så k = 1. Hvis steg i induksjonsprinsippet er sant så forteller det oss da at siden P 1 er sann må også P være sann. Deretter setter vi k = og steg forteller oss da at P 3 må være sann. Vi setter så k = 3 og får at P 4 må være sann. På denne måten får vi etablert at P n er sann for alle naturlige tall n. Det er viktig å skille mellom induksjonsprinsippet og dets praktiske anvendelse på et konkret eksempel. Induksjonsprinsippet er ikke mer enn det enkle prinsippet over. Men det å anvende det på et konkret eksempel kan ofte være utfordrende. Som regel er det ganske enkelt å vise at P 1 er sann, mens det ofte kan være mer utfordrende å vise at om P k er sann så må også P k+1 være sann. I vårt eksempel på bevis for formelen (1) er P 1 opplagt sann. Det å vise at om formelen holder for n = k så må den også holde for n = k + 1 er litt mer omfattende (argumentet i (4)), men allikevel ganske enkelt. I andre sammenhenger kan steg bli stort og omfattende. 4
5 3 Varianter av induksjonsprinsippet Induksjonsprinsippet slik vi har formulert det her er skreddersydd til vårt eksempel og andre lignende tilfeller, der vi ønsker å bevise en sekvens av utsagn {P n } som begynner med n = 1 og fortsetter med P, P 3, osv. Det kan selvsagt hende at vi kan komme i en situasjon der det første tilfellet ikke svarer til n = 1, men heller n = 0, n = 10, n = 37 eller et annet naturlig tall. Vi kan opplagt tilpasse induksjonsprinsippet til dette ved å endre det litt. Generalisering av induksjonsprinsippet. La n 0 være et naturlig tall og anta at utsagnet P n gir mening for n = n 0, n 0 + 1,.... For å bevise at P n er sant for alle naturlige tall n som er større enn eller lik n 0 kan vi gjøre følgende: 1. Sjekk at P n0 er sann.. Anta at k er et naturlig tall som tilfredstiller k n 0 og at P n er sann for n = k. Bruk dette til å vise at da vil P n også være sann for n = k + 1. Om begge disse stegene lar seg gjennomføre må P n være sann for alle naturlige tall n slik at n n 0. Det fins en mer omfattende generalisering av induksjonsprinsippet som vi bare vil beskrive uformelt. Kjernen i prinsippet er å gjennomføre steget fra n = k til n = k + 1, og slik vi brukte prinsippet trengte vi bare å vite at P k var sann for å slutte at P k+1 var sann. Men det er klart at om vi har sjekket at alle utsagnene opp til P k er sanne så kan vi i beviset for at P k+1 er sann benytte oss av at P n er sann for alle n i området n 0 n k om det skulle være nødvendig. I slike tilfeller er det viktig å huske på at vi kanskje må etablere sannheten til flere utsagn enn P n0 til å begynne med. Hvis vi for eksempel trenger å vite at både P k 1 og P k er sann for å slutte at P k+1 er sann må vi til og begynne med sjekke at både P n0 og P n0 +1 er sanne. Oversatt til dominobrikker svarer dette til et oppsett som er slik at en brikke bare faller dersom den blir truffet av begge de to foregående brikkene. For å få i gang kjedereaksjonen må vi da dytte til begge de to første brikkene. I slike mer generelle situasjoner er det viktig å tenke nøye gjennom hva som faktisk foregår, slik vi gjorde i eksempelet over, og påse at vi dytter til nok brikker til å begynne med til at alle brikkene faktisk faller til slutt. Det er vanskelig å sette opp en generell beskrivelse siden det kan være store variasjoner på hvor mange av de første utsagnene som må bevises manuelt til å begynne med, uten induksjon. 5
Matematisk induksjon
Matematisk induksjon 1 Innledning Dette er et nytt forsøk på å forklare induksjon. Strategien min i forelesning var å prøve å unngå å få det til å se ut som magi, ved å forklare prinsippet fort ved hjelp
Ukeoppgaver fra kapittel 10 & Induksjonsbevis
Plenumsregning 11 Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen - 24. april 2008 Grafteori Vi regner oppgavene på tavlen i dag. Oppgave 10.9 Oppgave 10.10 Oppgave 10.11 Oppgave 10.12 Oppgave
Grafteori. MAT1030 Diskret matematikk. Induksjonsbevis
Grafteori MAT1030 Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. april 2008 Vi regner oppgavene på tavlen
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. april 2008 Grafteori Vi regner oppgavene på tavlen
INDUKSJONSPRINSIPPET MAT111 - H16
INDUKSJONSPRINSIPPET MAT - H ANDREAS LEOPOLD KNUTSEN. Matematisk induksjon I læreboken står kun en liten trudelutt om matematisk induksjon i margen på side 0 (side 09 i utg. 7, side 08 i utg. ). Det er
Sekventkalkyle for utsagnslogikk
Sekventkalkyle for utsagnslogikk Tilleggslitteratur til INF1800 Versjon 11. september 2007 1 Hva er en sekvent? Hva er en gyldig sekvent? Sekventkalkyle er en alternativ type bevissystem hvor man i stedet
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 16: Rekursjon og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo 17. mars 009 (Sist oppdatert: 009-03-17 11:4) Forelesning 16 MAT1030 Diskret
Forelesning 1 mandag den 18. august
Forelesning 1 mandag den 18 august 11 Naturlige tall og heltall Definisjon 111 Et naturlig tall er et av tallene: 1,, Merknad 11 Legg spesielt merke til at i dette kurset teller vi ikke 0 iblant de naturlige
Prøveunderveiseksamen i MAT-INF 1100, H-03
Prøveunderveiseksamen i MAT-INF 1100, H-03 Denne prøveeksamenen har samme format som den virkelige underveiseksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. De 15 første oppgavene
Forelesning 2 torsdag den 21. august
Forelesning 2 torsdag den 21 august 15 Flere eksempler på bevis ved induksjon Proposisjon 151 La n være et naturlig tall Da er 1 + 2 + 4 + + 2 n 1 = 2 n 1 Bevis Først sjekker vi om proposisjonen er sann
Forelesning 14 torsdag den 2. oktober
Forelesning 14 torsdag den 2. oktober 4.1 Primtall Definisjon 4.1.1. La n være et naturlig tall. Da er n et primtall om: (1) n 2; (2) de eneste naturlige tallene som er divisorer til n er 1 og n. Eksempel
2.3 Delelighetsregler
2.3 Delelighetsregler Begrepene multiplikasjon og divisjon og regneferdigheter med disse operasjonene utgjør sentralt lærestoff på barnetrinnet. Det er mange tabellfakta å huske og operasjonene skal kunne
Lineære ligningssystemer og gausseliminasjon
Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente. Oppvarming Her er et eksempel på et
Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03
Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03 Denne prøveeksamenen har samme format som den virkelige underveiseksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. De
TMA4140 Diskret Matematikk Høst 2018
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 018 Seksjon 81 11 a) Oppgaven spør etter antall måter man kan gå opp n trappetrinn dersom man
Forelesning 19 torsdag den 23. oktober
Forelesning 19 torsdag den 23. oktober 5.3 Eulers kriterium Merknad 5.3.1. Følgende proposisjon er kjernen til teorien for kvadratiske rester. Kanskje ser beviset ikke så vanskelig ut, men la merke til
Karakteriseringen av like mengder. Mengder definert ved en egenskap.
Notat 2 for MAT1140 2 Bevis La oss si at vi er overbevist om at utsagn P er sant, og at vi ønsker å kommunisere denne innsikten. Eller la oss si vi er ganske sikre på at P er sant, men ønsker, overfor
TMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart Forelesning 3 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart Forelesning 3 Tema Logikk Definisjoner og Teoremer Mengder og Egenskaper ved de Reelle Tall
Relativt primiske tall
Relativt primiske tall To heltall a og b (der ikke begge er 0) kalles relativt primiske hvis gcd(a, b) = 1, dvs. de har ingen felles faktorer utenom 1. NB! a og b trenger ikke være primtall for at de skal
Lineære ligningssystemer og gausseliminasjon
Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente Oppvarming Her er et eksempel på et
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 1100 Modellering og beregninger. Eksamensdag: Torsdag 1. oktober 2005. Tid for eksamen: 9:00 11:00. Oppgavesettet er på
MA1301 Uke 1: In(tro)duksjon
MA1301 Uke 1: In(tro)duksjon Magnus Bakke Botnan 21. august 2012 Magnus Bakke Botnan () MA1301 Uke 1: In(tro)duksjon 21. august 2012 1 / 14 Introduksjon Praktisk Praktisk Faglærer Magnus B. Landstad: [email protected]
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Deleksamen i: MAT-INF 1100 Modellering og beregninger. Eksamensdag: Onsdag 9. oktober 2013. Tid for eksamen: 15:00 17:00. Oppgavesettet
Underveiseksamen i MAT-INF 1100, 17. oktober 2003 Tid: Oppgave- og svarark
Underveiseksamen i MAT-INF 1100, 17. oktober 003 Tid: 9.00 11.00 Kandidatnummer: De 15 første oppgavene teller poeng hver, de siste 5 teller 4 poeng hver. Den totale poengsummen er altså 50. Det er 5 svaralternativer
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 11 Modellering og beregninger. Eksamensdag: Torsdag 12. oktober 26. Tid for eksamen: 9: 11:. Oppgavesettet er på 8 sider.
K A L K U L U S. Løsningsforslag til utvalgte oppgaver fra Tom Lindstrøms lærebok. ved Klara Hveberg. Matematisk institutt Universitetet i Oslo
K A L K U L U S Løsningsforslag til utvalgte oppgaver fra Tom Lindstrøms lærebok ved Klara Hveberg Matematisk institutt Universitetet i Oslo Forord Dette er en samling løsningsforslag som jeg opprinnelig
Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.
Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere
Analysedrypp I: Bevis, mengder og funksjoner
Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik
Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner
MAT1140, H-16 Mer om mengder: Tillegg til Kapittel 1 Vi trenger å vite litt mer om mengder enn det som omtales i første kapittel av læreboken. I dette tillegget skal vi først se på regneregler for Booleske
Forelesning 9 mandag den 15. september
Forelesning 9 mandag den 15. september 2.6 Største felles divisor Definisjon 2.6.1. La l og n være heltall. Et naturlig tall d er den største felles divisoren til l og n dersom følgende er sanne. (1) Vi
Analysedrypp I: Bevis, mengder og funksjoner
Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik
Diofantiske likninger Peer Andersen
Diofantiske likninger av Peer Andersen Peer Andersen 2013 Innhold Når en diofantisk likning har løsning... 3 Generell løsning av den diofantiske likningen... 4 Løsningsmetode når vi kjenner en spesiell
Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen
MAT1030 Diskret Matematikk Forelesning 15: og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo Repetisjon 11. mars 2009 (Sist oppdatert: 2009-03-10 20:38) MAT1030 Diskret Matematikk
Matriser. Kapittel 4. Definisjoner og notasjon
Kapittel Matriser Vi har lært å løse et lineært ligningssystem ved å sette opp totalmatrisen til systemet gausseliminere den ved hjelp av radoperasjoner på matrisen Vi skal nå se nærmere på egenskaper
MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven
MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven Richard Williamson 3. oktober 2014 Innhold Pensumet 2 Generelle råd 2 Hvordan bør jeg forberede meg?..........................
Rekker (eng: series, summations)
Rekker (eng: series, summations) En rekke er summen av leddene i en følge. Gitt følgen a 0, a 1, a,, a n,, a N Da blir den tilsvarende rekken a 0 + a 1 + a + + a n + + a N Bokstaven n er en summasjonsindeks.
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 00 Modellering og beregninger. Eksamensdag: Torsdag 6. desember 202. Tid for eksamen: 9:00 3:00. Oppgavesettet er på 8
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 1100 Modellering og beregninger Eksamensdag: 15. oktober 004 Tid for eksamen: 11:00 13:00 Oppgavesettet er på 8 sider.
Rekurrens. MAT1030 Diskret matematikk. Rekurrens. Rekurrens. Eksempel. Forelesning 16: Rekurrenslikninger. Dag Normann
MAT1030 Diskret matematikk Forelesning 16: likninger Dag Normann Matematisk Institutt, Universitetet i Oslo INGEN PLENUMSREGNING 6/3 og 7/3 5. mars 008 MAT1030 Diskret matematikk 5. mars 008 Mandag ga
7 Egenverdier og egenvektorer TMA4110 høsten 2018
7 Egenverdier og egenvektorer TMA4 høsten 8 Det er ofte hensiktsmessig å tenke på en matrise ikke bare som en tabell med tall, men som en transformasjon av vektorer. Hvis A er en m n-matrise, så gir A
Vi anbefaler at elevene blir introdusert for likninger via en praktisk problemstilling. Det kan for eksempel være:
Likninger og algebra Det er større sprang fra å regne med tall til å regne med bokstaver enn det vi skulle tro. Vi tror at både likninger og bokstavregning (som er den algebraen elevene møter i grunnskolen)
Egenverdier og egenvektorer
Kapittel 9 Egenverdier og egenvektorer Det er ofte hensiktsmessig å tenke på en matrise ikke bare som en tabell med tall, men som en transformasjon av vektorer Hvis A er en m n-matrise, så gir A en transformasjon
Mengder, relasjoner og funksjoner
MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030
Denne følgen har N+1 ledd. En generell uendelig følge kan settes opp slik:
Følger En følge (eng: sequence) er en oppramsing av tall. Hvert tall i oppramsingen har et nummer eller en posisjon som er bestemt av hvor i følgen tallet står. Det første tallet har vanligvis posisjonen
4 Matriser TMA4110 høsten 2018
Matriser TMA høsten 8 Nå har vi fått erfaring med å bruke matriser i et par forskjellige sammenhenger Vi har lært å løse et lineært likningssystem ved å sette opp totalmatrisen til systemet og gausseliminere
PG4200 Algoritmer og datastrukturer Forelesning 3 Rekursjon Estimering
PG4200 Algoritmer og datastrukturer Forelesning 3 Rekursjon Estimering Lars Sydnes, NITH 22.januar 2014 I. Rekursjon commons.wikimedia.org Rekursjon i naturen En gren er et tre som sitter fast på et tre.
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Deleksamen i: MAT-INF 1100 Modellering og beregninger. Eksamensdag: Onsdag 12. oktober 2016. Tid for eksamen: 15:00 17:00. Oppgavesettet
Notat om Peanos aksiomer for MAT1140
Notat om Peanos aksiomer for MAT1140 1 Tall Hva er egentlig tall? Tanken her, er ikke å si hva tall er, hva deres interne struktur muligens kan være, men å si hva vi kan gjøre med dem, sett utenifra. Vi
Partielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140, H-15 Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns
Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra
Litt om numerisk integrasjon og derivasjon og løsningsforslag til noen ekstraoppgaver MAT-INF 1100 uke 48 (22/11-26/11)
Litt om numerisk integrasjon og derivasjon og løsningsforslag til noen ekstraoppgaver MAT-INF 1100 uke 48 (22/11-26/11) Knut Mørken 22. november 2004 Vi har tidligere i kurset sett litt på numerisk derivasjon
MA1201, , Kandidatnummer:... Side 1 av 5. x =.
MA1201, 05.10.2016, Kandidatnummer:... Side 1 av 5 Oppgave 1 Løs ligningssystemet S T S T 1 1 0 1 W X W X U2 1 1 V x = U5V. 1 0 2 1 x =. Oppgave 2 Regn ut: S T S T 1 2 1 1 1 W X W X U 3 0 1 V U0 1 V =
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 4. mai 2010 (Sist oppdatert: 2010-05-04 14:11) Forelesning 27 MAT1030 Diskret Matematikk 4. mai 2010
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 30. april 2008 Oppsummering Mandag så vi på hvordan vi kan finne uttrykk og termer på infiks form,
KAPITTEL 3 Litt logikk og noen andre småting
KAPITTEL 3 Litt logikk og noen andre småting Logikk er sentralt både i matematikk og programmering, og en innføring i de enkleste delene av logikken er hovedtema i dette kapitlet I tillegg ser vi litt
Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet
Forelesning 23 Grafteori Dag Normann - 16. april 2008 Oppsummering En graf består av noder og kanter Kanter ligger inntil noder, og noder kan være naboer. Vi bør kjenne til begrepene om sammenhengende
Rekker (eng: series, summations)
Rekker (eng: series, summations) En rekke er summen av leddene i en følge. Gitt følgen a 0, a 1, a,, a n,, a N Da blir den tilsvarende rekken a 0 + a 1 + a + + a n + + a N Bokstaven n er en summasjonsindeks.
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 1100 Modellering og beregninger. Eksamensdag: Onsdag 8. oktober 2014. Tid for eksamen: 15:00 17:00. Oppgavesettet er på
Eksamensoppgave i TMA4140 Diskret matematikk
Institutt for matematiske fag Eksamensoppgave i TMA44 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 7359755 Eksamensdato: 8 desember 25 Eksamenstid (fra til): 9:-3: Hjelpemiddelkode/Tillatte
Forelesning 27. MAT1030 Diskret Matematikk. Bevistrær. Bevistrær. Forelesning 27: Trær. Roger Antonsen. 6. mai 2009 (Sist oppdatert: :28)
MAT1030 Diskret Matematikk Forelesning 27: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 27 6. mai 2009 (Sist oppdatert: 2009-05-06 22:28) MAT1030 Diskret Matematikk 6.
Reelle tall på datamaskin
Reelle tall på datamaskin Knut Mørken 5. september 2007 1 Innledning Tirsdag 4/9 var tema for forelesningen hvordan reelle tall representeres på datamaskin og noen konsekvenser av dette, særlig med tanke
Innføring i bevisteknikk
Innføring i bevisteknikk (Kun det som undervises på forelesningen er pensum. NB! Avsnitt 1.6 og 1.7 inngår ikke i pensum) Et bevis går ut på å demonstrere at implikasjonen p q er sann. p kalles for premissen
Notater fra forelesning i MAT1100 torsdag 27.08.09
Notater fra forelesning i MAT1100 torsdag 27.08.09 Amandip Sangha, [email protected] 28. august 2009 Definisjon 1.1. En delmengde A R kalles oppad begrenset dersom det finnes et tall b R slik at b x
INF3170 Logikk. Forelesning 3: Utsagnslogikk, semantikk, sekventkalkyle. Roger Antonsen. Institutt for informatikk, Universitetet i Oslo
INF3170 Logikk Forelesning 3: Utsagnslogikk, semantikk, sekventkalkyle Roger Antonsen Institutt for informatikk, Universitetet i Oslo 9. februar 2010 (Sist oppdatert: 2010-02-09 15:10) Utsagnslogikk INF3170
MA1301 Tallteori Høsten 2014 Oversikt over pensumet
MA1301 Tallteori Høsten 2014 Oversikt over pensumet Richard Williamson 3. desember 2014 Innhold Pensumet 2 Generelle råd 2 Hvordan bør jeg forberede meg?.......................... 2 Hva slags oppgaver
Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper
Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper Richard Williamson 3. desember 2014 Oppgave 1 La n være et naturlig tall. Bevis at det finnes et primtall p slik at p >
Lineærtransformasjoner
Kapittel 8 Lineærtransformasjoner I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige
Eksempler på praktisk bruk av modulo-regning.
Eksempler på praktisk bruk av modulo-regning. Se http://www.cs.hioa.no/~evav/dm/emner/modulo1.pdf Tverrsum Tverrsummen til et heltall er summen av tallets sifre. Eksempel. a = 7358. Tverrsummen til a er
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgavesettet er på 6 sider. Vedlegg: Tillatte hjelpemidler: INF1080
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 11: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 7. mars 009 (Sist oppdatert: 009-03-30 09:39) Oppgave 7. Finn en rekursiv og en ikke-rekursiv
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgave 1 Mengdelære (10 poeng)
Forelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet Christian Mahesh Hansen - 5. februar 2007
Forelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet Christian Mahesh Hansen - 5. februar 2007 1 Sekventkalkyle 1.1 Semantikk for sekventer Semantikk for sekventer Definisjon 1.1 (Gyldig
Test, 2 Algebra. Innhold. 2.1 Tallfølger. R2, Algebra Quiz
Test, Algebra Innhold. Tallfølger.... Tallrekker.... Uendelige geometriske rekker... 7. Induksjonsbevis... 0 Grete Larsen. Tallfølger ) En rekursiv formel uttrykker et ledd i en tallfølge ved hjelp av
Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner
Forelesning 14 og induksjon Dag Normann - 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt om ekvivalensrelasjoner og partielle ordninger. Vi snakket videre om funksjoner.
MA1301 Tallteori Høsten 2014
MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 16. april 2008 Oppsummering En graf består av noder og kanter Kanter ligger inntil noder, og
Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 23: Grafteori
Oppsummering MAT1030 Diskret matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 16. april 2008 En graf består av noder og kanter Kanter ligger inntil noder, og
MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma
Motivasjon og Målsetting Veilederkompendium
Motivasjon og Målsetting Veilederkompendium Overordnet modell for kommunikasjon Indre representasjon Filter: Indre tilstand (følelse) Fysiologi Sansene Slette Forvrenge Generalisere Språk Minner Holdninger
Oversikt over kvadratiske kongruenser og Legendresymboler
Oversikt over kvadratiske kongruenser og Legendresymboler Richard Williamson 3. desember 2014 Oppgave 1 Heltallet er et primtall. Er 11799 en kvadratisk rest modulo? Hvordan løse oppgaven? Oversett først
MAT3000/ Våren 2013 Obligatorisk oppgavesett nr. 2 Løsningsskisse
MAT3000/4000 - Våren 2013 Obligatorisk oppgavesett nr. 2 Løsningsskisse Oppgave 1 Din offentlig nøkkel er N = 377 og a = 269, mens lederen av klubben har valgt N = 1829 og a = 7. Passordet som du har mottatt
Matematikk for IT, høsten 2017
Matematikk for IT, høsten 017 Oblig 5 Løsningsforslag 0. september 017 Oppgave 1 (eksamen desember 013) Gitt følgende logiske utsagn: ( p ( p q)) Benytt lovene i logikk til å finne hvilket av følgende
Obligatorisk oppgave 2 i MAT1140, Høst Løsninger og kommentarer
Obligatorisk oppgave 2 i MAT1140, Høst 2014. Løsninger og kommentarer Dette vil ikke være et løsningsforslag i vanlig forstand, men en diskusjon av oppgavene, av hvordan studentene løste dem og av diverse
