MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

Størrelse: px
Begynne med side:

Download "MA1301 Tallteori Høsten 2014 Løsninger til Eksamen"

Transkript

1 MA1301 Tallteori Høsten 2014 Løsning til Eksamen Richard Williamson 11. desemb 2014 Innhold Oppgave 1 2 a) b) c) d) Oppgave 2 4 a) b) Oppgave 3 7 a) b) Oppgave 4 8 a) b) Oppgave 5 12 Oppgave 6 12 a) b) c)

2 Oppgave 1 a) Først regn vi ut u 3 : Da u 3 = u 2 + u 1 = = 2. u 4 = u 3 + u 2 = = 3 u 5 = u 4 + u 3 = = 5. b) Vi har: 2 2. Dfor Vi har 2 4. Dfor u 4 u 1 = 3 1 = 2 u 4 u 1 (mod 2). u 5 u 2 = 5 1 = 4 u 5 u 2 (mod 2). c) Ut ifra b), utsagnet sant når n = 1 når n = 2. Anta at utsagnet har blitt bevist når n = m når n = m 1, hvor m et gitt naturlig tall slik at m 2. Således har det blitt bevist at at altså at at Vi gjør følgende obsvasjon. u m+3 u m (mod 2) u (m 1)+3 u m 1 (mod 2), u m+3 u m (mod 2) u m+2 u m 1 (mod 2). 2

3 (1) Ut ifra definisjonen til Fibonaccitallene, Dfor u m+4 = u m+3 + u m+2. u (m+1)+3 = u m+4 = u m+3 + u m+2. (2) Ut ifra antakelsen at at u m+3 u m (mod 2) u m+2 u m 1 (mod 2), u m+3 + u m+2 u m + u m 1 (mod 2). (3) Ut ifra definisjonen til Fibonaccitallene, u m + u m 1 = u m+1 Det følg fra (1) (3) at u (m+1)+3 u m+1 (mod 2). Således har vi bevist at utsagnet sant når n = m + 1. Ved induksjon konklud vi at utsagnet sant for et hvilket som helst naturlig tall n. Utsagnet kan så bevises på følgende måte uten å benytte induksjon. Ut ifra definisjonen til Fibonaccitallene, u n+3 = u n+2 + u n+1 u n+2 = u n+1 + u n. Dfor u n+3 = u n+2 + u n+1 = (u n+1 + u n ) + u n+1 = 2u n+1 + u n Vi har: Vi konklud at 2u n+1 + u n 0 u n+1 + u n = u n (mod 2). u n+3 u n (mod 2). 3

4 d) u 371 = u , følg det fra c) ved induksjon at u 2 = 1, følg det at u 371 u 2 (mod 2). u (mod 2), altså at u 371 et oddetall. Altnativt kan vi argumente som følg. Dsom u 371 et partall, har vi: 2 u 371. u 3 = 2, har vi da: u 3 u 371. Det følg da fra et resultat fra kurset at dette ikke sant, konklud vi at u 371 ikke et partall, altså at u 371 et oddetall. Oppgave 2 a) Vi gjør følgende obsvasjon. (1) Vi har: x = 1 en løsning til kongruensen 17x 1 (mod 4). (2) Vi har: x = 4 en løsning til kongruensen 4x 1 (mod 17). (3) Det følg fra (1), (2), det kinesiske restteoremet at en løsning både til kongruensen til kongruensen x = ( 4) 2 = 19 x 3 (mod 4) x 2 (mod 17). I tillegg fastslår det kinesiske restteoremet at for et hvilket som helst heltall x slik at x 3 (mod 4) x 2 (mod 17) x 19 (mod 4 17) altså x 19 (mod 68). 4

5 (4) For å løse kongruensene 19x 1 (mod 68) 68x 1 (mod 19), benytt vi Euklids algoritme. 68 = = = = = = 2 1. Da får vi: 11 = = = 19 1 ( ) = ( 1) = = ( ) 1 ( ) = = = (( 1) ) 2 ( ) = ( 5) = = ( ) 1 (( 5) ) = ( 25) 19. Dmed x = 25 en løsning til kongruensen 19x 1 (mod 68), x = 7 en løsning til kongruensen 68x 1 (mod 19). (5) Det følg fra (4) det kinesiske restteoremet at x = 19 ( 25) , 5

6 altså x = 7597, en løsning både til x 19 (mod 68) til x 3 (mod 19). I tillegg fastslår det kinesiske restteoremet at x 19 (mod 68) x 3 (mod 19) for et hvilket som helst heltall x slik at x 7597 (mod 68 19) altså x 7597 (mod 1292) (mod 1292), følg det at x = 155 en løsning både til x 19 (mod 68) til x 3 (mod 19). b) (6) Det følg fra (3) (5) at x = 155 en løsning til alle de tre kongruensene i oppgaven. I tillegg oppfyll x kravet 0 x < Anta at det finnes et heltall x slik at disse to kongruensene sanne. x 4 (mod 6), følg det at x 4 (mod 3). 4 1 (mod 3), x 1 (mod 3). 6

7 følg det at Det følg at x 11 (mod 15), x 11 (mod 3) (mod 3), x 2 (mod 3). 2 1 (mod 3). Dette ikke sant! Vi konklud at det ikke finnes et heltall x slik at de to kongruense i oppgaven sanne. Oppgave 3 a) Vi har: 53 et primtall. Da fastslår Fmats lille teorem at (mod 53). Dmed = = ( 3 52) = (mod 53). Det følg at = 56 3 (mod 53). b) Vi har: 36 (49!) = ( 6) ( 3) ( 2) ( 1) (49!) ( 6) (49!) = ( 6) (49!) (mod 53). Dmed 36 (49!) ( 6) (52!) (mod 53). 53 et primtall, fastslår Wilsons teorem at 52! 1 (mod 53). 7

8 Dfor Dmed ( 6) (52!) ( 6) ( 1) = 6 (mod 53). 36 (49!) 6 (mod 53). Da 36 (49!) = 36 (49!) 2 ( ) = (mod 53). Vi konklud at 36 (49!) delelig med 53. Oppgave 4 a) Vi har: ( 21) = (mod 61), følg det fra teorien for kvadratiske kongruens fra kurset at en løsning til kongruensen (2 12)x 39 ( 21) (mod 61), altså til kongruensen 24x 60 (mod 61), en løsning til den kvadratiske kongruensen i oppgaven. For å løse kongruensen 24x 60 (mod 61), benytt vi Euklids algoritme. 61 = = = = = 2 1 8

9 Da får vi: 13 = = = 24 1 ( ) = ( 1) = = ( ) 1 (( 1) ) = ( 5) 24 1 = = (( 1) ) 5 ( ( 5) 24) = ( 11) Dmed x = 28 60, altså x = 1680, en løsning til kongruensen 24x 60 (mod 61). Vi konklud at x = 1680 en løsning til den kvadratiske kongruensen i oppgaven. b) Vi gjør følgende obsvasjon. (1) Vi har: Da (2) Vi har: = L = L = L L L L = L (22 ) = L (22 ) L = 1 L = L (mod 8), L = 1. Dmed L = 1. (3) L = L L = L (mod 4), (mod 31), 9

10 (4) 17 et primtall 17 1 (mod 4), L = L (mod 17), (5) L 2 17 = 1. (6) L = L = L = L 2 17 L (mod 8), 17 1 (mod 4), L 7 17 = L (mod 7), L 17 7 = L3 7. (7) både 3 3 (mod 4) 7 3 (mod 4), L 3 7 = L (mod 3), L 7 3 = L 1 3 = 1. (8) Det følg fra (6) (7) at L 7 17 = 1. (9) Det følg fra (3) (5) (8) at L = L 2 17 L 7 17 = 1 ( 1) = 1. (10) L = L (mod 4), (mod 43), L = L = L 3 43 L

11 (11) både L 43 3 = L1 3 = 1. Dmed L3 43 = 1. (12) 3 3 (mod 4) 43 3 (mod 4), L 3 43 = L (mod 3), 5 1 (mod 4), L 5 43 = L (mod 5), L 43 5 = L3 5. (13) 5 1 (mod 4), L 3 5 = L (mod 3), L 5 3 = L (mod 8), L 2 3 = 1. (14) Det følg fra (12) (13) at L 5 43 = 1. (15) Det følg fra (10), (11), (14) at (16) Det følg fra (1), (2), (9), (15) at L = L L = ( 1) ( 1) = 1. L = L = L L L = ( 1) ( 1) 1 = 1. Dmed en kvadratisk rest modulo Vi konklud at det finnes to heltall x slik at 0 x < x en løsning til den kvadratiske kongruensen i oppgaven. 11

12 Oppgave 5 Vi gjør følgende obsvasjon. (1) Vi har: 187 = Både primtall. (2) Vi har: (11 1) (17 1) = = 160. (3) Vi har: x = 3 en løsning til kongruensen 53x 1 (mod 160), altså x = 157 en løsning til denne kongruensen. (4) Vi har: = ( 25 7) ( 2) = (mod 187). (5) Når vi ovsett 9 til et symbol, får vi: I. Oppgave 6 a) Vi har: 2, 5, 11, 17, 23. b) La q være produktet av alle de primtallene som mindre enn ell like n, som kongruent til 2 modulo 3. Ut ifra aritmetikkens fundamentalteorem, finnes det et naturlig tall t primtall p 1,..., p t slik at 3q 1 = p 1 p t. For hvt naturlig tall i slik at i t, ett av følgende sant: (1) p i 0 (mod 3); (2) p i 1 (mod 3); (3) p i 2 (mod 3). Anta at det finnes et naturlig tall i slik at (1) sant. Da har vi: 3 p i. 3q 1 = (p 1 p i 1 p i+1 p t ) p i, har vi i tillegg: p i 3q 1. Dfor har vi: 3 3q 1, altså 3q 1 (mod 3). 12

13 Imidltid det ikke sant at kan det ikke være sant at både 3q (mod 3). 1 2 (mod 3), 3q 1 1 (mod 3) 3q 1 2 (mod 3). antakelsen at det finnes et naturlig tall i slik at (1) sant før til at begge kongruesene sanne, konklud vi at det ikke finnes et naturlig tall i slik at (1) sant. Dmed enten (2) ell (3) sant for hvt naturlig tall i slik at i t. Dfor ett av følgende sant. (A) For alle de naturlige tallene i slik at i t, p i 1 (mod 3). (B) Det minnes minst ett naturlig tall i slik at i t Anta at (A) sant. Da altså p i 2 (mod 3). 3q 1 = p 1 p t 1 } 1 {{ 1} = 1 (mod 3), t gang 3q 1 1 (mod 3). Som ovenfor, kan dette ikke være sant. antakelsen at (A) sant før til at denne kongruensen sanne, konklud vi at det ikke finnes et naturlig tall i slik at (A) sant. Dfor (B) sant, altså finnes det et naturlig tall i slik at i t p i 2 (mod 3). Anta at p i n. Vi gjør følgende obsvasjon. (1) p i 2 (mod 3), følg det fra definisjonen til q antakelsen at p i n at p i q. Da har vi: p i 3q. (2) 3q 1 = (p 1 p i 1 p i+1 p t ) p i har vi: p i 3q 1. Da har vi: p i (3q 1), altså p i 3q

14 (3) Det følg fra (1) (2) at p i 3q (3q 1), altså at p i 1. p i et primtall, p i 2. Det kan ikke være sant at både p i 1 p i 2. antakelsen at p i n før til denne motsigelsen, konklud vi at det ikke sant at p i n. Dfor p i > n. c) De primtallene som mindre enn ell like 14 som kongruent til 2 modulo 3 2, 5, 11. En primtallsfaktorising til 3 (2 5 11) 1, altså til 329, Dmed får vi at p =

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

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

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

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

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

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

Oversikt over det kinesiske restteoremet

Oversikt over det kinesiske restteoremet Oversikt over det kinesiske restteoremet Richard Williamson 3. desember 2014 Oppgave 1 Finn et heltall x slik at: (1) x 2 (mod 6); (2) x 3 (mod 11). Hvordan vet jeg at vi bør benytte det kinesiske restteoremet?

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

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

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

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

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

Forelesning 21 torsdag den 30. oktober

Forelesning 21 torsdag den 30. oktober Forelesning 21 torsdag den 30. oktober 5.12 Mersenne-primtall Merknad 5.12.1. Nå kommer vi til å se på et fint tema hvor kvadratisk gjensidighet kan benyttes. Terminologi 5.12.2. La n være et naturlig

Detaljer

Oversikt over kryptografi

Oversikt over kryptografi Oversikt over kryptografi Richard Williamson 3. desember 2014 Oppgave 1 Person A ønsker å sende meldingen Ha det! til person B, og ønsker å benytte RSAalgoritmen for å kryptere den. Den offentlige nøkkelen

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

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

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

Forelesning 10 torsdag den 18. september

Forelesning 10 torsdag den 18. september Forelesning 10 torsdag den 18. september 2.8 Relativt primiske heltall og Euklids lemma Merknad 2.8.1. Korollar 2.7.20 er et svært viktig teoretisk verktøy. I denne og neste del av kapittelet skal vi se

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

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 KONTINUASJONSEKSAMEN I TMA440 LØSNINGSFORSLAG Oppgave Sannhetsverditabell for det logiske utsagnet ( (p q) ) ( q r

Detaljer

Forelesning 24 mandag den 10. november

Forelesning 24 mandag den 10. november Forelesning 24 mandag den 10. november 6.3 RSA-algoritmen Merknad 6.3.1. Én av de meste berømte anveldesene av tallteori er i kryptografi. Alle former for sikre elektroniske overføringer er avhengige av

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

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 2018 Seksjon 4.1 6 Dersom a c og b d, betyr dette at det eksisterer heltall s og t slik at c

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

Største felles divisor. (eng: greatest common divisors)

Største felles divisor. (eng: greatest common divisors) Største felles divisor. (eng: greatest common divisors) La a og b være to tall der ikke begge er 0. Største felles divisor (eller faktor) for a og b er det største heltallet som går opp i både a og b.

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

Forelesning 11 mandag den 22. september

Forelesning 11 mandag den 22. september Forelesning 11 mandag den 22. september 2.9 Lineære diofantiske ligninger forts. Proposisjon 2.9.1. La a, b, c, x, y være heltall. Anta at La d være et naturlig tall slik at sfd(a, b) = d. Ut ifra definisjonen

Detaljer

LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin:

LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin: LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 200 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin: s 0 s 1 gjennkjenner 0 1og s 0 gjennkjenner (0 1). Fra dette ser vi at

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

Øvingsforelesning 4. Modulo hva er nå det for no? TMA4140 Diskret Matematikk. 24. og 26. september 2018

Øvingsforelesning 4. Modulo hva er nå det for no? TMA4140 Diskret Matematikk. 24. og 26. september 2018 Modulo hva er nå det for no? Øvingsforelesning 4 TMA4140 Diskret Matematikk 24. og 26. september 2018 Dagen i dag Repetere den euklidske algoritmen, kongruensregning og annet underveis H11.3a: Inverser

Detaljer

LF, KONTINUASJONSEKSAMEN TMA

LF, KONTINUASJONSEKSAMEN TMA Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Haaken A. Moe 92650655 Bokmål LF, KONTINUASJONSEKSAMEN TMA4140 2008 Oppgave 1 (10%)

Detaljer

Forelesning 9 mandag den 15. september

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

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

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

KLASSISK TALLTEORI. Erik Alfsen og Tom Lindstrøm. Matematisk Institutt, UiO, 1994

KLASSISK TALLTEORI. Erik Alfsen og Tom Lindstrøm. Matematisk Institutt, UiO, 1994 KLASSISK TALLTEORI av Erik Alfsen og Tom Lindstrøm Matematisk Institutt, UiO, 1994 Tallene vi bruker når vi teller 1. Induksjon 1,, 3, 4, 5, kalles naturlige tall. Mengden av alle naturlige tall kalles

Detaljer

Løysingsforslag til eksamen i MA1301-Talteori, 30/11-2005.

Løysingsforslag til eksamen i MA1301-Talteori, 30/11-2005. Løysingsforslag til eksamen i MA1301-Talteori, 30/11-2005. Oppgåve 1 a) Rekn ut gcd(788, 116). Finn alle løysingane i heile tal til likninga 788x + 116y = gcd(788, 116). b) Ein antikvar sel ein dag nokre

Detaljer

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

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

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe. Endelige grupper Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. En gruppe er en mengde S sammen med en binær operasjon definert på S, betegnes (S, ), med følgende egenskaper: 1. a, b S, a b S 2. det

Detaljer

Forelesning 17 torsdag den 16. oktober

Forelesning 17 torsdag den 16. oktober Forelesnng 17 torsdag den 16. oktober 4.12 Orden modulo et prmtall Defnsjon 4.12.1. La p være et prmtall. La x være et heltall slk at det kke er sant at x 0 Et naturlg tall t er ordenen tl a modulo p dersom

Detaljer

Eksamen MAT H Løsninger

Eksamen MAT H Løsninger Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F

Detaljer

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk Øvingsforelesning 5 TMA4140 Diskret Matematikk 1. og 3. oktober 2018 Dagen i dag Repetere binære, oktale osv. heltallsrepresentasjoner,

Detaljer

b) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden

b) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden Avsnitt. Oppgave Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete Mathematics and Its Applications Forfatter: Kenneth H. Rosen a) 7 går opp i 68 siden 68 7 b)

Detaljer

MAT 4000 Innføring i klassisk tallteori

MAT 4000 Innføring i klassisk tallteori MAT 4000 Innføring i klassisk tallteori Dette heftet i tallteori baserer seg i stor grad på tidligere forelesningsnotater av Karl Egil Aubert, som senere er blitt bearbeidet videre av Erik Alfsen, Tom

Detaljer

Kommentarer til Eksamen IM005 - V02

Kommentarer til Eksamen IM005 - V02 Kommentarer til Eksamen IM005 - V02 Følgende oppgaver er aktuelle innenfor dagens pensum: Oppgave 1a,d,e,f,h,i Oppgave 2a,b,c Oppgave 3 Oppgave 4a,c,d I Oppgavene 1f,h,i skal det stå enkel graf (simple

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

Den første implikasjonen er bevist i oppgave 1.30c. Den andre vises kontrapositivt slik:

Den første implikasjonen er bevist i oppgave 1.30c. Den andre vises kontrapositivt slik: 1. Noen bevismetoder OPPGAVE 1.0 a) x og y er begge partall x= 2 k og y = 2 l og k og l er begge hele tall x y = 2k 2l = 22 kl = 2 s Når både k og l er hele tall, må også s = 2 kl være et helt tall. Derfor

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

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301 Oppgave 1 Om mengder. a) (10%) Sett opp en medlemsskapstabell (membership

Detaljer

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 ) For å finne største felles divisor (gcd) kan vi begrense oss til N, sidenfor alle a, b Z, harvi gcd(a, b) =gcd( a, b ). I prinsippet, dersom vi vet at a = p t 1 kan vi se at 1 p t 2 2 p t n og b = p s

Detaljer

Il UNIVERSITETET I AGDER

Il UNIVERSITETET I AGDER Il UNIVERSITETET I AGDER FAKULTETFOR TEKNOLOGIOG REALFAG EKSAMEN Emnekode: Emnenavn: MA913 Tall og algebra Dato: 7. desember 2011 Varighet: 09.00 15.00 Antall sider inkl. forside 7 Tillatte hjelpemidler:

Detaljer

Introduksjon i tallteotri med anvendelser

Introduksjon i tallteotri med anvendelser Introduksjon i tallteotri med anvendelser Vladimir Oleshchuk 15. september 2005 Delbarhet og divisorer Delbarhet og divisorer Vi skal betrakte tall fra Z = {,..., 2, 1, 0, 1, 2,...} og N = {0, 1,...} og

Detaljer

Innføring i bevisteknikk

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

Detaljer

MAT 1140 Innføring i klassisk tallteori

MAT 1140 Innføring i klassisk tallteori MAT1140, H15 MAT 1140 Innføring i klassisk tallteori Dette heftet er basert på forelesningsnotater av Karl Egil Aubert som senere er blitt bearbeidet av Erik Alfsen, Tom Lindstrøm, Arne B. Sletsjøe og

Detaljer

Heltallsdivisjon og rest div og mod

Heltallsdivisjon og rest div og mod Heltallsdivisjon og rest div og mod La a og b være to heltall med a 0. Vi sier at a går opp i b (eng. a divides b) hvis det finnes et heltall c slik at b = ac. I så fall kalles a for en faktor i b og b

Detaljer

1. Bevis følgende logiske ekvivalens: ((p q) p) (p q) 2. Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p)

1. Bevis følgende logiske ekvivalens: ((p q) p) (p q) 2. Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p) . Oppgave. Bevis følgende logiske ekvivalens: ((p q) p) (p q). Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p) 3. Avgjør om følgende utsagn er sant i universet

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

MAT 1140 Innføring i klassisk tallteori

MAT 1140 Innføring i klassisk tallteori MAT 1140 Innføring i klassisk tallteori Dette heftet i tallteori baserer seg i stor grad på tidligere forelesningsnotater av Karl Egil Aubert som senere er blitt bearbeidet av Erik Alfsen, Tom Lindstrøm,

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

TALL. 1 De naturlige tallene. H. Fausk

TALL. 1 De naturlige tallene. H. Fausk TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke

Detaljer

Heltallsdivisjon og rest div og mod

Heltallsdivisjon og rest div og mod Heltallsdivisjon og rest div og mod La a og b være to heltall med a 0. Vi sier at a går opp i b (eng. a divides b) hvis det finnes et heltall c slik at b = ac. I så fall kalles a for en faktor i b og b

Detaljer

MATEMATIKK 1 (for 8. 10. trinn) Emnebeskrivelser for studieåret 2014/2015

MATEMATIKK 1 (for 8. 10. trinn) Emnebeskrivelser for studieåret 2014/2015 MATEMATIKK 1 (for 8. 10. trinn) Emnebeskrivelser for studieåret 2014/2015 Emnenavn Grunnleggende matematikk Precalculus MA6001 Undervisningssemester Høst 2014 Professor Petter Bergh petter.bergh@math.ntnu.no

Detaljer

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 7 LØSNINGSFORSLAG SIF55 DISKRET MATEMATIKK Onsdag 8. desember 22 Oppgave a) Vi vil ha 77x (mod 3), så vi trenger en

Detaljer

STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5: 1. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går

STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5: 1. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5:. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går opp i) den større.. Den større er et multiplum av den

Detaljer

Diskret matematikk tirsdag 13. oktober 2015

Diskret matematikk tirsdag 13. oktober 2015 Eksempler på praktisk bruk av modulo-regning. Tverrsum Tverrsummen til et heltall er summen av tallets sifre. a = 7358. Tverrsummen til a er lik 7 + 3 + 5 + 8 = 23. Setning. La sum(a) stå for tverrsummen

Detaljer

LO118D Forelesning 6 (DM)

LO118D Forelesning 6 (DM) LO118D Forelesning 6 (DM) Rekurrensrelasjoner 10.09.2007 1 Rekurrensrelasjoner Rekurrensrelasjoner En rekurrensrelasjon definerer det n-te elementet i en følge i forhold til de foregående elementene. Følgen

Detaljer

FASIT/LF FOR EKSAMEN TMA4140, H07

FASIT/LF FOR EKSAMEN TMA4140, H07 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 5 FASIT/LF FOR EKSAMEN TMA440, H07 Oppgave (0%) Benytt matematisk induksjon til å vise at for alle heltall n. n i i!

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk for IT, høsten 0 Oblig 1 Løsningsforslag 6. august 0 1..1 a) 19 76? 76 : 19 = 4 Vi ser at vi får 0 i rest ved denne divisjonen. Vi kan derfor konkludere med at 19 deler 76. b) 19 131? 131 :

Detaljer

LØSNINGSFORSLAG KONT 07, TMA4140

LØSNINGSFORSLAG KONT 07, TMA4140 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 LØSNINGSFORSLAG KONT 07, TMA4140 Oppgave 1 (10%) Utsagnet ( ( (p q)) r ) ( q p ) får sannhetstabellen: p q r (p

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

Forord. Oslo, juni 2001 Arne B. Sletsjøe

Forord. Oslo, juni 2001 Arne B. Sletsjøe Forord Dette heftet i tallteori er tilpasset Matematisk institutts nettbaserte kurs i tallteori og baserer seg i stor grad på Erik Alfsen og Tom Lindstrøms kompendium i tallteori for MA 115/215. Heftet

Detaljer

Kapittel 4: Mer predikatlogikk

Kapittel 4: Mer predikatlogikk MAT1030 Diskret Matematikk Forelesning 8: Logikk, predikatlogikk, bevisteknikker Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Mer predikatlogikk 10. februar 010 (Sist oppdatert: 010-0-10

Detaljer

Modulo-regning. hvis a og b ikke er kongruente modulo m.

Modulo-regning. hvis a og b ikke er kongruente modulo m. Modulo-regning Definisjon: La m være et positivt heltall (dvs. m> 0). Vi sier at to hele tall a og b er kongruente modulo m hvis m går opp i (a b). Dette betegnes med a b (mod m) Vi skriver a b (mod m)

Detaljer

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = 5 4 3 2 1 = 10 = 520 519

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = 5 4 3 2 1 = 10 = 520 519 Eksamen 2. desember 2014 Eksamenstid 4 timar IR201712 Diskret Matematikk Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1.......................................................................................

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

Løsningsforslag til eksamenen i MAT103, våren 2015

Løsningsforslag til eksamenen i MAT103, våren 2015 Løsningsforslag til eksamenen i MAT103, våren 2015 Oppgave 1 (vekt 10%) a) Et tall a er et partall hvis a er delelig med 2, dvs a 0(mod 2). Et tall a er et oddetall hvis a ikke delelig med 2, dvs a 1(mod

Detaljer

Primtall. Et heltall p > 0 kalles et primtall hvis kun 1 og p går opp i p.

Primtall. Et heltall p > 0 kalles et primtall hvis kun 1 og p går opp i p. Primtall Et heltall p > 0 kalles et primtall hvis kun 1 og p går opp i p. Hvordan avgjøre om et heltall a > 1 er et primtall? Regel: Hvis a > 1 ikke er et primtall, så må det finnes et primtall p a som

Detaljer

HJEMMEOPPGAVER (utgave av 12-7-2005):

HJEMMEOPPGAVER (utgave av 12-7-2005): HJEMMEOPPGAVER (utgave av 12-7-2005: Ogave 1 til 31. januar: La f 1, f 2,... være Fibonacci tallene, det vil si f 1 f 2 1 og f n f n 1 + f n 2 for n 3. Vis: (1 f 1 + f 2 + + f n f n+2 1. (2 f n+1 f n 1

Detaljer

Plenumsregning 12. Diverse oppgaver. Roger Antonsen mai Eksamen 12/6-06 Oppgave 2. Plan

Plenumsregning 12. Diverse oppgaver. Roger Antonsen mai Eksamen 12/6-06 Oppgave 2. Plan Plenumsregning 12 Diverse oppgaver Roger Antonsen - 22. mai 2008 Plan Dette er siste plenumsregning. Vi regner stort sett eksamensoppgaver. Neste uke blir det repetisjon på mandag og onsdag. Send epost

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

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

Test, 2 Algebra. Innhold. 2.1 Tallfølger. R2, Algebra Quiz

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

Detaljer

Definisjon 1.1 (Sunnhet). Sekventkalkylen LK er sunn hvis enhver LK-bevisbar sekvent er gyldig.

Definisjon 1.1 (Sunnhet). Sekventkalkylen LK er sunn hvis enhver LK-bevisbar sekvent er gyldig. Forelesning 5: Kompletthet og første-ordens logikk Roger Antonsen - 20. februar 2006 1 Kompletthet 1.1 Repetisjon Gyldig P, P Q Q Hvis v = P og v = P Q, så v = Q. Bevisbar P P Q Q P, P Q Q Falsifiserbar

Detaljer

INNHOLD. Side Eksempeleksamen 2T - Hele oppgavesettet 1. Oppgave 1 Eksempeleksamen 10

INNHOLD. Side Eksempeleksamen 2T - Hele oppgavesettet 1. Oppgave 1 Eksempeleksamen 10 INNHOLD Side Eksempeleksamen 2T - Hele oppgavesettet 1 Oppgave 1 Eksempeleksamen 10 Oppgave 1a Eksempeleksamen 12 Teori oppgave 1a Eksempeleksamen 12 Løsning oppgave 1a Eksempeleksamen 14 Oppgave 1b Eksempeleksamen

Detaljer

Obligatorisk oppgave 2 i MAT1140, Høst Løsninger og kommentarer

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

Detaljer

NTNU KOMPiS Studieplan for MATEMATIKK 1 (8. - 10. trinn) Studieåret 2014/2015

NTNU KOMPiS Studieplan for MATEMATIKK 1 (8. - 10. trinn) Studieåret 2014/2015 Godkjent april 2014 NTNU KOMPiS Studieplan for MATEMATIKK 1 (8. - 10. trinn) Studieåret 2014/2015 Profesjons- og yrkesmål Dette studiet er beregnet for lærere som har godkjent lærerutdanning med innslag

Detaljer

Niels Henrik Abels matematikkonkurranse Finale Løsninger

Niels Henrik Abels matematikkonkurranse Finale Løsninger Niels Henrik Abels matematikkonkurranse 6. mars 2018 Oppgave 1. Det kinesiske restleddteoremet tillater oss å telle opp antall par (x, y) der x er restklassen til n!! modulo 125 og y er restklassen modulo

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

NTNU KOMPiS Studieplan for MATEMATIKK 1 (8.-13. trinn) med hovedvekt på 8.-10. trinn Studieåret 2015/2016

NTNU KOMPiS Studieplan for MATEMATIKK 1 (8.-13. trinn) med hovedvekt på 8.-10. trinn Studieåret 2015/2016 Versjon 01/15 NTNU KOMPiS Studieplan for MATEMATIKK 1 (8.-13. trinn) med hovedvekt på 8.-10. trinn Studieåret 2015/2016 Profesjons- og yrkesmål Dette studiet er beregnet for lærere på ungdomstrinnet som

Detaljer

Oppfriskningskurs i Matematikk

Oppfriskningskurs i Matematikk Oppfriskningskurs i Matematikk Dag 3 Stine M. Berge 07.08.19 Stine M. Berge (NTNU) Oppfriskningskurs i Matematikk 07.08.19 1 / 19 Polynomer Polynomer er de enkleste funksjonene Definert og kontinuerlig

Detaljer

Repetisjonsforelesning - INF1080

Repetisjonsforelesning - INF1080 Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en

Detaljer

KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004.

KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004. KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004 av Hans Engenes 18. august 2004 2 Innhold 1 Tallteori 3 1.1 Innledning...............................

Detaljer

Noen tallteoretiske resultater av Fermat

Noen tallteoretiske resultater av Fermat Noen tallteoretiske resultater av Fermat Arne B. Sletsjøe Universitetet i Oslo Pierre de Fermat (1601/1607-1665) Fermats lille teorem Fermats rettvinklede teorem Fermats siste teorem Cubum autem in duos

Detaljer

Oppfriskningskurs i matematikk Dag 3

Oppfriskningskurs i matematikk Dag 3 Oppfriskningskurs i matematikk Dag 3 Petter Nyland Institutt for matematiske fag Onsdag 8. august 2018 Dagen i dag Tema 4 Polynomer: Faktorisering, røtter, polynomdivisjon, kvadratiske ligninger og rasjonale

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

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 2008 Kvantorer Mandag 04.02.2008 introduserte vi predikatlogikk Vi

Detaljer

Kvantorer. MAT1030 Diskret matematikk. Kvantorer. Kvantorer. Eksempel. Eksempel (Fortsatt) Forelesning 8: Predikatlogikk, bevisføring

Kvantorer. MAT1030 Diskret matematikk. Kvantorer. Kvantorer. Eksempel. Eksempel (Fortsatt) Forelesning 8: Predikatlogikk, bevisføring Kvantorer MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 008 Mandag 04.0.008 introduserte vi predikatlogikk Vi innførte

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

Oppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn.

Oppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn. Plenumsregning 5 Ukeoppgaver fra kapittel 4 Roger Antonsen - 14. februar 2008 Oppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn. Husk at hvis p q er påstanden,

Detaljer

MAT1030 Forelesning 8

MAT1030 Forelesning 8 MAT1030 Forelesning 8 Logikk, predikatlogikk, bevisteknikker Roger Antonsen - 11. februar 009 (Sist oppdatert: 009-0-17 10:5) Kapittel 4: Mer predikatlogikk Oppsummering Læringsmålene for kapitlet om logikk

Detaljer