INDUKSJONSPRINSIPPET MAT111 - H16

Størrelse: px
Begynne med side:

Download "INDUKSJONSPRINSIPPET MAT111 - H16"

Transkript

1 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 en veldig viktig teknikk og vi kommer til å møte på denne flere steder i kurset (og i senere kurs), så det er viktig å lære seg dette. Hensikten med dette notatet er å utfylle læreboken ved å gi noen flere eksempler. Her er en oppsummering av teknikken: Induksjonsprinsippet. La P(n) være et utsagn som gir mening for ethvert heltall n n 0, der n 0 er et fiksert heltall (ofte er n 0 = ). For å vise at P(n) er sann for alle heltall n n 0 er det nok å vise følgende to fakta: (I) Utsagnet P(n) er sant når n = n 0 (dvs. P(n 0 ) er et sant utsagn). (II) Hvis utsagnet P(n) er sant når n = k, der k er et fast men uspesifisert heltall slik at k n 0, så holder også P(n) når n = k + (dvs. at hvis P(k) er sant så er også P(k+) sant). Merknad. I steg tar vi ikke stilling til om utsagnet P(k) virkelig er sant: vi bare viser at om P(k) er sant, så er jammen P(k +) sant også. Antagelsen om at P(k) er sann kalles induksjonshypotesen og hele trinn (II) kalles gjerne induksjonstrinnet. Tanken bak prinsippet (og grunnen til at det virker!) er temmelig enkel: Vi viser i trinn (I) at P(n 0 ) sann. Trinn (II) med k = n 0 viser derfor at også P(n 0 +) er sann. Vi kan derfor bruke (II) en gang til med k = n 0 +, som viser da at også P(n 0 +) er sann. Trinn (II) nok en gang med k = n 0 + gir at P(n 0 +3) er sann, osv.. Noen eksempler på bruk Læreboken har bare noen få eksempler på bruk av induksjonsprinsippet, stort sett knyttet til å beregne n-te deriverte av funksjoner (se også beviset for Taylors teorem (Teorem i 4.0)). Vi skal her se på noen andre eksempler på bruk av induksjonsprinsippet. Forsøk gjerne å løse problemene på egen hånd først.

2 ANDREAS LEOPOLD KNUTSEN Eksempel. Vis at for ethvert positivt heltall n, er summen av alle heltallene fra til n lik n(n+)/. Bevis ved induksjon. Vi skal vise at utsagnet n P(n) i = n = n(n+) i= er riktig for alle heltall n. (Første likhet til venstre er kun definisjonen av summenotasjon, som jeg regner med er kjent fra VGS.) Først observerer vi at P() er riktig: Ved å sette n = inn i formelen, ser vi nemlig at venstresiden er da lik og høyresiden er lik (+) = =. (Dette er trinn I.) La oss nå anta at påstanden P(n) holder for n = k, der k, dvs. vi antar at P(k) holder, med andre ord at k k(k +) () i = k = i= (Dette er induksjonshypotesen.) Vi vil bruke dette til å vise at P(k + ) holder (induksjonstrinnet). Da regner vi ut: k+ i = k +(k +) i= = (++3+ +k)+(k +) ved () k(k +) = +k + k(k +)+(k +) (k +)(k +) = =. Dette er P(n) for n = k+. Vi har derfor vist at hvis P(k) er sant så er også P(k+) sant og vi er ferdig. Merk hvor vi brukte induksjonshypotesen i induksjonstrinnet. Merknad. Eksempel er Teorem (b) i 5. i læreboken, hvor det bevises på en annen måte uten induksjon. Beviset i boken er lik beviset til den berømte tyske matematikeren Johann Carl Friedrich Gauss ( ), ifølge en anekdote. Da han var åtte hadde han nemlig en lærer som ga hele klassen i oppgave å addere alle positive heltall fra til 00, for å holde dem opptatt. Gauss kom raskt frem til det riktige svaret, 5050 = 00 0, ved først å finne frem til formelen n = n(n+). Den kom han frem til ved å legge merke til at ganger summen kunne skrives som (n ) + (n ) + n + n + (n ) + (n )

3 INDUKSJONSPRINSIPPET MAT - H 3 Siden summen av hver kolonne er n+ ogdet finnes n kolonner, er (++ +n) = n(n+). Neste eksempel er av lignende type, men viser at vi noen ganger trenger litt mer mellomregninger i induksjonstrinnet for å nå frem. Eksempel. Vis at for alle naturlige tall n er n j= j = n > ( n+ ). Bevis ved induksjon. Vi skal vise at utsagnet P(n) n j= j = n > ( n+ ) er riktig for alle heltall n. Vi starter med å sjekke om P() er riktig: Ved å sette n = inn i ulikheten, ser vi nemlig at venstresiden er da lik og høyresiden er lik ( ). Påstanden P() sier derfor at > ( ). Dette er ekvivalent med 3 >, som igjen er ekvivalent med 9 4 >, som er åpenbart riktig. Vi har dermed vist at P() holder. (Dette er trinn I.) La oss nå anta at påstanden P(n) holder for n = k, der k, dvs. vi antar at P(k) holder, med andre ord at () k j= j = k > ( k + ). Her har vi gjort mellomregningene > ( ) > 3 > 3 > ( ) 3 ( ) 9 > 4 >.

4 4 ANDREAS LEOPOLD KNUTSEN (Dette er induksjonshypotesen.) Vi vil bruke dette til å vise at P(k +) holder. Vi regner ut k+ ( = )+ j 3 k k + j= ved () > ( k + )+ k + = = = = ( k + ) k ++ k + (k +) k ++ k + k +3 k + k + k + k +3 k + (Merk at vi altså har brukt induksjonshypotesen her, i andre trinn; resten er elementær regning.) For å vise påstanden P(k+), som lyder: P(k +) k+ j= ser vi at det derfor holder å vise ulikheten k +3 (3) > k +. k + j > ( k + ), Ganger vi begge sidene med k + og kvadrerer, så får vi at siste ulikhet er ekvivalent med (k +3) > 4(k +)(k +), eller 4k +k +9 > 4k +k+8, somersann. ViharderforvistatP(k+)holderhvisP(k)ersant. Induksjonsbeviset er dermed ferdig. Neste eksempel er et eksempel på induksjonsstart i et heltall større enn. Vi dropper også skrivemåten P(n) for påstanden, siden det ikke er vanlig å være like formell som vi har vært i de forrige eksemplene når forholdene er oversiktlige. Eksempel 3. Vis at for alle heltall n 5, gjelder 4n < n. Bevis ved induksjon. Vi skal vise at ulikheten 4n < n er riktig for alle heltall n 5.

5 INDUKSJONSPRINSIPPET MAT - H 5 For n = 5 sier ulikheten 4 5 < 5, m.a.o 0 < 3, som er riktig. Anta nå at ulikheten holder for et heltall n = k 5, dvs. anta Adderer vi 4 på begge sider, får vi 4k < k, for et heltall k 5. (4) 4k +4 < k +4. Vi observerer at 4 = k, siden k 5, slik at (5) k +4 k + k = k = k+. Setter vi sammen (4) og (5), får vi: 4(k +) < k+, som er ulikheten 4n < n for n = k +. Vi har dermed vist ulikheten for alle n 5 ved induksjon. Neste eksempel er av en litt annen type: Eksempel 4. Vis at 8 n 3 n er delelig på 5 for alle heltall n. Bevis ved induksjon. For n = er 8 n 3 n = 8 3 = 5, som er delelig på 5. Anta nå at () 8 k 3 k er delelig på 5 for et heltall k. Vi vil vise at også 8 k+ 3 k+ er delelig på 5. Da skriver vi 3 8 k+ 3 k+ = 8 8 k 8 3 k +8 3 k 3 3 k = 8 (8 k 3 k )+(8 3) 3 k = 8 (8 k 3 k )+5 3 k. Induksjonshypotesen () gir at 8 (8 k 3 k ) er delelig på 5. Dessuten er også 5 3 k delelig på 5. Men da er også summen 8 (8 k 3 k )+5 3 k delelig på 5, slik at vi har vist at 8 k+ 3 k+ er delelig på 5. Vi har dermed vist påstanden for alle n ved induksjon. Hvorfor kom vi på å addere akkurat 4? Jo, vi visste at vi ville frem til ulikheten for n = k +, dvs. 4(k +) < k+. Venstresiden her er nettopp 4k +4, og det første vi derfor prøver på, for å utlede den ønskede ulikheten av (3), er å legge til 4. Så ser vi hva som skjer! Matematikk består ofte av å prøve seg frem. Den pene løsningen vi så skriver i lærebøker og i matematiske artikler er rensket for alle feiltrinn og skrevet i andre rekkefølger enn den vi har på kladd, og viser således ikke alltid hele tankegangen bak. 3 Igjen, hvorfor kom vi på dette trikset med å legge til og trekke fra 8 3 k? Jo, vi ønsker å kunne bruke induksjonshypotesen, som involverer uttrykket 8 k 3 k. Vi ser at 8 k+ = 8 8 k, og for å fremskaffe uttrykket 8 k 3 k trekker vi fra 8 3 k, og skriver 8 8 k 8 3 k = 8 (8 k 3 k ). Selvsagt må vi da også legge til 8 3 k, og må jobbe videre med det uttrykket vi da får.

6 ANDREAS LEOPOLD KNUTSEN Neste eksempel er hentet fra en eksamensoppgave fra UiO og er et typisk eksempel på en oppgave med praktisk formulering : Eksempel 5. En butikkarbeider har stablet hermetikkbokser oppå hverandre i en slags pyramideform slik at det øverste laget består av én boks, det neste laget av tre bokser plassert i trekant, det neste laget der igjen av seks bokser plassert i trekant osv. Figuren under viser de tre øverste lagene sett ovenfra. (a) Vis at antall bokser i det n-te laget ovenfra er n(n+). (b) Vis at det totale antall bokser i de n øverste lagene er n(n+)(n+). Løsning. (a) La A n være totalt antall bokser i det n-te laget ovenfra. Da vet vi at A = (og A = 3, A 3 = ). Siden det n-te laget oppnås ved å legge til ytterligere n bokser i forhold til forrige lag, har vi A n = ++ +n, og vi kan nå løse oppgaven som i Eksempel. En alternativ, men nesten helt ekvivalent løsning, er å argumentere for at vi har rekursjonsformelen (7) A n = A n +n, for alle heltall n, nettopp siden det n-te laget oppnås ved å legge til ytterligere n bokser i forhold til forrige lag. Oppgaven ber oss om å vise at (8) A n = n(n+). for alle heltall n. For n = sier dette A = =, som er riktig.

7 INDUKSJONSPRINSIPPET MAT - H 7 Anta at (8) holder for et heltall n = k (induksjonshypotesen). Siden k+, kan vi konkludere fra (7) at A k+ = A k +(k + ), som sammen med induksjonshypotesen for n = k gir at k(k +) k(k +)+(k +) A k+ = A k +k + = +(k +) = (k +)(k +) (k +)(k +) = =, som er formelen (8) for n = k +. Vi har dermed vist at (8) holder for alle heltall n ved induksjon. (b) Oppgaven ber oss om å vise at (9) A + +A n = n(n+)(n+) holder for alle heltall n. For n = sier dette at A = 3 =, som igjen er riktig. Anta nå at (9) holder for et heltall n = k, dvs. anta k(k +)(k +) (0) A + +A k =. Vi kommer også til å bruke det vi viste i (a) for n = k +, nemlig () A k+ = Da regner vi ut: (k +)(k +). A + +A k+ = (A + +A k )+A k+ (0) k(k +)(k +) = +A k+ () k(k +)(k +) (k +)(k +) = + k(k +)(k +)+3(k +)(k +) (k +3)(k +)(k +) = = (k +)(k +)(k +3) =, som er formelen (9) for n = k +. Vi har dermed vist at (9) holder for alle n ved induksjon. Erfaringsmessig viser det seg at en del studenter har problemer med å utføre matematisk induksjon på riktig måte eller med å føre oppgaver på slik måte at det klart kommer frem at man har forstått teknikken. Det er viktig at det klart kommer frem av føringen: hvor man viser påstanden for n = n 0 ;

8 8 ANDREAS LEOPOLD KNUTSEN hvor manbruker induksjonshypotesen forn = k foråvise atpåstanden holder også i trinnet n = k +. Ofte er siste punkt veldig uklart utført og i mange tilfeller ikke utført i det hele tatt. Enannentype, omennsjeldnere feil, eratmanblirsåopphengtiinduksjonstrinnet at man glemmer å vise påstanden for n = n 0. Følgende eksempel viser hvor galt det da kan gå, i det at man viser en påstand som er opplagt feil. Oppgave. Vis at n+ < n for alle heltall n. Svar. Antar ulikheten holder for n = k, dvs. k + < k. Legger vi til på begge sider får vi k++ < k+, dvs. (k+)+ < (k+), som er ulikheten vi skal vise for n = k+. Har dermed vist at n+ < n for alle heltall n ved induksjon. Det morsomme her er at man har utført induksjonstrinnet riktig, og man har vist at dersom påstanden holder for k, så holder den også for k +. Problemet er at man ikke har vist at påstanden er riktig for noen k i det hele tatt, slik at det man har vist er egentlig et tomt utsagn. Ellers er det en ikke så uvanlig feil å tro at man har vist en formel/påstand kun ved å ha sjekket den i de første tilfellene (spesielt skjer dette i tilfeller der man blir bedt om å først gjette en formel/påstand basert på noen enkelttilfeller, og deretter å bevise den). Følgende to velkjente eksempler viser at man ikke kan trekke generelle slutninger ut i fra (noen få) enkelttilfeller. Eksempel. ( The Monstrous Counterexample, fra P. J. Davies, Are there coincidences in mathematics?, Amer. Math. Monthly, 88 (98), 3-30). La oss betrakte påstanden P(n) 4n + er ikke et heltall. Det er lett å sjekke at denne er riktig for de laveste positive heltallene. Faktisk kan man vise at påstanden er riktig for alle heltall n slik at n Men det morsomme er at påstanden slår feil for neste heltall, n = Eksempel 7. Et Fermat-tall, oppkalt etter den berømte franske matematikeren (og juristen!) Pierre de Fermat (0 eller 07 5), er et tall på formen F n = n +, for et heltall 0.

9 INDUKSJONSPRINSIPPET MAT - H 9 De første Fermat-tallene er F 0 = 3 F = 5 F = 7 F 3 = 57 F 4 = 5537 F 5 = F = Fermat sjekket at de fem første Fermat-tallene F 0,...,F 4 er primtall og la frem en formodning om at alle F n var det. Den tyske matematikeren Leonhard Euler viste imidlertid i 73 at F 5 ikke er det, siden = (Fremdeles idag kjenner man ingen andre Fermat-tall enn de fem første som er primtall. Man vet at ingen av F n for 5 n 3 er primtall, og det største Fermat-tallet man har vist ikke er et primtall er F ) 3. Utenfor pensum: Fullstendig induksjon I matematikken brukes også en litt annen variant av induksjonsprinsippet, noen ganger kalt fullstendig induksjon eller streng induksjon. Vi kommer ikke til å få bruk for denne varianten i MAT, og den er derfor heller ikke pensum. Imidlertid vil (noenav) deremerke atdet isenere kurs tasforgittatdere ogsåkandenne varianten, eller at det er opplagt at denne varianten egentlig sier det samme. Jeg inkluderer derfor også denne varianten i notatet, for de som er interessert. Induksjonsprinsippet (versjon ). La P(n) være et utsagn som gir mening for ethvert heltall n n 0, der n 0 er et fiksert heltall. For å vise at P(n) er sann for alle heltall n n 0 er det nok å vise følgende: (I) P(n 0 ) er sant. (II) Hvis utsagnet P(m) er sant for alle m slik at n 0 m k, da er også P(k+) sant. Forskjellen er altså at vi antar noe tilsynelatende sterkere i induksjonshypotesen, nemlig ikke bare at P(k) er sann, men at alle P(n 0 ),...,P(k) er sanne. Tanken bak prinsippet er den samme som før(og fortsatt temmelig enkel!): Vi viser i trinn (I) at P(n 0 ) er sann. Trinn (II) med k = n 0 viser derfor at også P(n 0 +) er sann. Da vet vi at både P(n 0 ) og P(n 0 + ) er sanne. Vi kan derfor bruke (II) en gang til med k = n 0 +, som viser da at også P(n 0 +) er sann. Da vet vi at P(n 0 ), P(n 0 +) og P(n 0 +) er sanne og kan bruke trinn (II) nok en gang med k = n 0 + til å konkludere at P(n 0 +3) er sann, osv.

10 0 ANDREAS LEOPOLD KNUTSEN De to induksjonstypene er variasjoner over samme tema, slik at det egentlig ikke er nødvendig å skille mellom disse to typene induksjon så mye som enkelte lærebøker gjør. Sistnevnte type brukes i tilfeller hvor vi ikke så enkelt klarer å redusere påstanden P(k + ) til noe som involverer P(k), men bare klarer å redusere den til P(n) med enda lavere n. Et typisk og klassisk eksempel er beviset for den ene halvdelen av aritmetikkens fundamentalteorem 4 Eksempel 8. Vis at ethvert heltall n kan skrives som et produkt av primtall. Bevis ved (fullstendig) induksjon. Påstanden vi skal vise er P(n) n kan skrives som produkt av primtall for alle n. Første trinn er å observere at P() er opplagt sann, siden er et produkt med seg selv som eneste faktor, og er primtall. La nå k og anta at P(m) er sann for alle heltall m slik at m k, dvs () Alle heltall,...,k kan skrives som produkt av primtall. Vi sjekker P(k +). Dersom k + er et primtall, er P(k +) sann (av samme grunn som at P() var sann), siden k + er et produkt med én faktor, nemlig seg selv, som er primtall. Dersom k+ ikke er et primtall, da kan det skrives som et produkt k+ = ab av to heltall a og b som begge er og < k +. Induksjonshypotesen vår () sier at både a og b kan skrives som produkt av primtall: Dermed får vi at a = p p p s b = q q q t. k + = ab = p p p s q q q t også er et produkt av primtall, slik at P(k+)er sann. Vi har dermed vist påstanden P(n) for alle n ved induksjon. Siste eksempel er igjen av litt mer praktisk karakter og er en klassiker. Den er også spesielt interessant fordi vi i beviset trenger å vise noen flere spesialtilfeller i tillegg til første trinn i induksjonen. Eksempel 9. Vis at enhver porto på minst cents kan oppnås ved å kombinere frimerker på 4 og 5 cents. 4 Aritmetikkens fundamentalteorem sier at ethvert heltall n kan skrives som et produkt av primtall, på en entydig måte (bortsett fra rekkefølgen av faktorene). Vi minner om at et primtall er et heltall n som kun er delelig med seg selv og. (Per konvensjon er altså ikke et primtall.) Eksempel 8 viser kun eksistensen og ikke entydigheten av primtallsfaktoriseringen.

11 INDUKSJONSPRINSIPPET MAT - H Bevis ved (fullstendig) induksjon. Påstanden vi skal vise kan matematisk formuleres som P(n) n kan skrives som en sum av 4ere og 5ere for alle heltall n. Første trinn er å observere at P() er opplagt sann, siden = = 3 4. Vi observerer også, siden vi kommer til å trenge det senere i beviset, at påstandene P(3), P(4) og P(5) holder: P(3) 3 = 4+5 P(4) 4 = 4+ 5 P(5) 5 = 3 5. Anta nå at P(n) holder for alle n =,3,4,...,k, for et heltall k. Vi vil nå vise at også P(k +) holder. Dersom k+ 5, er vi ferdige, fordi vi er i ett av spesialtilfellene vi allerede har sjekket. Dersom k +, er (k + ) 4. (Her ligger nødvendigheten av å vise tilfellene 3,4,5 for seg.) Ved induksjonshypotesen vet vi at P((k+) 4) holder, dvs. at vi kan skrive (k +) 4 = 4a+5b, for heltall a,b 0. Men da vil k + = 4a+5b+4 = 4(a+)+5b, som viser at P(k+) holder. Vi har dermed vist P(n) for alle n ved induksjon.

Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen

Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis Andreas Leopold Knutsen February 9, 2010 Eks. 1: Finn feilen Fibonaccitallene F 1, F 2, F 3,... er denert rekursivt ved: F 0 = 0, F 1 = 1, og

Detaljer

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 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

Detaljer

Et detaljert induksjonsbevis

Et detaljert induksjonsbevis Et detaljert induksjonsbevis Knut Mørken 0. august 014 1 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

Detaljer

Forelesning 1 mandag den 18. august

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

Detaljer

Forord Dette er en samling lsningsforslag som jeg opprinnelig utarbeidet til gruppeundervisningen i kurset MAT00A ved Universitetet i Oslo hsten 2000.

Forord Dette er en samling lsningsforslag som jeg opprinnelig utarbeidet til gruppeundervisningen i kurset MAT00A ved Universitetet i Oslo hsten 2000. K A L K U L U S Lsningsforslag til utvalgte oppgaver fra Tom Lindstrms lrebok ved Klara Hveberg Matematisk institutt Universitetet i Oslo Copyright c 2006 Klara Hveberg Forord Dette er en samling lsningsforslag

Detaljer

Matematisk induksjon

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

Detaljer

Grafteori. MAT1030 Diskret matematikk. Induksjonsbevis

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

Detaljer

MAT1030 Diskret matematikk

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

Detaljer

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 p q p p q p q T T F T T Sannhetstabell: T F F F F F T T T T F F T T T Siden proposisjonene p q og p q har samme sannhetsverdier (for alle sannhetsverdier

Detaljer

Ukeoppgaver fra kapittel 10 & Induksjonsbevis

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

Detaljer

MA1301 Tallteori Høsten 2014

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.......................................

Detaljer

Forelesning 14 torsdag den 2. oktober

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

Detaljer

Notasjon i rettingen:

Notasjon i rettingen: UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Løsningsforslag med kommentarer) til Innlevering /4 i emnet MAT, høsten 207 Notasjon i rettingen: R Rett R Rett, men med liten tulle)feil

Detaljer

Relativt primiske 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

Detaljer

MAT1030 Diskret Matematikk

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

Detaljer

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper

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 >

Detaljer

Matematikk for IT, høsten 2017

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

Detaljer

Eksempler på praktisk bruk av modulo-regning.

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

Detaljer

Matematikk for IT, høsten 2015

Matematikk for IT, høsten 2015 Matematikk for IT, høsten 015 Oblig 5 Løsningsforslag 5. oktober 016 3.1.1 3.1.13 a) Modus ponens. b) Modus tollens. c) Syllogismeloven. a) Ikke gyldig. b) Gyldig. 3.1.15 a) Hvis regattaen ikke avlyses,

Detaljer

TMA4140 Diskret Matematikk Høst 2018

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

Detaljer

OPPGAVESETT MAT111-H17 UKE 34. Oppgaver til seminaret 25/08

OPPGAVESETT MAT111-H17 UKE 34. Oppgaver til seminaret 25/08 OPPGAVESETT MAT111-H17 UKE 34 Settet inneholder oppgaver fra stoffet omhandlet på forelesning uke 34, og består av seminaroppgaver, gruppeoppgaver og og obligatoriske oppgaver. Avsnittene og appendiksene

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

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

Detaljer

Sekventkalkyle for utsagnslogikk

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

Detaljer

Repetisjon: høydepunkter fra første del av MA1301-tallteori.

Repetisjon: høydepunkter fra første del av MA1301-tallteori. Repetisjon: høydepunkter fra første del av MA1301-tallteori. Matematisk induksjon Binomialteoremet Divisjonsalgoritmen Euklids algoritme Lineære diofantiske ligninger Aritmetikkens fundamentalteorem Euklid:

Detaljer

MA1301 Tallteori Høsten 2014 Oversikt over pensumet

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

Detaljer

NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN

NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT2 VED UNIVERSITETET I BERGEN ANDREAS LEOPOLD KNUTSEN OG ARNE STRAY. Innledning og definisjoner Vi vil i dette notatet betrakte reelle funksjoner

Detaljer

TMA4140 Diskret Matematikk Høst 2016

TMA4140 Diskret Matematikk Høst 2016 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 016 Seksjon 5 4 a) Ved å observere at 18 4 + 7, 19 3 4 + 7, 0 4 5 og 1 3 7 så ser vi at P(18),

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)

Detaljer

Karakteriseringen av like mengder. Mengder definert ved en egenskap.

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

Detaljer

Forelesning 6 torsdag den 4. september

Forelesning 6 torsdag den 4. september Forelesning 6 torsdag den 4. september 1.13 Varianter av induksjon Merknad 1.13.1. Det finnes mange varianter av induksjon. Noen av disse kalles noen ganger sterk induksjon, men vi skal ikke benytte denne

Detaljer

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0 Prinsippet om matematisk induksjon: anta du har en påstand som er avhengig av et positivt heltall n. Om du kan vise to ting, nemlig at påstanden er sann for n = 1 og at om påstanden er sann for n = k,

Detaljer

Notater fra forelesning i MAT1100 torsdag 27.08.09

Notater fra forelesning i MAT1100 torsdag 27.08.09 Notater fra forelesning i MAT1100 torsdag 27.08.09 Amandip Sangha, amandips@math.uio.no 28. august 2009 Definisjon 1.1. En delmengde A R kalles oppad begrenset dersom det finnes et tall b R slik at b x

Detaljer

Oversikt over kvadratiske kongruenser og Legendresymboler

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

Detaljer

OPPGAVESETT MAT111-H16 UKE 43. Oppgaver til seminaret 28/10

OPPGAVESETT MAT111-H16 UKE 43. Oppgaver til seminaret 28/10 OPPGAVESETT MAT111-H16 UKE 43 Avsn. 5.1: 41 Avsn. 5.3: 3, 7 Avsn. 5.4: 13, 31, 37 På settet: S.1 Oppgaver til seminaret 28/10 Oppgaver til gruppene uke 44 Merknad: Oppgavene under skal kunne løses uten

Detaljer

Prøveunderveiseksamen i MAT-INF 1100, H-03

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

Detaljer

OPPGAVESETT MAT111-H16 UKE 34

OPPGAVESETT MAT111-H16 UKE 34 OPPGAVESETT MAT111-H16 UKE 34 Avsnittene (og appendiksene) viser til utgave 8 av læreboken, som er like i utgavene 7 og 6 når ikke annet er oppgitt. Gruppene starter opp i uke 35. Hver student er satt

Detaljer

Eksamensoppgave i TMA4140 Diskret matematikk

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

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

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

Detaljer

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.

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

Detaljer

Forelesning 19 torsdag den 23. oktober

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

Detaljer

Notat om Peanos aksiomer for MAT1140

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

Detaljer

MAT1030 Forelesning 19

MAT1030 Forelesning 19 MAT1030 Forelesning 19 Generell rekursjon og induksjon Roger Antonsen - 25. mars 2009 (Sist oppdatert: 2009-03-25 11:06) Forelesning 19 Forrige gang så vi på induktivt definerte mengder og noen eksempler

Detaljer

MA1301 Uke 1: In(tro)duksjon

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: magnus.landstad@math.ntnu.no

Detaljer

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen

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

Detaljer

Forelesning 7 mandag den 8. september

Forelesning 7 mandag den 8. september Forelesning 7 mandag den 8. september 1.1 Absoluttverdien Definisjon 1.1.1. La n være et heltall. Da er absoluttverdien til n: (1) n dersom n 0; (2) n dersom n < 0. Merknad 1.1.2. Med andre ord får vi

Detaljer

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 1. a) Ingen andre tall enn en deler en, og en deler fire, så (1, 4) = 1 b) 1 c) 7 er et primtall og 7 er ikke en faktor i 41, så største felles

Detaljer

MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven

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?..........................

Detaljer

MAT1030 Diskret Matematikk

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

Detaljer

Rekurrens. MAT1030 Diskret matematikk. Rekurrens. Rekurrens. Eksempel. Forelesning 16: Rekurrenslikninger. Dag Normann

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

Detaljer

6 Kryptografi Totienten Eulers teorem Et eksempel på et bevis hvor Eulers teorem benyttes RSA-algoritmen...

6 Kryptografi Totienten Eulers teorem Et eksempel på et bevis hvor Eulers teorem benyttes RSA-algoritmen... Innhold 6 Kryptografi 3 6.1 Totienten.................................... 3 6.2 Eulers teorem.................................. 8 6.3 Et eksempel på et bevis hvor Eulers teorem benyttes............ 19

Detaljer

Notat om kardinalitet for MAT1140 (litt uferdig)

Notat om kardinalitet for MAT1140 (litt uferdig) Notat om kardinalitet for MAT1140 (litt uferdig) Poenget med tall kan man kanskje si er det å telle. In mengdeteorien ønsker man å telle antall elementer i en mengde, og det tallet man oppnår kalles da

Detaljer

Matriser. Kapittel 4. Definisjoner og notasjon

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

Detaljer

Generell induksjon og rekursjon. MAT1030 Diskret matematikk. Generell induksjon og rekursjon. Generell induksjon og rekursjon.

Generell induksjon og rekursjon. MAT1030 Diskret matematikk. Generell induksjon og rekursjon. Generell induksjon og rekursjon. MAT1030 Diskret matematikk Forelesning 18: Generell rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 12. mars 2008 Mandag så vi på induktivt definerte mengder og noen eksempler

Detaljer

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen MA1301 Tallteori Høsten 2014 Løsning til Eksamen Richard Williamson 11. desemb 2014 Innhold Oppgave 1 2 a)........................................... 2 b)........................................... 2 c)...........................................

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 14: Rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt

Detaljer

Forelesning 20 mandag den 27. oktober

Forelesning 20 mandag den 27. oktober Forelesning 20 mandag den 27. oktober 5.10 Eksempler på hvordan regne ut Legendresymboler ved å benytte kvadratisk gjensidighet Eksempel 5.10.1. La oss se igjen på Proposisjon 5.6.2, hvor vi regnet ut

Detaljer

Slides til 1.6 og 1.7. Andreas Leopold Knutsen

Slides til 1.6 og 1.7. Andreas Leopold Knutsen Slides til 1.6 og 1.7 Andreas Leopold Knutsen January 17, 2010 Begreper Matematiske resultater/utsagn som er sanne kalles gjerne: Teorem = viktig utsagn Proposisjon/Sats/Setning = litt mindre viktig utsagn

Detaljer

UNIVERSITETET I OSLO

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

Detaljer

4 Matriser TMA4110 høsten 2018

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

Detaljer

MAT 1110: Bruk av redusert trappeform

MAT 1110: Bruk av redusert trappeform Tom Lindstrøm 10/5, 2006: MAT 1110: Bruk av redusert trappeform I Lays bok brukes den reduserte trappeformen til matriser til å løse en rekke problemer knyttet til ligningssystemer, lineærkombinasjoner,

Detaljer

TMA4100 Matematikk 1, høst 2013

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

Detaljer

Egenverdier for 2 2 matriser

Egenverdier for 2 2 matriser Egenverdier for matriser (Bearbeidet versjon av tidligere notat på nett-sidene til MA101 - Lineær algebra og geometri Versjon oppdatert med referanser til 10utg av læreboken) Egenvektorer og egenverdier

Detaljer

Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03

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

Detaljer

Forelesning 4 torsdag den 28. august

Forelesning 4 torsdag den 28. august Forelesning 4 torsdag den 28. august 1.10 Rekursjon Merknad 1.10.1. Hvert tall i sekvensen 1, 2, 4, 8, 16,... er to ganger det foregående. Hvordan kan vi beskrive sekvensen formelt? Vi kan ikke skrive

Detaljer

Lineære ligningssystemer og gausseliminasjon

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

Detaljer

Polynomisk interpolasjon

Polynomisk interpolasjon Polynomisk interpolasjon Hans Munthe-Kaas 1. jaunar 2002 Abstract Dette notatet tar for seg interpolasjon med polynomer. Notatet er ment som et tillegg til læreboken i I162, og forsøker å framstille dette

Detaljer

Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner

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.

Detaljer

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014 Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier

Detaljer

Lineære ligningssystemer og gausseliminasjon

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

Detaljer

Oversikt over lineære kongruenser og lineære diofantiske ligninger

Oversikt over lineære kongruenser og lineære diofantiske ligninger Oversikt over lineære kongruenser og lineære diofantiske ligninger Richard Williamson 3. desember 2014 Oppgave 1 Finn et heltall x slik at 462x 27 (mod 195). Benytt først Euklids algoritme for å finne

Detaljer

OPPGAVESETT MAT111-H16 UKE 36. Oppgaver til seminaret 9/9. Husk at seminaret finnes i to varianter, begge fredag :

OPPGAVESETT MAT111-H16 UKE 36. Oppgaver til seminaret 9/9. Husk at seminaret finnes i to varianter, begge fredag : OPPGAVESETT MAT111-H16 UKE 36 Avsnitt 1.4: 17, 29, 32 Avsnitt 2.2: 12 Avsnitt 2.3: 41, 52 På settet: S.1 Oppgaver til seminaret 9/9 Husk at seminaret finnes i to varianter, begge fredag 12.15-14.00: Seminar

Detaljer

MAT1030 Forelesning 17

MAT1030 Forelesning 17 MAT1030 Forelesning 17 Rekurrenslikninger Roger Antonsen - 18. mars 009 (Sist oppdatert: 009-03-18 19:3) Forelesning 17 Forrige gang ga vi en rekke eksempler på bruk av induksjonsbevis og rekursivt definerte

Detaljer

7 Egenverdier og egenvektorer TMA4110 høsten 2018

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

Detaljer

Notasjon i rettingen:

Notasjon i rettingen: UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Løsningsforslag med kommentarer) til Innlevering /4 i emnet MAT, høsten 07 Notasjon i rettingen: R = Rett R = Rett, men med liten tulle)feil

Detaljer

UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet. Obligatorisk innlevering 1 i emnet MAT111, høsten 2016

UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet. Obligatorisk innlevering 1 i emnet MAT111, høsten 2016 UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Obligatorisk innlevering 1 i emnet MAT111, høsten 2016 Innleveringsfrist: Mandag 26. september 2016, kl. 14, i Infosenterskranken i inngangsetasjen

Detaljer

Forelesning 2 torsdag den 21. august

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

Detaljer

MAT1030 Diskret Matematikk

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

Detaljer

Eksamen i Elementær Diskret Matematikk - (MA0301)

Eksamen i Elementær Diskret Matematikk - (MA0301) Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Steffen Junge (73 59 17 73 / 94 16 27 27) Eksamen i Elementær Diskret Matematikk -

Detaljer

Mengder, relasjoner og funksjoner

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

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

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

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 17. februar 2010 (Sist oppdatert: 2010-02-17 12:40) Kapittel 5: Mengdelære MAT1030 Diskret Matematikk

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Mengdelære 17. februar 2010 (Sist oppdatert: 2010-02-17 12:41) MAT1030 Diskret Matematikk

Detaljer

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort Fire kort Mål Generelt: Søke etter mønster og sammenhenger. Gjennomføre undersøkelse og begrunne resultat. Utfordre elevene på å resonnere og kommunisere. Spesielt: Finne alle kombinasjoner når de adderer

Detaljer

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort Fire kort Mål Generelt: Søke etter mønster og sammenhenger. Gjennomføre undersøkelse og begrunne resultat. Utfordre elevene på å resonnere og kommunisere. Spesielt: Finne alle kombinasjoner når de adderer

Detaljer

MA2401 Geometri Vår 2018

MA2401 Geometri Vår 2018 MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 1 2.4 7 I Fanos geometri (se side 18 i læreboka) er punktene gitt ved symbolene

Detaljer

Løsningsforslag oblig. innlevering 1

Løsningsforslag oblig. innlevering 1 Løsningsforslag oblig. innlevering 1 IN1150 Logiske metoder Høsten 2017 Oppgave 1 - Mengdelære (10 poeng) a) Ut fra opplysningene under, angi hvilke mengder A og B er. A B = {1, 2, 3, 4, 5, 6} A B = {2,

Detaljer

Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk.

Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk. MAT1030 Diskret Matematikk Forelesning 6: Utsagnslogikk og predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk 3. februar 2010 (Sist oppdatert: 2010-02-03 12:49) MAT1030

Detaljer

MAT Grublegruppen Uke 37

MAT Grublegruppen Uke 37 MAT00 - Grublegruppen Uke 37 Jørgen O. Lye Bemerkning: Mye av stoffet i dette notatet er å finne i Kalkulus, kapittel. Dette kapittelet er leselig etter man vet hva følger er, men er ikke pensum før i

Detaljer

Forelesning 5 mandag den 1. september

Forelesning 5 mandag den 1. september Forelesning mandag den. september. Fibonnacitall forts. Proposisjon..6. La n være et naturlig tall. Da er u + u + + u n = u n+. Bevis. Først sjekker vi om proposisjonen er sann når n =. I dette tilfellet

Detaljer

2.3 Delelighetsregler

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

Detaljer

UNIVERSITETET I OSLO

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.

Detaljer

Lineære likningssystemer og matriser

Lineære likningssystemer og matriser Kapittel 3 Lineære likningssystemer og matriser I dette kapittelet skal vi sette sammen Kapittel 1 og 2. 3.1 Den utvidede matrisen til et likningssystem Vi starter med et lineært likningssystem med m likninger

Detaljer

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye. Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt

Detaljer

OPPGAVESETT MAT111-H16 UKE 38. Oppgaver til gruppene uke 39

OPPGAVESETT MAT111-H16 UKE 38. Oppgaver til gruppene uke 39 OPPGAVESETT MAT111-H16 UKE 38 Oppgaver til seminaret 23/9 (Tall i blått angir utgave 6, tall i rødt angir utgave 7.) Avsn. 2.7: 15(11), 21(31)(27) Avsn. 2.8: 5, 17(2.8.13)(2.6.13) Avsn. 2.10: 12, 29, 39

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

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 27 848 Eksamensdato:. august 2014 Eksamenstid (fra

Detaljer