Primtalen och aritmetikens fundamentalsats

Storlek: px
Starta visningen från sidan:

Download "Primtalen och aritmetikens fundamentalsats"

Transkript

1 Primtalen och aritmetikens fundamentalsats Tomas Malm Bokförlaget Bärarna

2 c 2015 Tomas Malm & Bokförlaget Bärarna Version av texten: 15 november 2016 Redigering/bearbetning av text & bild: Tomas Malm Detta dokument ingår i Bokförlaget Bärarnas distribution av kostnadsfritt material för utbildning och utbyte av tankar och idéer. Det är tillåtet att ladda ned, skriva ut och kopiera materialet. Det får användas privat, i utbildningssyfte eller som underlag för diskussion. Det är inte tillåtet att: bearbeta texten, använda den utan att uppge författaren som referens, ladda upp den på andra webbsidor än Bokförlaget Bärarnas eller författarens egen, distribuera och sälja fysiska utskrifter eller nyutgåvor av texten utan skriftlig överenskommelse med Bokförlaget Bärarna. För detaljer gällande rättigheter med mera vänligen kontakta förlaget via dess hemsida. Om du har förslag på förbättringar av eller kompletteringar till texten, vänligen kontakta bokförlaget via dess hemsida. 1

3 Innehåll 1 Abstract 2 2 Primtalen och aritmetikens fundamentalsats Definition av primtal Euklides primtalssats Primfaktorer och aritmetikens fundamentalsats Bevis för aritmetikens fundamentalsats Bevis för Euklides hjälpsats Kommentarer Talteori och fascinationen för primtal Lock/portar Teorifrågor samt frågor till stöd för minnet Ett urval av problem Abstract This article offers a reminder on the basics of prime factorization, that is, the possibility of splitting any integer (greater than one) into prime factors. The so called fundamental theorem of arithetmics is stated and proved in full detail. I det här dokumentet går vi igenom begreppet primtalsfaktorisering, det vill säga möjligheten av att dela upp varje givet heltal (större än ett) i primfaktorer. Vi formulerar aritmetikens fundamentalsats och ger ett fullständigt bevis för den. 2

4 2 Primtalen och aritmetikens fundamentalsats Primtalen utgör, kan man säga, heltalens atomer. Ordet atom kommer av grekiskans atomos, vilket betyder odelbar. Primtalen är på ett sätt heltalens odelbara minsta enheter, nämligen, så länge man begränsar betraktelsen till att endast gälla heltal och inte går över till bråk. Texten leder i sin helhet fram till ett bevis för aritmetikens fundamentalsats. Fundamentalsatsens innebörd är att varje heltal (större än 1) kan uttryckas som en produkt av primtal, och att denna produkt är entydig bortsett från den ordning i vilken primtalen ställs. De väsentliga inslagen i fundamentalsatsen och dess bevis finner man redan i Euklides Elementa Bok VII, som behandlar talteori. Även i moderna läroböckers bevis för primtalsfaktoriseringens entydighet utnyttjas oftast ett talteoretiskt samband som kallas Euklides hjälpsats (eller Euklides lemma ), vilken dyker upp som Prop. 30 ur Bok VII. Aritmetikens fundamentalsats är, som namnet antyder, ett mycket användbart matematiskt samband. Det är oumbärligt för många matematiska bevis och metoder. Inte minst i samband med olika slags kodning hör det till själva förutsättningen för kodningens tillförlitlighet att primtalsfaktoriseringen är unik. Ett annat exempel på en användning av fundamentalsatsen finns inom det område av modern teoretisk matematikvetenskap som går under namnet matematisk logik, och speciellt ett delområde som heter metamatematik. Detta innebär det matematiska studiet av formaliserade logiska system. Den bland icke matematiker kanske mest berömda av 1900 talets matematiker är förmodligen österrikaren Kurt Gödel ( ). Gödel gör i beviset för det inte mindre berömda Gödels ofullständighetsteorem bruk av aritmetikens fundamentalsats vid den så kallade Gödelaritmetiseringen, ett sätt att koda påståendesatser inom ett aritmetiskt axiomsystem (typiskt Peanoaritmetiken) som heltal. 3

5 Figur 1: Punktrektanglar för heltalen 1 till 10. Om heltalet är större än 1 och ett primtal så är den enda möjligheten en ensam rad av punkter. Om heltalet inte är ett primtal (och större än 1) är det ett sammansatt tal. Det är då möjligt att framställa en punktrektangel med minst två rader av punkter. 2.1 Definition av primtal Ett positivt heltal p, större än 1, säges vara ett primtal om de enda positiva delarna till p är 1 och p. Naturligtvis gäller att talet 1 endast är delbart med 1 och sig självt, men av ett visst lämplighetsskäl undviker man att betrakta 1 som ett primtal. Det handlar om att aritmetikens fundamentalsats skulle få en mer omständlig formulering om man också lät talet ett räknas till primtalen. De första primtalen upp till och med 101 räknar tjugosex stycken: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101 Det kan vara bra att ha definitionen av primtal klart formulerad som en matematiskt giltig sats: [1] Ett heltal p är ett primtal om och endast om p är större än 1 och de enda positiva delarna till p är 1 och p. Om ett heltal, större än 1, inte är ett primtal säges det vara ett sammansatt 4

6 tal. De sammansatta talen under 101 är alla de heltal från 4 och uppåt som inte dyker upp någonstans i ovanstående lista av primtal. Exempelvis är 4, 10 och 15 sammansatta heltal, eftersom 4 = 2 2, 10 = 2 5 och 15 = 3 5. Heltalen 0 och 1 utgör varken primtal eller sammansatta tal. 2.2 Euklides primtalssats Låt oss nu försöka besvara följande fråga: Fråga 1. Hur många primtal finns det? Det svar Euklides ger återfinner man som Prop. 20 ur bok IX av Elementa, också kallad för Euklides primtalssats: [2] Det finns oändligt många primtal; listan med primtal kan med andra ord fortsättas utan slut. Euklides klassiska bevis för sitt påstående ser ut såhär (eller ungefär såhär): 1. Antag att man har en lista av några av de första primtalen. Utan att förlora i resonemangets allmängiltighet kan vi helt enkelt anta att vår lista består av primtalen p 1, p 2, p Konstruera nu talet N = p 1 p 2 p Antingen är N ett primtal eller så är det inte primtal. 3a. Antag att N är ett primtal. N är strikt större än vart och ett av talen p 1, p 2 och p 3. Av det följer att N är ett primtal som vi kan förlänga listan av primtal med och i så fall är vi klara. 3b. Antag istället att N inte är ett primtal. I så fall måste det finnas något primtal som är en delare till N. Heltalsdivision av N med vilket som helst av primtalen p 1, p 2 eller p 3 ger dock resten 1. (Räknar man till exempel hur många gånger p 1 1 Resonemanget förlorar inget i allmängiltighet eftersom ett helt analogt argument kunde upprepas för en lista av primtal av godtycklig längd. Om vi har en lista av fyra primtal, så sätter vi helt enkelt N = p 1 p 2 p 3 p 4 + 1, om en lista med fem primtal N = p 1 p 2 p 3 p 4 p 5 + 1, och så vidare. 5

7 går i N är svaret p 2 p 3 gånger och resten är 1.) Alltså är en primtalsdelare till N också ett primtal att förlänga vår lista av primtal med och i så fall är vi klara. 4. Oavsett vilket av alternativen i rad (2) som gäller har vi ändå funnit ytterligare primtal att förlänga listan av primtal med. Slutsatsen är att det finns oändligt många primtal. Beviset är klart. 2.3 Primfaktorer och aritmetikens fundamentalsats Om p är ett primtal som delar ett givet heltal n så säges p vara en primfaktor i n. Varje heltal kan delas upp i primfaktorer och därefter uttryckas som en produkt av dessa primfaktorer. Exempel 1. Låt oss titta på ett konkret exempel och dela upp heltalet 42 i primtal. 1. Vi börjar med att pröva primtalet 2 och ställer frågan Är 42 delbart med 2? Svaret är ja, eftersom om vi delar 42 med 2 får vi 21 och resten 0: 42 = är inte ett primtal, så vi undersöker vilka primfaktorer det har. Är 21 delbart med 2? Nej, det är det inte. Däremot är det delbart med 3, eftersom 21 = 3 7: 42 = är ett primtal och kan därför inte delas upp i fler faktorer. Därmed har vi funnit alla primfaktorer till talet 42. Att denna uppdelning i primfaktorer dessutom bara kan göras på ett bestämt sätt för ett givet heltal är innebörden av aritmetikens fundamentalsats. Den produkt av primtalsfaktorer som aritmetikens fundamentalsats omtalar kallas för primtalsfaktoriseringen av heltalet. Eftersom den är entydig, bortsett från faktorernas ordning, kan produkten skrivas på ett och endast ett sätt 6

8 med primtalen i stigande storleksordning. När man skriver upp primtalsfaktoriseringen brukar man samla alla upprepningar av ett primtal som en potens istället. Några exempel på sådana primtalsfaktoriseringar: 6 = 2 3 = = = = = Detta att ställa produkten av primfaktorer i storleksordning kallas för primtalsfaktorisering på normalform. Ett annat smidigt sätt att redogöra för primtalsfaktoriseringen av ett tal är med hjälp av ett primfaktorträd. Ett primfaktorträd är ett exempel på den allmänna diskreta strukturen träddiagram, som kommer till användning inom datalogin, logiken och sannolikhetsläran exempelvis. Såhär kan ett primfaktorträd för talet 60 se ut: Talet 60 har primtalsfaktorerna 2, 2, 3, 5. På normalform kan primtalsfaktoriseringen av 60 skrivas: 60 = Aritmetikens fundamentalsats lyder som följer: [3] Varje heltal n större än 1 kan skrivas som en produkt av primtal. Bortsett från i vilken ordning man ställer primtalen är denna uppdelning i primtalsfaktorer entydig. Här är ett alternativt men helt ekvivalent sätt att formulera fundamentalsatsen: Låt n vara ett heltal större än 1. Då finns det primtal p 1, p 2,..., p m 7

9 och exponenter k 1, k 2,..., k m som alla är större än noll, sådana att n = p k 1 1 p k 2 2 p km m Bortsett från i vilken ordning man ställer primtalen är denna uppdelning i primtalsfaktorer entydig för heltalet n. 2.4 Bevis för aritmetikens fundamentalsats Att det i varje enskilt fall, alltså för ett givet heltal n större än 1, verkligen är möjligt att dela upp talet i primtalsfaktorer torde inte vara så svårt att inse. Man kunde formulera ett bevis för denna första del av aritmetikens fundamentalsats, alltså primtalsfaktoriseringens möjlighet, såhär: 1. Varje heltal n, större än 1, är antingen ett primtal eller ett sammansatt tal. Om det är ett primtal så är vi klara. Om det inte är ett primtal kan n delas upp i delfaktorer, som var och en är strikt mindre än n. Eftersom vi rör oss med ett ändligt tal kan uppdelningen av talet i faktorer inte fortgå i all oändlighet. Vad vi då i slutändan landar med är en uppsättning faktorer som inte låter sig uppdelas ytterligare det vill säga en uppsättning primtal. Den knepigare biten i beviset för fundamentalsatsen är med andra ord inte att visa att en primtalsfaktorisering överhuvudtaget låter sig göras; det är så gott som självklart. Det svårare är att visa att det bara låter sig göras på ett enda sätt för varje möjligt heltal, bortsett från den ordning i vilken man sedan ställer primtalsfaktorerna. För denna bit av beviset används vanligtvis Euklides hjälpsats, som är själva kärnan i det sedvanliga bevisförfarandet. Man kunde nästan säga att beviset för hela aritmetikens fundamentalsats låter sig återföras på att bevisa Euklides hjälpsats. Beviset för den senare har jag valt att placera i nästkommande avsnitt. Euklides hjälpsats (eller Euklides lemma ) dyker upp som teorem 30 ur bok VII av Elementa: [4] Om primtalet p är en delare till produkten ab, så är p också delare till minst ett av heltalen a och b. 8

10 Med den formella logikens notation kan hjälpsatsen skrivas: p ab = p a p b Jag påminner om att symbolen i matematiken och den formella logiken är beteckning för inklusiv disjunktion. I matematiken innebär A eller B alltid A eller B eller båda två om ingenting annat är uttryckligen sagt. Det kan naturligtvis gälla att primtalet p delar både a och b. Exempelvis är primtalet 2 delare till talet 24 = 6 4, men också till båda talen 6 och 4. Ur Euklides hjälpsats får vi omedelbart en följdsats (ett korollarium): [5] Om primtalet p är en delare till en mångfaldig produkt a 1 a 2 a 3 a m av heltal, så är p även delare till åtminstone en av faktorerna i produkten (och eventuellt fler av dem). Jag överlåter på läsaren att övertyga sig om att detta följer ur Euklides hjälpsats. Låt oss nu ser hur vi kan använda Euklides hjälpsats för att demonstrera primtalsfaktoriseringens entydighet (upp till faktorernas ordning) och därmed fullborda beviset för aritmetikens fundamentalsats: 2. Antag att vi har två primtalsfaktoriseringar p 1 p m och q 1 q l av ett och samma naturliga tal n > 1. Tanken är att visa att den ena faktoriseringen i så fall är en permutation av den andra, vilket betyder en omkastning av faktorerna i en annan ordning helt enkelt. 3. Eftersom p 1 n följer av sats [5] att p 1 delar någon av faktorerna q 1,..., q l, låt oss säga q 3. Men då både p 1 och q 3 är primtal gäller förstås att p 1 = q 3. Dela n med p 1 och fortsätt på liknande sätt med p 2. Vi inser att p 2 är lika med något av talen q 1, q 2, q 4,..., q l, låt oss säga q 5. När man på det där sättet har gått igenom hela listan med primtal p i har man i och med detta även uttömt listan med primtal q j. (Det inte är möjligt att något av talen i den andra faktoriseringen blivit utelämnat, eftersom man i så fall skulle ha kvar en motsägelse på formen 1 = något primtal.) 4. Slutsatsen är att primtalen som ingick i de två primtalsfaktoriseringarna i själva verket var desamma. 9

11 Beviset för aritmetikens fundamentalsats är således fullbordat. 2.5 Bevis för Euklides hjälpsats Med utgångspunkt i Euklides algoritm kan man konstatera följande matematiska samband: [6] Låt a och b vara två heltal. Då finns det heltal x och y sådana att linjärkombinationen av a och b med x och y är lika med den största gemensamma delaren till a och b. Det är: xa + yb = gcd(a, b) För en förklaring till detta se dokumentet Den största gemensamma delaren och Euklides algoritm. Med hjälp av [6] kan ett bevis för sats [4] formuleras: 1. Antag att p ab. 2. Om p a så är vi klara, eftersom det i så fall gäller att p delar a eller b. 3. Antag därför att p inte delar a. I det fallet gäller att den största gemensamma delaren till p och a är 1. Det kreativa steget består nu i att utnyttja Euklides algoritm för beviset. 4. Eftersom p och a i det här fallet är relativt prima finns enligt sats [6] därmed heltal x och y sådana att 1 = px + ay 5. Multiplicerar vi nu vänsterled och högerled i likheten med b får vi: b = pbx + aby 6. Enligt villkoret i satsen är p en delare till ab, varför ab = pc, för något heltal c. 7. Ur (5) och (6) följer att b = pbx + pcy = p(bx + cy) 10

12 genom substitution av ab med pc. Om p inte delar a gäller med andra ord att p istället är en delare till b. Alltså gäller även under antagande (3) att p delar a eller b. 8. Slutsatsen är att p a eller p b. Beviset för Euklides hjälpsats är klart. 11

13 3 Kommentarer 3.1 Talteori och fascinationen för primtal Primtalen har varit ett starkt intresse för matematiker ända sedan antiken. Även idag finns det matematiker som har valt att viga sin forskning åt primtalen och deras egenskaper. De flesta människor är förstås inte särskilt intresserade av att viga sina liv åt primtalen. Men även för oss som inte delar matematikerns engagemang för saken finns det alltjämt ett bildningsintresse, även för den som är mer filosofiskt eller humanistiskt orienterad, i att åtminstone känna till litegrann om primtalen och den roll de spelar i matematiken och idéhistorien. Förutom det renodlat matematiska intresset eller den humanistiska bildningsaspekten finns det idag, på grund av datorernas uppkomst och utveckling, även tekniska tillämpningar av talteoretisk kunskap om primtalen. Den kommer bland annat till praktisk tillämpning inom datakryptering. Det är ett område som är gemensamt för matematiken och datavetenskapen som kallas för kryptologi. Bland annat banker använder primtalskryptering för säker betalning via internet. Naturligtvis är kryptering också ett viktigt kunskapsområde för militären och dess olika organ. Det med all säkerhet genom tiderna mest berömda av alla talteoretiska problem heter Fermats sista problem. Detta är dock inte längre ett olöst problem, men det tog matematiker och amatörers ansträngningar till trots över 350 år att finna en lösning. Den som slutligen lade alla pusselbitarna på plats var en brittisk matematiker vid namn Andrew Wiles. År 1995 publicerade Wiles sitt bevis för Fermats sista sats som en cirka 200 sidor lång matematisk avhandling med titeln Modular Elliptic Curves and Fermat s Last Theorem. För denna bedrift erhöll Wiles den prestigefyllda Fieldsmedaljen, matematikvärldens motsvarighet till Nobelpriset, dock ännu mer sällsynt, då den bara delas ut vart fjärde år. Än idag finns det mängder av olösta talteoretiska problem. En del av dessa har förblivit olösta gåtor i åtskilliga sekler. Ett annat berömt talteoretiskt 12

14 problem, men som faktiskt fortfarande är olöst, handlar om primtalen. Den tyske matematikern Christian Goldbach lade på 1700 talet fram en hypotes som sedan dess kallas för Goldbachs hypotes eller förmodan: Varje jämnt heltal större än 2 kan skrivas på åtminstone ett sätt som en summa av två primtal. Hypotesen säger inte att det bara skulle gå att göra på ett enda sätt, men att det för varje jämnt heltal finns åtminstone ett sätt att skriva det som en summa av två primtal. Det gäller ju exempelvis att: 4 = = = = = = Det olösta talteoretiska problem, som också brukar gå under namnet Goldbachs förmodan, lyder alltså såhär: Problem (Goldbachs förmodan): Bevisa eller motbevisa Goldbachs hypotes. Än så länge har man inte hittar något motexempel mot Goldbachs hypotes, vilket omedelbart skulle bevisa att den är falsk. Men man har heller inte åtminstone inte än så länge lyckats ge ett matematiskt bevis för att den är sann. Av att man än så länge inte har hittat något motexempel, följer ju inte att påståendet nödvändigtvis skulle vara sant för alla möjliga jämna heltal. Man kan ju tänka sig att det skulle kunna finnas ett heltal större än alla hittills kända test, men som inte uppfyllde den efterfrågade egenskapen. I dagsläget finns med andra ord varken ett bevis eller ett motbevis för Goldbachs hypotes. 13

15 4 Lock/portar 4.1 Teorifrågor samt frågor till stöd för minnet F2. (a) Hur lyder definitionen av primtal respektive sammansatt tal? (b) Vilka är de första tio primtalen? (c) Hur många primtal finns det? F3. Ge ett bevis för Euklides primtalssats. F4. Hur kommer det sig att primtalsfaktorisering alltid är möjlig att genomföra för ett heltal större än 1? F5. Hur lyder Euklides hjälpsats? Vad är en omedelbar konsekvens av detta lemma? F6. Ge ett bevis för Euklides hjälpsats. F7. Ge ett bevis för aritmetikens fundamentalsats (närmare bestämt primtalsfaktoriseringens entydighet) med stöd av Euklides hjälpsats. 4.2 Ett urval av problem P1. Primtalsfaktorisera heltalet. Redovisa på normalform och med primfaktorträd: (a) 21 (b) 330 (c) 150 P2. Visa följande matematiska ekvivalens: [7] Ett heltal n är delbart med 6 om och endast om n är delbart med både 2 och 3. Med matematisk notation: 6 n 2 n 3 n 14

Hela tal LCB 1999/2000

Hela tal LCB 1999/2000 Hela tal LCB 1999/2000 Ersätter Grimaldi 4.3 4.5 1 Delbarhet Alla förekommande tal i fortsättningen är heltal. DEFINITION 1. Man säger att b delar a om det finns ett heltal n så att a Man skriver b a när

Läs mer

Några satser ur talteorin

Några satser ur talteorin Några satser ur talteorin LCB 997/2000 Fermats, Eulers och Wilsons satser Vi skall studera några klassiska satser i talteori, vilka är av betydelse bland annat i kodningsteknik och kryptoteknik. De kan

Läs mer

2 (6) k 0 2 (7) n 1 F k F n. k F k F n F k F n F n 1 2 (8)

2 (6) k 0 2 (7) n 1 F k F n. k F k F n F k F n F n 1 2 (8) De naturliga talen. Vi skall till att börja med stanna kvar i världen av naturliga tal, N 3. Vi har redan använt (i beviset av Euklides primtalssats) att de naturliga talen är uppbyggda (genom multiplikation)

Läs mer

TALTEORI FÖR ALLA 1 Juliusz Brzezinski

TALTEORI FÖR ALLA 1 Juliusz Brzezinski TALTEORI FÖR ALLA 1 Juliusz Brzezinski För exakt 10 år sedan publicerade Andrew Wiles sitt bevis av Fermats Stora Sats. Nyheten om hans resultat väckte enorm uppmärksamhet i hela världen. Vägen till lösningen

Läs mer

A B A B A B S S S S S F F S F S F S F F F F

A B A B A B S S S S S F F S F S F S F F F F Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 17. Logik När man utför matematiska resonemang så har man alltid vissa logiska spelregler att förhålla

Läs mer

PRIMTALEN, MULTIPLIKATION OCH DIOFANTISKA EKVATIONER

PRIMTALEN, MULTIPLIKATION OCH DIOFANTISKA EKVATIONER Explorativ övning 4 PRIMTALEN, MULTIPLIKATION OCH DIOFANTISKA EKVATIONER Syftet med detta avsnitt är att bekanta sig med delbarhetsegenskaper hos heltalen. De viktigaste begreppen är Aritmetikens fundamentalsats

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 28 oktober 2001 1 Heltalen Det första kapitlet handlar om heltalen och deras aritmetik, dvs deras egenskaper som

Läs mer

Lösningar till utvalda uppgifter i kapitel 5

Lösningar till utvalda uppgifter i kapitel 5 Lösningar till utvalda uppgifter i kapitel 5 5.3. Vi använder Euklides algoritm och får 4485 = 1 3042 + 1443 3042 = 2 1443 + 156 1443 = 9 156 + 39 156 = 4 39. Alltså är sgd(3042, 4485) = 39. Om vi startar

Läs mer

Induktion, mängder och bevis för Introduktionskursen på I

Induktion, mängder och bevis för Introduktionskursen på I Induktion, mängder och bevis för Introduktionskursen på I J A S, ht 04 1 Induktion Detta avsnitt handlar om en speciell teknik för att försöka bevisa riktigheten av påståenden eller formler, för alla heltalsvärden

Läs mer

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet Filosofisk logik Kapitel 19 Robin Stenwall Lunds universitet Dagens upplägg Gödels fullständighetsteorem Sundhet och fullständighet Fullständighetsbeviset Vittneskonstanter Henkinteorin Eliminationsteoremet

Läs mer

LABBA MED PRIMTAL OCH DELBARHET. Andreas Wannebo

LABBA MED PRIMTAL OCH DELBARHET. Andreas Wannebo LABBA MED PRIMTAL OCH DELBARHET Andreas Wannebo Vi ska studera egenskaper för heltalen. Det finns heltal såsom 1,2,3,4,... De är de positiva heltalen och det är dem vi vill studera. Först kan man ställa

Läs mer

(A B) C = A C B C och (A B) C = A C B C. Bevis: (A B) C = A C B C : (A B) C = A C B C : B C (A B) C A C B C

(A B) C = A C B C och (A B) C = A C B C. Bevis: (A B) C = A C B C : (A B) C = A C B C : B C (A B) C A C B C Sats 1.3 De Morgans lagar för mängder För alla mängder A och B gäller att (A B) C = A C B C och (A B) C = A C B C. (A B) C = A C B C : A B A C (A B) C B C A C B C (A B) C = A C B C : A B A C (A B) C B

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar

Läs mer

Geometri, talteori och kombinatorik

Geometri, talteori och kombinatorik Geometri, talteori och kombinatorik Föreläsning 2: Primtal Eric Järpe C 2015 Eric Järpe MPE-lab ITE-akademin Högskolan i Halmstad January 14, 2015 Eric Järpe (Högskolan i Halmstad) Geometri, talteori och

Läs mer

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,

Läs mer

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

LMA033/LMA515. Fredrik Lindgren. 4 september 2013 LMA033/LMA515 Fredrik Lindgren Matematiska vetenskaper Chalmers tekniska högskola och Göteborgs universitet 4 september 2013 F. Lindgren (Chalmers&GU) Matematik 4 september 2013 1 / 25 Outline 1 Föreläsning

Läs mer

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2. Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar

Läs mer

Kapitel 2: De hela talen

Kapitel 2: De hela talen Kapitel 2: De hela talen Divisionsalgoritmen ( a a Z, d Z\{0} q, r Z : d = q + r ) d, 0 r d c 2005 Eric Järpe Högskolan i Halmstad där q kallas kvoten och r kallas principala resten vid heltalsdivision.

Läs mer

Matematik 5 Kap 2 Diskret matematik II

Matematik 5 Kap 2 Diskret matematik II Matematik 5 Kap 2 Diskret matematik II Inledning Konkretisering av ämnesplan (länk) http://www.ioprog.se/public_html/ämnesplan_matematik/struktur_äm nesplan_matematik/struktur_ämnesplan_matematik.html

Läs mer

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental. Lunds tekniska högskola Datavetenskap Lennart ndersson Föreläsningsanteckningar EDF10 4 Mängder 4.1 Motivering Mängden är den mest grundläggande diskreta strukturen. Nästan alla matematiska begrepp går

Läs mer

RSA-kryptering och primalitetstest

RSA-kryptering och primalitetstest Matematik, KTH Bengt Ek augusti 2016 Material till kurserna SF1630 och SF1679, Diskret matematik: RSA-kryptering och primalitetstest Hemliga koder (dvs koder som används för att göra meddelanden oläsbara

Läs mer

Föreläsning 9: Talteori

Föreläsning 9: Talteori DD2458, Problemlösning och programmering under press Föreläsning 9: Talteori Datum: 2009-11-11 Skribent(er): Ting-Hey Chau, Gustav Larsson, Åke Rosén Föreläsare: Fredrik Niemelä Den här föreläsningen handlar

Läs mer

Sats 2.1 (Kinesiska restsatsen) Låt n och m vara relativt prima heltal samt a och b två godtyckliga heltal. Då har ekvationssystemet

Sats 2.1 (Kinesiska restsatsen) Låt n och m vara relativt prima heltal samt a och b två godtyckliga heltal. Då har ekvationssystemet Avsnitt 2 Tillägg om kongruensräkning Detta avsnitt handlar om två klassiska satser som används för att förenkla kongruensräkning: Kinesiska restsatsen och Fermats lilla sats. Den första satsen används

Läs mer

1. Inledning, som visar att man inte skall tro på allt man ser. Betrakta denna följd av tal, där varje tal är dubbelt så stort som närmast föregående

1. Inledning, som visar att man inte skall tro på allt man ser. Betrakta denna följd av tal, där varje tal är dubbelt så stort som närmast föregående MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 1 1. Inledning, som visar att man inte skall tro på allt man ser. Betrakta

Läs mer

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00 Lösningar för tenta i TMV200 Diskret matematik 2018-08-31 kl 1:00 18:00 1 Om argumentet inte är giltigt går det att hitta ett motexempel, dvs en uppsättning sanningsvärden för vilka alla hypoteserna är

Läs mer

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},

Läs mer

INDUKTION OCH DEDUKTION

INDUKTION OCH DEDUKTION AVSNITT 3 INDUKTION OCH DEDUKTION Med induktion menar man vanligen en mycket vanlig resonemangsmetod: man gör flera observationer, upptäcker ett mönster (eller något som man tror är ett mönster) och därefter

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner

Läs mer

Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare, lock till miniräknare

Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare, lock till miniräknare Umeå universitet Tentamen i matematik Institutionen för matematik Introduktion till och matematisk statistik diskret matematik Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare,

Läs mer

Övningshäfte 1: Logik och matematikens språk

Övningshäfte 1: Logik och matematikens språk GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter

Läs mer

, S(6, 2). = = = =

, S(6, 2). = = = = 1 Matematiska Institutionen KTH Lösningar till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF161 och SF160, den 17 april 2010 kl 09.00-14.00. Examinator: Olof Heden. DEL I 1.

Läs mer

KTHs Matematiska Cirkel. Talteori. Andreas Enblom Alan Sola

KTHs Matematiska Cirkel. Talteori. Andreas Enblom Alan Sola KTHs Matematiska Cirkel Talteori Andreas Enblom Alan Sola Institutionen för matematik, 2008 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 0 Mängdlära 1 0.1 Mängder...............................

Läs mer

När du läser en definition bör du kontrollera att den är vettig, och försöka få en idé om vad den egentligen betyder. Betrakta följande exempel.

När du läser en definition bör du kontrollera att den är vettig, och försöka få en idé om vad den egentligen betyder. Betrakta följande exempel. Logik och bevis II 3. föring Detta avsnitt handlar om olika metoder för att bevisa påståenden, och hur man kan konstruera ett bevis. I varje avsnitt finns en allmän beskrivning av metoden, varför den fungerar

Läs mer

Tal till Solomon Feferman

Tal till Solomon Feferman Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman

Läs mer

Matematikens Element. Vad är matematik. Är detta matematik? Anders Fällström Institutionen för matematik och matematisk statistik Umeå universitet

Matematikens Element. Vad är matematik. Är detta matematik? Anders Fällström Institutionen för matematik och matematisk statistik Umeå universitet Matematikens Element Höstterminen 2006 Anders Fällström Institutionen för matematik och matematisk statistik Umeå universitet Vad är matematik Är detta matematik? 3 1 Eller kanske detta? 4 Men det här

Läs mer

UPPSALA UNIVERSITET Institutionen för informationsteknologi NUMERISK TALTEORI. Eva-Lotta Högberg Daniel Norin Linn Stengård Joakim Widén

UPPSALA UNIVERSITET Institutionen för informationsteknologi NUMERISK TALTEORI. Eva-Lotta Högberg Daniel Norin Linn Stengård Joakim Widén UPPSALA UNIVERSITET Institutionen för informationsteknologi NUMERISK TALTEORI Eva-Lotta Högberg Daniel Norin Linn Stengård Joakim Widén INLEDNING Vi skall i detta arbete belysa den numeriska talteorins

Läs mer

Gaussiska heltal. Maja Wallén. U.U.D.M. Project Report 2014:38. Department of Mathematics Uppsala University

Gaussiska heltal. Maja Wallén. U.U.D.M. Project Report 2014:38. Department of Mathematics Uppsala University U.U.D.M. Project Report 014:38 Gaussiska heltal Maja Wallén Examensarbete i matematik, 15 hp Handledare och examinator: Gunnar Berg Juni 014 Department of Mathematics Uppsala University Innehållsförteckning

Läs mer

Teori :: Diofantiska ekvationer v1.2

Teori :: Diofantiska ekvationer v1.2 Teori :: Diofantiska ekvationer v1. 1 Definitioner och inledande exempel Låt oss börja med att göra klart för vad vi menar med en diofantisk ekvation: S:def+ex Definition 1.1. Betrakta ekvationen D:diofantiskEkv

Läs mer

Föreläsning 5. Deduktion

Föreläsning 5. Deduktion Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske

Läs mer

Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att. a b (mod n)

Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att. a b (mod n) Uppsala Universitet Matematiska institutionen Isac Hedén Algebra I, 5 hp Sammanfattning av föreläsning 9. Kongruenser Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att

Läs mer

Mer om reella tal och kontinuitet

Mer om reella tal och kontinuitet Kapitel R Mer om reella tal och kontinuitet I detta kapitel formulerar vi ett av de reella talens grundläggande axiom, axiomet om övre gräns, och studerar några konsekvenser av detta. Med dess hjälp kommer

Läs mer

Logik: sanning, konsekvens, bevis

Logik: sanning, konsekvens, bevis Logik: sanning, konsekvens, bevis ft1100 samt lc1510 HT 2016 Giltiga argument (Premiss 1) (Premiss 2) (Slutsats) Professorn är på kontoret eller i lunchrummet Hon är inte på kontoret Professorn är i lunchrummet

Läs mer

Hur man skriver matematik

Hur man skriver matematik Hur man skriver matematik Niels Chr. Overgaard 2018-10-01 N. Chr. Overgaard Skriva matematik 2018-10-01 1 / 12 Information: Opposition och kompisgranskning En del av inlämningsuppgift går ut på att man

Läs mer

Kimmo Eriksson 12 december 1995. Att losa uppgifter av karaktaren \Bevisa att..." uppfattas av manga studenter

Kimmo Eriksson 12 december 1995. Att losa uppgifter av karaktaren \Bevisa att... uppfattas av manga studenter Kimmo Eriksson 12 december 1995 Matematiska institutionen, SU Att genomfora och formulera ett bevis Att losa uppgifter av karaktaren \Bevisa att..." uppfattas av manga studenter som svart. Ofta ar det

Läs mer

Diskret matematik: Övningstentamen 4

Diskret matematik: Övningstentamen 4 Diskret matematik: Övningstentamen 22. Beskriv alla relationer, som är såväl ekvivalensrelationer som partiella ordningar. Är någon välbekant relation sådan? 23. Ange alla heltalslösningar till ekvationen

Läs mer

Algebra och kryptografi Facit till udda uppgifter

Algebra och kryptografi Facit till udda uppgifter VK Algebra och kryptografi Facit till udda uppgifter Tomas Ekholm Niklas Eriksen Magnus Rosenlund Matematiska institutionen, 2002 48 Grupper. Lösning 1.1. Vi väljer att studera varje element i G H för

Läs mer

Problemdemonstration 1

Problemdemonstration 1 Problemdemonstration 1 Divisorsummor och perfekta tal Låt oss för ett givet positivt naturligt tal x, summera alla naturliga tal d som x är delbar med, och som är mindre än x. Talen d kallas divisorer

Läs mer

Pythagoreiska trianglar

Pythagoreiska trianglar 173 Pythagoreiska trianglar Sten Kaijser Uppsala Universitet Kort beskrivning av specialarbetet. Pythagoreiska trianglar har varit kända i minst 4000 år och kanske ännu längre. De utgör därmed ett av de

Läs mer

Övningshäfte 2: Induktion och rekursion

Övningshäfte 2: Induktion och rekursion GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2017 INLEDANDE ALGEBRA Övningshäfte 2: Induktion och rekursion Övning D Syftet är att öva förmågan att utgående från enkla samband, aritmetiska och geometriska,

Läs mer

Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige

Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >

Läs mer

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter Johan Thim 15 augusti 2015 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför

Läs mer

Delbarhet och primtal

Delbarhet och primtal Talet 35 är delbart med 7 eftersom 35 = 5 7 Delbarhet och primtal 7 är en faktor i 35 kan skrivas 7 35 7 är en delare (divisor) till 35 35 är en multipel av 7 De hela talen kan delas in i jämna och udda

Läs mer

Talteori (OBS en del frågor gäller diofantiska ekvationer och de tas inte upp från och med hösten 2012)

Talteori (OBS en del frågor gäller diofantiska ekvationer och de tas inte upp från och med hösten 2012) Talteori (OBS en del frågor gäller diofantiska ekvationer och de tas inte upp från och med hösten 2012) T4.4-T4.7, 4.3, 4.7,T4.13-T4.14 S: Jag har svårt för visa-uppgifter. i kapitel 4 Talteori. Kan du

Läs mer

Diskret matematik: Övningstentamen 1

Diskret matematik: Övningstentamen 1 Diskret matematik: Övningstentamen 1 1. Bevisa att de reella talen är en icke-uppräknelig mängd.. För två mängder av positiva heltal A och B skriver vi A C B, om det är så att A innehåller ett heltal som

Läs mer

TALSYSTEM, DELBARHET OCH PRIMTAL

TALSYSTEM, DELBARHET OCH PRIMTAL Explorativ övning 3 TALSYSTEM, DELBARHET OCH PRIMTAL Syftet med detta avsnitt är att titta närmare på positionssystemet och på heltalens multiplikativa struktur. De viktigaste begreppen är presentation

Läs mer

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden. MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen

Läs mer

MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Daniel Bergh. Lösningsförslag Algebra och kombinatorik

MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Daniel Bergh. Lösningsförslag Algebra och kombinatorik MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Daniel Bergh Lösningsförslag Algebra och kombinatorik 015-01-16 Uppgift 1 Vi noterar att 31 är ett primtal, så Z 31 är en kropp.

Läs mer

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister Vektorgeometri för gymnasister Per-Anders Svensson http://w3.msi.vxu.se/users/pa/vektorgeometri/gymnasiet.html Institutionen för datavetenskap, fysik och matematik Linnéuniversitetet Vektorer i planet

Läs mer

Explorativ övning 5 MATEMATISK INDUKTION

Explorativ övning 5 MATEMATISK INDUKTION Explorativ övning 5 MATEMATISK INDUKTION Syftet med denna övning är att introducera en av de viktigaste bevismetoderna i matematiken matematisk induktion. Termen induktion är lite olycklig därför att matematisk

Läs mer

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson Uppsala Universitet Matematiska Institutionen Thomas Erlandsson LÄSANVISNINGAR VECKA 36 VERSION 1. ARITMETIK FÖR RATIONELLA OCH REELLA TAL, OLIKHETER, ABSOLUTBELOPP ADAMS P.1 Real Numbers and the Real

Läs mer

1. MYSTERIER BLAND HELTALEN.

1. MYSTERIER BLAND HELTALEN. 1. MYSTERIER BLAND HELTALEN. Inledning. Om jämna tal och udda tal, delare, kvot och rest. Ett av kursens viktigaste syften är att ge träning i konsten att läsa matematik. Det är nödvändigt att lära sig

Läs mer

Explorativ övning 5 MATEMATISK INDUKTION

Explorativ övning 5 MATEMATISK INDUKTION Explorativ övning 5 MATEMATISK INDUKTION Syftet med denna övning är att introducera en av de viktigaste bevismetoderna i matematiken matematisk induktion. Termen induktion är lite olycklig därför att matematisk

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 18 november 2001 13 Grupper Det trettonde kapitlet behandlar grupper. Att formulera abstrakta begrepp som grupper

Läs mer

Övningshäfte 3: Polynom och polynomekvationer

Övningshäfte 3: Polynom och polynomekvationer LMA100 VT2005 ARITMETIK OCH ALGEBRA DEL 2 Övningshäfte 3: Polynom och polynomekvationer Syftet med denna övning är att repetera gymnasiekunskaper om polynom och polynomekvationer samt att bekanta sig med

Läs mer

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 11 april, 2002

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 11 april, 2002 Institutionen för matematik, KTH Mats Boij och Niklas Eriksen Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 11 april, 2002 1. Bestäm det minsta positiva heltal n sådant att 31n + 13 är delbart

Läs mer

2 Matematisk grammatik

2 Matematisk grammatik MATEMATISK GRAMMATIK Matematisk grammatik.1 Skriva matematik Matematisk grammatik, minst lika kul som det låter, och hur man skriver matematik är nästan lika viktigt som vad man skriver. En grammatisk

Läs mer

MA 11. Hur starkt de binder. 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi

MA 11. Hur starkt de binder. 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi MA 11 Talteori och logik 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi propositionssymboler: bokstäver konnektiv Paranteser konnektiv

Läs mer

Block 2 Algebra och Diskret Matematik A. Följder, strängar och tal. Referenser. Inledning. 1. Följder

Block 2 Algebra och Diskret Matematik A. Följder, strängar och tal. Referenser. Inledning. 1. Följder Block 2 Algebra och Diskret Matematik A BLOCK INNEHÅLL Referenser Inledning 1. Följder 2. Rekursiva definitioner 3. Sigmanotation för summor 4. Strängar 5. Tal 6. Övningsuppgifter Referenser Följder, strängar

Läs mer

Kryptering och primtalsfaktorisering

Kryptering och primtalsfaktorisering Institutionen för Numerisk analys och datalogi Kryptering och primtalsfaktorisering Johan Håstad Nada, KTH johanh@nada.kth.se Ett Exempel N = 9324894190123791048152332319394135 4114125392348254384792348320134094

Läs mer

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002 Institutionen för matematik, KTH Mats Boij och Niklas Eriksen Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002 1. Använd induktion för att visa att 8 delar (2n + 1 2 1 för alla

Läs mer

ANDREAS REJBRAND NV3ANV Matematik Matematiskt språk

ANDREAS REJBRAND NV3ANV Matematik   Matematiskt språk ANDREAS REJBRAND NV3ANV 2006-02-14 Matematik http://www.rejbrand.se Matematiskt språk Innehållsförteckning MATEMATISKT SPRÅK... 1 INNEHÅLLSFÖRTECKNING... 2 INLEDNING... 3 MÄNGDER... 4 Att uttrycka en mängd...

Läs mer

MATEMATIKENS SPRÅK. Avsnitt 1

MATEMATIKENS SPRÅK. Avsnitt 1 Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en

Läs mer

1.1. Fördjupning: Jämförelse av oändliga mängder

1.1. Fördjupning: Jämförelse av oändliga mängder Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta

Läs mer

DD1350 Logik för dataloger

DD1350 Logik för dataloger DD1350 Logik för dataloger Fö 8 Axiomatiseringar 1 Modeller och bevisbarhet Sedan tidigare vet vi att: Om en formel Φ är valid (sann i alla modeller) så finns det ett bevis för Φ i naturlig deduktion.

Läs mer

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor Johan Thim 22 augusti 2018 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför Q

Läs mer

POLYNOM OCH EKVATIONER. Matematiska institutionen Stockholms universitet Experimentupplaga 2003 Eftertryck förbjudes eftertryckligen

POLYNOM OCH EKVATIONER. Matematiska institutionen Stockholms universitet Experimentupplaga 2003 Eftertryck förbjudes eftertryckligen POLYNOM OCH EKVATIONER Torbjörn Tambour Matematiska institutionen Stockholms universitet Experimentupplaga 2003 Eftertryck förbjudes eftertryckligen Postadress Matematiska institutionen Stockholms universitet

Läs mer

29 Det enda heltalet n som satisfierar båda dessa villkor är n = 55. För detta värde på n får vi x = 5, y = 5.

29 Det enda heltalet n som satisfierar båda dessa villkor är n = 55. För detta värde på n får vi x = 5, y = 5. Tentamenskrivning MATA15 Algebra: delprov 1, 6hp Lördagen den 3 november 01 Matematikcentrum Matematik NF LÖSNINGSFÖRSLAG 1 a) Lös den diofantiska ekvationen 9x + 11y 00 b) Ange alla lösningar x, y) sådana

Läs mer

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19 Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium IV v. 2.0, den 29/4 2013 III. Metalogik 17-19 Modeller för satslogiken 18.1 Vi har tidigare sagt att en modell är en tolkning av en teori

Läs mer

Offentlig kryptering

Offentlig kryptering 127 Offentlig kryptering Johan Håstad KTH 1. Inledning. Denna uppgift går ut på att studera ett offentligt kryptosystem. Med detta menas ett kryptosystem där det är offentligt hur man krypterar, men trots

Läs mer

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18: Svar: Ja, det gäller, vilket kan visas på flera sätt (se nedan).

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18: Svar: Ja, det gäller, vilket kan visas på flera sätt (se nedan). Lösningar för tenta i TMV200 Diskret matematik 208-0-2 kl. 4:00 8:00. Ja, det gäller, vilket kan visas på flera sätt (se nedan). Alternativ (induktionsbevis): Vi inför predikatet P (n) : 2 + 2 3 + + n(n

Läs mer

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om heltal Mikael Hindgren 17 september 2018 Delbarhet Exempel 1 42 = 6 7 Vi säger: 7 är en faktor i 42 eller 7 delar 42 Vi skriver: 7 42 Definition 1 Om a, b

Läs mer

Resträkning och ekvationer

Resträkning och ekvationer 64 Resträkning och ekvationer Torsten Ekedahl Stockholms Universitet Beskrivning av uppgiften. Specialarbetet består i att sätta sig in i hur man räknar med rester vid division med primtal, hur man löser

Läs mer

DELBARHET OCH PRIMTAL. Syftet med detta avsnitt är att bekanta sig med delbarhetsegenskaper hos heltalen.

DELBARHET OCH PRIMTAL. Syftet med detta avsnitt är att bekanta sig med delbarhetsegenskaper hos heltalen. Explorativ övning 3 DELBARHET OCH PRIMTAL Syftet med detta avsnitt är att bekanta sig med delbarhetsegenskaper hos heltalen. De viktigaste begreppen är delbarhet och divisionsalgoritmen största gemensamma

Läs mer

Grundläggande logik och modellteori (5DV102)

Grundläggande logik och modellteori (5DV102) Tentamen 2013-10-31 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 11 Maximalt antal poäng 30 Krav för 3 i betyg 14 poäng Krav för 4 i betyg 19 poäng,

Läs mer

4. Bestäm alla trippler n 2, n, n + 2 av heltal som samtliga är primtal. 5. Skriv upp additions- och multiplikationstabellen för räkning modulo 4.

4. Bestäm alla trippler n 2, n, n + 2 av heltal som samtliga är primtal. 5. Skriv upp additions- och multiplikationstabellen för räkning modulo 4. Uppvärmningsproblem. Hur kan man se på ett heltal om det är delbart med, 2, 3, 4, 5, 6, 7, 8, 9, 0 respektive? Varför? 2. (a) Tänk på ett tresiffrigt tal abc, a 0. Bilda abcabc genom att skriva talet två

Läs mer

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Dagens upplägg Antalet element i en mängd Kardinalitet Humes princip Cantors teorem Den universella mängden Några mängdteoretiska paradoxer

Läs mer

NÅGOT OM KRYPTERING. Kapitel 1

NÅGOT OM KRYPTERING. Kapitel 1 Kapitel 1 NÅGOT OM KRYPTERING Behovet av att skydda information har funnits mycket länge, men först i samband med utvecklingen av datatekniken har det blivit ett allmänt problem för alla moderna samhällen.

Läs mer

Algebra II. Isac Hedén och Johan Björklund

Algebra II. Isac Hedén och Johan Björklund Algebra II Isac Hedén och Johan Björklund 1 2 Innehåll 0 Introduktion 4 1 Talteori 4 1.1 Rationella tal och decimalrepresentationer............. 4 1.2 Delbarhet................................ 8 1.3 Primtal.................................

Läs mer

Likhetstecknets innebörd

Likhetstecknets innebörd Likhetstecknets innebörd Följande av Görel Sterner översatta och bearbetade text bygger på boken: arithmetic & algebra in elementary school. Portsmouth: Heinemann Elever i åk 1 6 fick följande uppgift:

Läs mer

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section Föreläsning 1 Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section 1.1-1.3 i kursboken Definition En utsaga (proposition) är ett

Läs mer

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl Matematiska Institutionen KTH Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL och Media, SF60 och 5B8, onsdagen den 7 augusti 0, kl 4.00-9.00. Examinator: Olof Heden Hjälpmedel: Inga

Läs mer

En introduktion till logik

En introduktion till logik rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Först: Tack till Martin Kaså, som gett mig tillstånd att använda och bearbeta dessa ljusbilder. Vad är logik? Slogan: Logik undersöker vilka argument

Läs mer

Likhetstecknets innebörd

Likhetstecknets innebörd Modul: Algebra Del 5: Algebra som språk Likhetstecknets innebörd Följande av Görel Sterner (2012) översatta och bearbetade text bygger på boken: Carpenter, T. P., Franke, M. L. & Levi, L. (2003). Thinking

Läs mer

Svar och lösningar. Kängurutävlingen 2009 Cadet för gymnasiet

Svar och lösningar. Kängurutävlingen 2009 Cadet för gymnasiet Svar och lösningar 1: D 200 9 Ett tal är jämnt om entalssiffran är jämn. Det enda talet som uppfyller det villkoret är 200 9 = 1800 2: C 18 cm Stjärnans yttre består av 12 lika långa sidor med sammanlagd

Läs mer

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande

Läs mer

Realism och anti-realism och andra problem

Realism och anti-realism och andra problem Realism och anti-realism och andra problem Vetenskap och verkligheten Vetenskapen bör beskriva verkligheten. Men vad är verkligheten? Är det vi tycker oss se av verkligheten verkligen vad verkligheten

Läs mer

1 Talteori. Det här kapitlet inleder vi med att ta

1 Talteori. Det här kapitlet inleder vi med att ta 1 Talteori DELKAPITEL 1.1 Kongruensräkning 1. Talföljder och induktionsbevis FÖRKUNSKAPER Faktorisering av tal Algebraiska förenklingar Formler Direkta och indirekta bevis CENTRALT INNEHÅLL Begreppet kongruens

Läs mer

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element. Grunder i matematik och logik (2017) Mängdlära Marco Kuhlmann 1 Grundläggande begrepp Mängder och element 2.01 En mängd är en samling objekt. Två standardexempel är mängden av naturliga tal (N) och mängden

Läs mer

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning Matematik, KTH Bengt Ek november 207 Material till kursen SF679, Diskret matematik: Lite om kedjebråk 0 Inledning Talet π (kvoten mellan en cirkels omkrets och dess diameter) är inte ett rationellt tal

Läs mer