Föreläsning 1, Differentialkalkyl M0029M, Lp

Storlek: px
Starta visningen från sidan:

Download "Föreläsning 1, Differentialkalkyl M0029M, Lp"

Transkript

1 Föreläsning 1, Differentialkalkyl M0029M, Lp Staffan Lundberg Luleå Tekniska Universitet, Inst för teknikvetenskap och matematik Staffan Lundberg M0029M H17 1/ 50

2 Allmän information Föreläsningar: Staffan Lundberg, TVM. Telefon: Rum: E882. E-post: Canvas: Examinator: Mikael Stenlund. Staffan Lundberg M0029M H17 2/ 50

3 Mål/Förväntat studieresultat Efter kursen skall skall studenten kunna bevisa, formulera och använda binomialsatsen samt genomföra induktionsbevis. kunna använda centrala begrepp och metoder inom differentialkalkyl i en variabel på extremvärdesberäkningar, kurvritning, bevis av olikheter, gränsvärdesberäkningar, analys av funktioner och uttryck, inverser, approximationer av funktioner mm. kunna bevisa centrala satser inom området differentialkalkyl i en variabel. Staffan Lundberg M0029M H17 3/ 50

4 Mål/Förväntat studieresultat, forts kunna tolka derivatan som hastighet och andraderivatan som acceleration samt tillämpa detta på problem med kopplade hastigheter. kunna hantera och bevisa centrala egenskaper hos elementära funktioner och deras inverser. kunna härleda metoder för numerisk lösning av ekvationer i en variabel. visa förmåga att identifiera och lösa problem med hjälp av de metoder som lärs ut i kursen. Staffan Lundberg M0029M H17 4/ 50

5 Kurslitteratur, omfattning I M0029M används Dunkels m.fl.: Mot bättre vetande i matematik. Studentlitteratur, senaste upplagan. Adams Robert A: Calculus, A Complete Course. Addison-Wesley, senaste upplagan. Dunkels m.fl.: Derivator, integraler och sånt. Studentlitteratur, andra upplagan eller senare. M0029M omfattar 36 föreläsningar. Staffan Lundberg M0029M H17 5/ 50

6 Canvas vår lärplattform i M0029M Canvas är LTUs officiella lärplattform. Anm Du kan ladda ner mina slides från staff. lund Staffan Lundberg M0029M H17 6/ 50

7 Examination Kursen examineras med en sluttentamen om maximalt 30 poäng. Gränsen för godkänd är normalt 14 poäng. Man kan få upp till två bonuspoäng från överbryggningskursen (proppen). Inga hjälpmedel tillåtna under tentamen. Staffan Lundberg M0029M H17 7/ 50

8 Kursregistrering Viktig Information Du måste själv ta initiativ till kursregistrering på webben Länk till kursregistrering Du ska registrera dig på: Differentialkalkyl M0029M Kursregistrering gör du under läsperiodens tre första dagar om institutionen inte meddelat annan registreringstid. Staffan Lundberg M0029M H17 8/ 50

9 Kursregistrering, forts. När du blev antagen, fick du ett användarkonto för att kunna logga in på MITT LTU. För support med användarkonto, kontakta Servicedesk tfn Staffan Lundberg M0029M H17 9/ 50

10 Att studera matematik Att studera matematik vid ett tekniskt universitet är en krävande sysselsättning. Plugg, utantillkunskaper, kreativitet. Staffan Lundberg M0029M H17 10/ 50

11 Att studera matematik Att studera matematik vid ett tekniskt universitet är en krävande sysselsättning. Plugg, utantillkunskaper, kreativitet. Hårt arbete utanför skoltid. Staffan Lundberg M0029M H17 10/ 50

12 Att studera matematik Att studera matematik vid ett tekniskt universitet är en krävande sysselsättning. Plugg, utantillkunskaper, kreativitet. Hårt arbete utanför skoltid. Men erfarenheten visar att arbetet lönar sig. Staffan Lundberg M0029M H17 10/ 50

13 Förbättra inlärningen Introduktion Var rädd om känslan. När man skapar varaktiga minnen är känslan det kanske allra viktigaste. Man minns bättre om man upplever inlärningen som positiv. Sprid ut pluggandet. Inför tentor är det viktigt att inte memorera allting dagen före. Då kommer kunskapen bara bli tillfällig. Fokusera. Det kan vara svårt när mycket händer runt omkring en. Försök att inte omedelbart titta på och svara på plingen i dina tekniska prylar. Sätt upp mål. Det är lättare att hitta motivation till att lära sig om man sätter upp mål. Sov, träna och ät bra. För att hjärnan ska klara alla processer som måste ske för att bilda nya minnen är det viktigt med energi och vila. Se därför till att hålla dig i form och att du får tillräckligt med sömn. Staffan Lundberg M0029M H17 11/ 50

14 Till sist Stäng av mobiltelefonerna. Staffan Lundberg M0029M H17 12/ 50

15 Vad är matematik? Matematik, en abstrakt och generell vetenskap för problemlösning och metodutveckling. definitionnitionen kan kommenteras på följande sätt. Matematiken är abstrakt: den har frigjort sig från det konkreta ursprunget hos problemen, vilket är en förutsättning för att den skall kunna vara generell, dvs. tillämpbar i en mångfald situationer, men också för att den logiska giltigheten hos resonemangen skall kunna klarläggas art id= Nationalencyklopedin Staffan Lundberg M0029M H17 13/ 50

16 Matematiken är deduktiv Matematiken är en deduktiv vetenskap, dvs från ett antal axiom härleds med hjälp av logiska resonemang nya resultat, s.k. satser. Däremot arbetar en matematiker ofta induktivt: Utifrån en iakttagelse, formuleras en hypotes. Målet är därefter att söka bevisa hypotesen med diverse logiska tankegångar. en som vetenskap har sina anor från i antiken, där stoikerna formulerade regler för korrekt tänkande. Dessa regler är giltiga än i dag. Vi ska bekanta oss lite mer med hur man kan resonera för att komma fram till ny matematisk kunskap och bevisa att ett påstående stämmer. Staffan Lundberg M0029M H17 14/ 50

17 Exempel Vi betraktar två positiva tal a och b. Vi bildar A = a+b 2 resp.g = ab. a b A G Det tycks vara så, att A G. Gäller det generellt? Staffan Lundberg M0029M H17 15/ 50

18 Hypotes Om a, b > 0, så gäller att A G. Hur visar vi att denna hypotes är sann? Ett angreppssätt: Studera A G = a+b 2 ab = 1 2 (a+b 2 ab) Ett önskemål: A G 0. Vi konstaterar: Differensen är kvadratisk, dvs. 1 2 (a+b 2 ab) = 1 2 ( a b) 2 0 Vi är klara! Staffan Lundberg M0029M H17 16/ 50

19 Sammanfattning Låt oss sammanfatta detta genom att skriva: Sats Antag att a och b är positiva tal och att Då gäller att A G. A = a+b 2 resp.g = ab. Staffan Lundberg M0029M H17 17/ 50

20 Bevis. För alla positiva tal a och b gäller A G = a+b ab = 2 = a+b 2 1 ab = (a+b 2 ab) = = 1 2 ( a b) 2 0. Det betyder att A G, och vi är klara. Staffan Lundberg M0029M H17 18/ 50

21 Exemplet visar på ett induktivt resonemang: Man utgår från en iakttagelse, formulerar en hypotes, bevisar en sats. Staffan Lundberg M0029M H17 19/ 50

22 Utsagor en sysslar med villkor och regler i det matematiska argumenterandet, som uttrycks med hjälp av s.k. påståenden eller utsagor. Exempel A Luleå D Luleå är en dansk stad B 2+3 E 2+3=5 C x 2 + y 2 F x 2 + y 2 = r 2 A-C är inga utsagor. D-F är däremot utsagor, eftersom de har ett sanningsvärde. Utsagan F har ett sanningsvärde, beroende av värdena hos vissa variabler. Den är en öppen utsaga. Påståendena D och E är exempelpel på slutna utsagor: de har ett fixt sanningsvärde (dvs sant eller falskt). Staffan Lundberg M0029M H17 20/ 50

23 Operatorer Med hjälp av s.k. logiska operatorer kan man bilda nya utsagor. Vi listar här de vanligaste operatorerna. Logiska operatorer Symbol Läs Namn och konjunktion eller disjunktion icke negation medför implikation ekvivalent ekvivalens Staffan Lundberg M0029M H17 21/ 50

24 Implikation, ekvivalens och negation Utsagan Om Malin spelar fiol så får hon applåder kallas en sammansatt utsaga. Sådana påståenden är byggda av enkla utsagor. Sanningsvärdet hos en sammansatt utsaga beror på sanningsvärdena hos de enkla utsagorna. Definition Utsagan U V kallas implikation. Man läser U implicerar (medför) V. Staffan Lundberg M0029M H17 22/ 50

25 Exempel Om x < 0, så gäller x 2 > 0. Vi skriver: x < 0 x 2 > 0. Staffan Lundberg M0029M H17 23/ 50

26 Definition Utsagan U V kallas ekvivalens. Denna utsaga utläses U är ekvivalent med V och är en förkortning av utsagorna U V och V U. Exempel x 2 < 9 3 < x < 3. Staffan Lundberg M0029M H17 24/ 50

27 Man behöver ibland formulera motsatsen till ett påstående, dvs att negera ett påstående. Till utsagan U behöver man konstruera negationen icke-u, som betecknas U. U skall vara s/f om U är f/s. Exempel U U x = 2 x 2 x > 2 x 2 Alla fåglar kan flyga Det finns (minst) en fågel, som inte kan flyga Staffan Lundberg M0029M H17 25/ 50

28 Nedanstående svit är förmodligen välbekant. x 2 4x+3 = 0 (x 2) 2 1 = 0 (x 2) 2 = 1 x 2 = ±1 x 1 = 3, x 2 = 1. Staffan Lundberg M0029M H17 26/ 50

29 som logisk tankegång Anmärkning Ekvationen x 2 4x+3 = 0 är en öppen utsaga. När vi löser ekvationen, är detta liktydigt med att vi skall finna x, så att utsagan blir sann. Staffan Lundberg M0029M H17 27/ 50

30 Metodik Ersätt den föreskrivna utsagan med ekvivalenta utsagor. Staffan Lundberg M0029M H17 28/ 50

31 Metodik Ersätt den föreskrivna utsagan med ekvivalenta utsagor. Upprepa processen tills vi har en såpass enkel utsaga så att vi ser lösningen. Staffan Lundberg M0029M H17 28/ 50

32 x 2 4x+3 = 0 UTSAGA A (x 2) 2 1 = 0 UTSAGA B (x 2) 2 = 1 UTSAGA C x 2 = 1 eller x 2 = 1 UTSAGA D x 1 = 3 eller x 2 = 1. Staffan Lundberg M0029M H17 29/ 50

33 , forts Vi betraktar följande rotekvation. x = x+2 x 2 = x+2 x 2 x 2 = 0 x = 1/2± 1/4+2 x 1 = 1, x 2 = 2. Staffan Lundberg M0029M H17 30/ 50

34 Vi prövar lösningarna. x = 1 x = 2 V.L. H.L. V.L. = H.L. Anmärkning Varifrån kom den falska roten x = 1? Staffan Lundberg M0029M H17 31/ 50

35 Analys av processen x = x+2 OBS! Enkelriktad pil! x 2 = x+2 x 2 x 2 = 0 x = 1/2± 1/4+2 x 1 = 1, x 2 = 2. Staffan Lundberg M0029M H17 32/ 50

36 Anmärkning Kvadrering gör att utsagorna inte blir ekvivalenta! Vid ekvationer av denna typ måste alltid lösningarna prövas! Exempel Lös om möjligt ekvationen 2x2 + x 2 = x. Staffan Lundberg M0029M H17 33/ 50

37 Fem myror är fler än fyra elefanter Vad är en mängd? Svar: En samling skilda objekt, kallade mängdens element. För att beskriva en mängd, sätter man dess element inom mängdklammer, t. ex M = {1, 2, 3}, där ordningsföljden är betydelselös. Ett alternativt sätt beskriva en mängd är M = {x : x heltal och 1 x 3}. Anm I stället för kolon används alternativt ett vertikalt streck. Staffan Lundberg M0029M H17 34/ 50

38 Exempel Exempel tillhör N = {0, 1, 2, 3,...} mängden av naturliga tal Z = {..., 3, 2, 1, { 0, 1, } 2, 3,...} mängden av heltal p Q = : p, q Z, q 0 mängden av rationella tal q A = {x : 0 x 1} A är mängden av alla x, sådana att... A = {x R : 0 x 1} A är mängden av alla x som tillhör de reella talen, sådana att... Staffan Lundberg M0029M H17 35/ 50

39 Venndiagram, snitt Man brukar åskådligggöra mängder med s.k. Venndiagram. Mängderna finns i en s.k. grundmängd U, symboliserad av en yttre ram. A x y x A y / A A B = {x (x A) (x B)} A B A snitt B Staffan Lundberg M0029M H17 36/ 50

40 Venndiagram mängdminus, komplement A\B = {x (x A) (x / B)} A B A förutom B A = U \ A A A komplement Staffan Lundberg M0029M H17 37/ 50

41 Venndiagram union, delmängd A B = {x (x A) (x B)} A B A union B B B A A B är en delmängd av A Staffan Lundberg M0029M H17 38/ 50

42 Exempel Antag att A = {1/2, 1, 2,π} och B = {1/2, 1,π}. Ange 1 A B, 2 A B, 3 A\B, Staffan Lundberg M0029M H17 39/ 50

43 Tomma/disjunkta mängder Den tomma mängden, med beteckning, är innehållslös men inte betydelselös. Jfr talet 0, som inte är helt oviktigt. Det gäller att A för alla mängder A. Om snittet mellan mängderna A och B är tomt, dvs om A B =, sägs A och B vara disjunkta. Staffan Lundberg M0029M H17 40/ 50

44 Exempel Antag att A = {1, 2, 3, 4, 5}, B = {3, 4, 5, 6, 7} samt C = {7, 8, 9}. Bestäm 1 A B 2 A B 3 B C 4 A C 5 A C Staffan Lundberg M0029M H17 41/ 50

45 Kvantorer Påståendet För alla x gäller x >2 uttrycks symboliskt x : x > 2. Påståendet Det existerar (minst) ett x sådant att x >2 uttrycks symboliskt x : x > 2 Symbolerna och kallas kvantorer. Staffan Lundberg M0029M H17 42/ 50

46 Summa- och produkttecken Ett bekvämt sätt att skriva summor av diverse taluppsättningar, är att använda s.k. summatecken. Exempel Betrakta n j j=1 Heltalsparametern j kallas summationsindex. I exemplet löper j från 1 (nedre summationsgräns) till n (övre summationsgräns). Vi skriver n j = n. j=1 Staffan Lundberg M0029M H17 43/ 50

47 Vi kan med produkttecken skriva produkter på ett kompakt sätt. Exempel Betrakta 4 j=1 I exemplet löper j från 1 till 4. Vi skriver 4 a j = a 1 a 2 a 3 a 4. j=1 a j Staffan Lundberg M0029M H17 44/ 50

48 Anmärkning Beteckningen på summationsindex kan man välja helt godtyckligt: n n n a j = a k = j=1 k=1 ν=1 är exempel på ekvivalenta summabeskrivningar. Summationsindex behöver inte ha startvärdet 1: Summan kan exempelvis beskrivas 5 a ν = 1 j 2 1 (k 1) 2 eller 1 j=1 1 (m+3) 2. k=2 m= 2 Staffan Lundberg M0029M H17 45/ 50

49 , inledn Definition En talföljd {a k } k=n k=1 = a 1, a 2,...,a n är en ändlig (eller oändlig) följd av tal, element, uppställd enligt någon föreskriven regel. Exempel 5 differens: 4 9 differens: 4 13 differens: Ovanstående talföljd är en aritmetisk talföljd, som kännetecknas av att differensen mellan ett element och närmast föregående är konstant. Staffan Lundberg M0029M H17 46/ 50

50 Aritmetisk serie Definition En aritmetisk serie karakteriseras av att differensen mellan två på varandra följande tal är konstant. Exempelvis (konstant differens d = 3) Exempel Beräkna summan s = Staffan Lundberg M0029M H17 47/ 50

51 Lösningsförslag Aritmetisk serie, differens d = 4. Serien består av sju termer. Addera! s = s = s = = 7 30 }{{} 7 termer Vi får s = sista termen. = 105. Notera att 30 2 är medelvärdet av första och Staffan Lundberg M0029M H17 48/ 50

52 Sammanfattning Om s n = a a n är en aritmetisk summa med n termer så är s n = n a1 + a n 2. Minnesregel: Antal termer gånger medelvärdet av första och sista termen. Staffan Lundberg M0029M H17 49/ 50

53 Avslutande exempel Skriv med summatecken och beräkna summan: Staffan Lundberg M0029M H17 50/ 50

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om logik och mängdlära Mikael Hindgren 5 september 2018 Utsagor Utsaga = Påstående som har sanningsvärde Utsagan kan vara sann (S) eller falsk (F) öppen eller

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

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

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

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

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss Explorativ övning 1 LMA100 vt 2003 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt

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

Analys 2 M0024M, Lp

Analys 2 M0024M, Lp Analys 2 M0024M, Lp 4 2013 Lektion 1 Staffan Lundberg Luleå Tekniska Universitet 4 april 2013 Staffan Lundberg (LTU) Analys 2 M0024M, Lp 4 2013 4 april 2013 1 / 17 Kursinformation m.m. Examinator: Lennart

Läs mer

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, Explorativ övning 1 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt matematiska språk,

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

Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2012.

Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2012. Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2012. Kursansvarig och examinator: Staffan Lundberg, TVM. Telefon: 0920-49 18 69. Rum: E 882. E-post: lund@ltu.se Lärare

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

Föreläsning 1: Tal, mängder och slutledningar

Föreläsning 1: Tal, mängder och slutledningar Föreläsning 1: Tal, mängder och slutledningar Tal Tal är organiserade efter några grundläggande egenskaper: Naturliga tal, N De naturliga talen betecknas med N och innehåller alla positiva heltal, N =

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

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

Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2013.

Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2013. Kursinformation och studiehandledning, M0038M Matematik I Differentialkalkyl, Lp I 2013. Kursansvarig och examinator: Staffan Lundberg, TVM. Telefon: 0920-49 18 69. Rum: E 882. E-post: lund@ltu.se Lärare

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

Studiehandledning M0038M Matematik I Differentialkalkyl Lp 1, 2016

Studiehandledning M0038M Matematik I Differentialkalkyl Lp 1, 2016 Studiehandledning M0038M Matematik I Differentialkalkyl Lp 1, 2016 Kursansvarig/Examinator: Staffan Lundberg, TVM Telefon: 0920-49 18 69 Rum: E882 E-post: Lärare i Skellefteå: Eva Lövf, tfn. 0910-58 53

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

Kursinformation och studiehandledning, M0043M Matematik II Integralkalkyl och linjär algebra, Lp II 2016.

Kursinformation och studiehandledning, M0043M Matematik II Integralkalkyl och linjär algebra, Lp II 2016. Kursinformation och studiehandledning, M0043M Matematik II Integralkalkyl och linjär algebra, Lp II 2016. Examinator, kursansvarig: Staffan Lundberg. Rum: E 882. E-post: lund@ltu.se Telefon: 0920-49 18

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

Föreläsningsanteckningar och övningar till logik mängdlära

Föreläsningsanteckningar och övningar till logik mängdlära Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,

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

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

Kursinformation och studiehandledning, Matematik III - Differentialekvationer, komplexa tal och transformteori, Lp III 2016.

Kursinformation och studiehandledning, Matematik III - Differentialekvationer, komplexa tal och transformteori, Lp III 2016. Institutionen för teknikvetenskap och matematik Kursinformation och studiehandledning, Matematik III - Differentialekvationer, komplexa tal och transformteori, Lp III 2016. Kursansvar: Staffan Lundberg,

Läs mer

Begreppen "mängd" och "element" är grundläggande begrepp i matematiken.

Begreppen mängd och element är grundläggande begrepp i matematiken. MÄNGDER Grundläggande begrepp och beteckningar Begreppen "mängd" och "element" är grundläggande begrepp i matematiken. Vi kan beskriva (ange, definiera) en mängd som innehåller ändligt många element genom

Läs mer

Mängdlära. Kapitel Mängder

Mängdlära. Kapitel Mängder Kapitel 2 Mängdlära 2.1 Mängder Vi har redan stött på begreppet mängd. Med en mängd menar vi en väldefinierad samling av objekt eller element. Ordet väldefinierad syftar på att man för varje tänkbart objekt

Läs mer

Begreppen "mängd" och "element" är grundläggande begrepp i matematiken.

Begreppen mängd och element är grundläggande begrepp i matematiken. MÄNGDER Grundläggande begrepp och beteckningar egreppen "mängd" och "element" är grundläggande begrepp i matematiken. Vi kan beskriva (ange, definiera) en mängd som innehåller ändligt många element genom

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

1 Föreläsning I, Mängdlära och elementär sannolikhetsteori,

1 Föreläsning I, Mängdlära och elementär sannolikhetsteori, 1 Föreläsning I, Mängdlära och elementär sannolikhetsteori, LMA201, LMA521 1.1 Mängd (Kapitel 1) En (oordnad) mängd A är en uppsättning av element. En sådan mängd kan innehålla ändligt eller oändlligt

Läs mer

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl 1 Matematiska Institutionen KTH Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl 14.00-19.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel

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

1 Föreläsning Implikationer, om och endast om

1 Föreläsning Implikationer, om och endast om 1 Föreläsning 1 Temat för dagen, och för dessa anteckningar, är att introducera lite matematisk terminologi och notation, vissa grundkoncept som kommer att vara genomgående i kursen. I grundskolan presenteras

Läs mer

M0038M Differentialkalkyl, Lekt 15, H15

M0038M Differentialkalkyl, Lekt 15, H15 M0038M Differentialkalkyl, Lekt 15, H15 Staffan Lundberg Luleå Tekniska Universitet Staffan Lundberg M0038M H15 1/ 15 Repetition Lekt 14 Bestäm följande gränsvärden cos x tan x lim x 0 x x + ln ( e 2x

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

Algebra I, 1MA004. Lektionsplanering

Algebra I, 1MA004. Lektionsplanering UPPSALA UNIVERSITET Matematiska Institutionen Dan Strängberg HT2016 Fristående, IT, KandDv, KandMa, Lärare 2016-11-02 Algebra I, 1MA004 Lektionsplanering Här anges rekommenderade uppgifter ur boken till

Läs mer

Föreläsning 5: Summor (forts) och induktionsbevis

Föreläsning 5: Summor (forts) och induktionsbevis ht01 Föreläsning 5: Summor (forts) och induktionsbevis Några viktiga summor Det är inte alltid möjligt att hitta uttryck för summor beskriva med summanotation, men vi tar här upp tre viktiga fall: Sats:

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

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl 1 Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF131 och SF130, den 10 januari 2011 kl 14.00-19.00. Examinator: Olof Heden, tel. 0730547891.

Läs mer

Logik och kontrollstrukturer

Logik och kontrollstrukturer Logik och kontrollstrukturer Flödet av instruktioner i ett programmeringsspråk bygger vi upp med hjälp av dess kontrollstrukturer. I C har vi exemplen if, if else, while, do while. Dessutom finns switch

Läs mer

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl 1 Matematiska Institutionen KTH Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl 14.00-19.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel är tillåtna

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

SF1625 Envariabelanalys Tentamen Måndagen den 11 januari 2016

SF1625 Envariabelanalys Tentamen Måndagen den 11 januari 2016 SF625 Envariabelanalys Tentamen Måndagen den januari 206 Skrivtid: 08:00-3:00 Tillåtna hjälpmedel: inga Examinator: Lars Filipsson Tentamen består av nio uppgifter som vardera ger maximalt fyra poäng.

Läs mer

Lite om bevis i matematiken

Lite om bevis i matematiken Matematik, KTH Bengt Ek februari 2013 Material till kursen SF1662, Diskret matematik för CL1: Lite om bevis i matematiken Inledning Bevis är centrala i all matematik Utan (exakta definitioner och) bevis

Läs mer

M0038M Differentialkalkyl, Lekt 16, H15

M0038M Differentialkalkyl, Lekt 16, H15 M0038M Differentialkalkyl, Lekt 16, H15 Staffan Lundberg Luleå Tekniska Universitet Staffan Lundberg M0038M H15 1/ 25 Repetition Lekt 15 Femte och trettioförsta elementet i en aritmetisk talföljd är 7

Läs mer

x f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a

x f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a Elementa Årgång 50, 967 Årgång 50, 967 Första häftet 2603. Låt ξ, ξ 2,..., ξ n vara stokastiska variabler med väntevärden E[ξ i ], i =, 2,..., n. Visa att E[max(ξ, ξ 2,..., ξ n )] max(e[ξ ], E[ξ 2 ],...,

Läs mer

SF1625 Envariabelanalys Tentamen Lördagen den 11 januari, 2014

SF1625 Envariabelanalys Tentamen Lördagen den 11 januari, 2014 SF65 Envariabelanalys Tentamen Lördagen den januari, 04 Skrivtid: 9:00-4:00 Tillåtna hjälpmedel: inga Examinator: Bengt Ek, Maria Saprykina Tentamen består av nio uppgifter som vardera ger maximalt fyra

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

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

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1. UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1

Läs mer

Logik. Dr. Johan Hagelbäck.

Logik. Dr. Johan Hagelbäck. Logik Dr. Johan Hagelbäck johan.hagelback@lnu.se http://aiguy.org Vad är logik? Logik handlar om korrekta och inkorrekta sätt att resonera Logik är ett sätt att skilja mellan korrekt och inkorrekt tankesätt

Läs mer

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R Föreläsning Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen För att göra ett påstående av en öppen utsaga med flera variabler behövs flera kvantifierare.

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

PRÖVNINGSANVISNINGAR

PRÖVNINGSANVISNINGAR PRÖVNINGSANVISNINGAR Prövning i Matematik D Kurskod Ma 104 Gymnasiepoäng 100 Läromedel Prov Muntligt prov Inlämningsuppgift Kontakt med examinator Övrigt Valfri aktuell lärobok för kurs Matematik D t.ex.

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

Elementär logik och mängdlära

Elementär logik och mängdlära Elementär logik och mängdlära Mängd En mängd är en ihopsamling av noll eller flera saker, där ordningen mellan de ihopsamlade sakerna är oväsentlig. Sakerna kallas för mängdens element. EXEMPEL {1, 2,

Läs mer

LOGIK, MÄNGDER OCH FUNKTIONER

LOGIK, MÄNGDER OCH FUNKTIONER LOGIK, MÄNGDER OCH FUNKTIONER KOMPLETTERANDE STUDIEMATERIAL TILL MMA121 MATEMATISK GRUNDKURS VÅRTERMINEN 2014 ERIK DARPÖ 1. Utsagor, implikation och ekvivalens En utsaga är en påstående, formulerat med

Läs mer

Matematiska strukturer - Satser

Matematiska strukturer - Satser Matematiska strukturer - Satser April 2, 2018 I detta dokument har jag samlat och översatt de flesta satser som ingår i kursen Matematiksa Strukturer (FMAN65) från kursboken Set Theory and Metric Spaces

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

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag Tentamen i TDDC75 Diskreta strukturer 2018-10-23, lösningsförslag 1 1. (a) Sanningstabell för uttrycken p q r p q p r r q r p q 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1

Läs mer

5B1147 Envariabelanalys, 5 poäng, för E1 ht 2006.

5B1147 Envariabelanalys, 5 poäng, för E1 ht 2006. Institutionen för Matematik, KTH, Olle Stormark. 5B1147 Envariabelanalys, 5 poäng, för E1 ht 2006. Detta är en grundläggande kurs i differential - och integralkalkyl för funktioner av en variabel. Enligt

Läs mer

Induktionsprincipen Starka induktionsprincipen Välordningsprincipen Divisionsalgoritmen

Induktionsprincipen Starka induktionsprincipen Välordningsprincipen Divisionsalgoritmen Föreläsning 3 Induktionsprincipen Starka induktionsprincipen Välordningsprincipen Divisionsalgoritmen Mängder Induktion behöver inte börja från 1, Grundsteget kan vara P (n 0 ) för vilket heltal n 0 som

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

kvoten mellan två på varandra följande tal i en talföljd är konstant alltid lika stor.

kvoten mellan två på varandra följande tal i en talföljd är konstant alltid lika stor. Turen har kommit till geometriska talföljder och summan av en geometrisk talföljd. Talföljden 1,, 4, 8, 16, 3,... är ett exempel på en geometrisk talföljd. Utmärkande för en geometrisk talföljd är att

Läs mer

MÖNSTER OCH TALFÖLJDER

MÖNSTER OCH TALFÖLJDER MÖNSTER OCH TALFÖLJDER FÖRELÄSNINGENS INNEHÅLL OCH SYFTE Genomgång av viktiga matematiska begrepp, uttryck och symboler med anknytning till mönster och talföljder. Skälet till att välja detta innehåll

Läs mer

Några viktiga satser om deriverbara funktioner.

Några viktiga satser om deriverbara funktioner. Några viktiga satser om deriverbara funktioner Rolles sats Differentialkalkylens medelvärdessats (=) 3 Cauchys medelvärdessats Sats Om funktionen f är deriverbar i en punkt x 0 så är f kontinuerlig i samma

Läs mer

MATEMATISK INDUKTION. Syftet med denna övning är att introducera en av de viktigaste bevismetoderna i matematiken

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

Läs mer

M0038M Differentialkalkyl, Lekt 17, H15

M0038M Differentialkalkyl, Lekt 17, H15 M0038M Differentialkalkyl, Lekt 17, H15 Staffan Lundberg Luleå Tekniska Universitet Staffan Lundberg M0038M H15 1/ 38 Repetition Lekt 16 Uppskatta (8.2) 1/3 genom att använda differentialer. Svara på bråkform.

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

Kontinuitet och gränsvärden

Kontinuitet och gränsvärden Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika

Läs mer

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29 Numeriska serier Andreas Rejbrand, april 2014 1/29 1 Inledning Författarens erfarenhet säger att momentet med numeriska serier är ganska svårt för många studenter i inledande matematikkurser på högskolenivå.

Läs mer

Andragradsekvationer. + px + q = 0. = 3x 7 7 3x + 7 = 0. q = 7

Andragradsekvationer. + px + q = 0. = 3x 7 7 3x + 7 = 0. q = 7 Andragradsekvationer Tid: 70 minuter Hjälpmedel: Formelblad. Alla andragradsekvationer kan skrivas på formen Vilket värde har q i ekvationen x = 3x 7? + E Korrekt svar. B (q = 7) x + px + q = 0 (/0/0)

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

Statistikens grunder HT, dagtid Statistiska institutionen

Statistikens grunder HT, dagtid Statistiska institutionen Statistikens grunder 1 2013 HT, dagtid Statistiska institutionen Orsak och verkan N Kap 2 forts. Annat ord: kausalitet Något av det viktigaste för varje vetenskap. Varför? Orsakssamband ger oss möjlighet

Läs mer

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 15 mars 2012 kl

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 15 mars 2012 kl Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Linjär algebra, SF604, den 5 mars 202 kl 08.00-3.00. Examinator: Olof Heden. OBS: Inga hjälpmedel är tillåtna på tentamensskrivningen.

Läs mer

1. (3p) Ett RSA-krypto har parametrarna n = 77 och e = 37. Dekryptera meddelandet 3, dvs bestäm D(3). 60 = = =

1. (3p) Ett RSA-krypto har parametrarna n = 77 och e = 37. Dekryptera meddelandet 3, dvs bestäm D(3). 60 = = = Matematiska Institutionen KTH Lösningar till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF63 och SF630, den 20 maj 2009 kl 08.00-3.00. Hjälpmedel: Inga hjälpmedel är tillåtna

Läs mer

Om konvergens av serier

Om konvergens av serier Om konvergens av serier Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I den här artikeln diskuteras några av de grundläggande satserna som hjälper oss att avgöra om en serie

Läs mer

Den matematiska analysens grunder

Den matematiska analysens grunder KTH:s Matematiska Cirkel Den matematiska analysens grunder Katharina Heinrich Dan Petersen Institutionen för matematik, 2012 2013 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 1 Grundläggande

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

Om a 2 är ett jämnt tal, så är också a ett jämt tal sant. = 4n 2 + 4n + 1

Om a 2 är ett jämnt tal, så är också a ett jämt tal sant. = 4n 2 + 4n + 1 1127 Påstående betecknas med P Motsatsen till påsteåendet betecknas P = icke P = inte P = ej P P n är ett udda tal P n är ett jämnt tal Kommentar: n kan enbart vara udda eller jämnt, P a + 2b 15 P a +

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

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2 Föreläsning 1 Syntax 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 21 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 1.1 Innehåll Innehåll 1 Kursadministration 1 2 Introduktion

Läs mer

Anteckningar i. Inledande Matematik

Anteckningar i. Inledande Matematik Anteckningar i Inledande Matematik Anders Logg Chalmers tekniska högskola (Utkast, version 3 oktober 2016) Copyright 2016 Anders Logg Förord och läsanvisningar Dessa anteckningar är avsedda att användas

Läs mer

Matematik C (MA1203)

Matematik C (MA1203) Matematik C (MA103) 100 p Betygskriterier med eempeluppgifter Värmdö Gymnasium Mål och betygskriterier Ma C (MA103) Matematik 03-08- Betygskriterier enligt Skolverket Kriterier för betyget Godkänd Eleven

Läs mer

DEL I. Matematiska Institutionen KTH

DEL I. Matematiska Institutionen KTH 1 Matematiska Institutionen KTH Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, tisdagen den 21 oktober 2008, kl 08.00-13.00. Examinator: Olof Heden.

Läs mer

Block 1 - Mängder och tal

Block 1 - Mängder och tal Block 1 - Mängder och tal Mängder Mängder och element Venndiagram Delmängder och äkta delmängder Union och snittmängd Talmängder Heltalen Z Rationella talen Q Reella talen R Räkning med tal. Ordning av

Läs mer

Tentamen Matematisk grundkurs, MAGA60

Tentamen Matematisk grundkurs, MAGA60 MATEMATIK Karlstads universitet 2010-11-02, kl 8.15-13.15 Hjälpmedel: Inga Ansvarig lärare: Håkan Granath Tel: 2181, alt. 0735-37 37 34 Tentamen Matematisk grundkurs, MAGA60 För uppgift 1 skall endast

Läs mer

Mängder. 1 Mängder. Grunder i matematik och logik (2015) 1.1 Grundläggande begrepp. 1.2 Beskrivningar av mängder. Marco Kuhlmann

Mängder. 1 Mängder. Grunder i matematik och logik (2015) 1.1 Grundläggande begrepp. 1.2 Beskrivningar av mängder. Marco Kuhlmann Marco Kuhlmann 1 Diskret matematik handlar om diskreta strukturer. I denna lektion kommer vi att behandla den mest elementära diskreta strukturen, som alla andra diskreta strukturer bygger på: mängden.

Läs mer

Chalmers tekniska högskola Datum: kl Telefonvakt: Linnea Hietala MVE480 Linjär algebra S

Chalmers tekniska högskola Datum: kl Telefonvakt: Linnea Hietala MVE480 Linjär algebra S MATEMATIK Hjälpmedel: inga Chalmers tekniska högskola Datum: 69 kl 4-8 Tentamen Telefonvakt: Linnea Hietala 55 MVE48 Linjär algebra S Tentan rättas och bedöms anonymt Skriv tentamenskoden tydligt på placeringlista

Läs mer

Lite om räkning med rationella uttryck, 23/10

Lite om räkning med rationella uttryck, 23/10 Lite om räkning med rationella uttryck, / Tänk på att polynom uppför sig ungefär som heltal Summan, differensen respektive produkten av två heltal blir ett heltal och på motsvarande sätt blir summan, differensen

Läs mer

Matematisk problemlösning

Matematisk problemlösning Matematisk problemlösning För utveckling av personliga och professionella förmågor Linda Mattsson och Robert Nyqvist Blekinge tekniska högskola Institutionen för matematik och naturvetenskap 16 augusti

Läs mer

gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att 3 = 3 n n

gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att 3 = 3 n n TATA42: Föreläsning 5 Serier ( generaliserade summor ) Johan Thim 5 mars 208 En funktion s: N R brukar kallas talföljd, och vi skriver ofta s n i stället för s(n). Detta innebär alltså att för varje heltal

Läs mer

M0043M Integralkalkyl och Linjär Algebra, H14, Linjär Algebra, Föreläsning 11

M0043M Integralkalkyl och Linjär Algebra, H14, Linjär Algebra, Föreläsning 11 M0043M Integralkalkyl och Linjär Algebra, H14, Linjär Algebra, Föreläsning 11 Staffan Lundberg / Ove Edlund Luleå Tekniska Universitet Staffan Lundberg / Ove Edlund M0043M H14 1/ 41 Linjär Algebra, Föreläsning

Läs mer

Kapitel 1. betecknas detta antal med n(a). element i B; bet. A B. Den tomma mängden är enligt överenskommelsen en delmängd. lika; bet. A = B.

Kapitel 1. betecknas detta antal med n(a). element i B; bet. A B. Den tomma mängden är enligt överenskommelsen en delmängd. lika; bet. A = B. Kapitel 1 Mängdlära Begreppet mängd är fundamentalt i vårt tänkande; en mängd är helt allmänt en samling av objekt, vars antal kan vara ändligt eller oändligt. I matematiken kallas dessa objekt mängdens

Läs mer

ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF Nyckelord och innehåll. a n (x x 0 ) n.

ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF Nyckelord och innehåll. a n (x x 0 ) n. ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF683 HTTP://KARLJODIFFTRANS.WORDPRESS.COM KARL JONSSON Nyckelord och innehåll Potensserielösningar Analytiska funktioner Konvergensradie Rot- och

Läs mer

Institutionen för Matematik. SF1625 Envariabelanalys. Modul 5 Integraler

Institutionen för Matematik. SF1625 Envariabelanalys. Modul 5 Integraler Institutionen för Matematik SF65 Envariabelanalys Läsåret 5/6 Modul 5 Integraler Denna modul omfattar kapitel 5 och avsnitt 6.-6. i kursboken Calculus av Adams och Esse och undervisas på tre föreläsningar,

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte

Läs mer

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Diskret Matematik moment B för D2 och F SF63 och SF63 den juni 2 kl 8.- 3.. Examinator: Olof Heden tel. 7354789. Hjälpmedel: Inga

Läs mer

2 Tillämpad Matematik I, Övning 1 HH/ITE/BN. De objekt som finns G men inte i H.

2 Tillämpad Matematik I, Övning 1 HH/ITE/BN. De objekt som finns G men inte i H. HH/ITE/BN Tillämpad Matematik I, Övning 0 3 Tillämpad Matematik I Övning Allmänt 0 Övningsuppgifterna, speciellt Typuppgifter i första hand, är exempel på uppgifter du kommer att möta på tentamen. På denna

Läs mer

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604 för D, den 5 juni 2010 kl

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604 för D, den 5 juni 2010 kl 1 Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Linjär algebra II, SF164 för D, den 5 juni 21 kl 9.- 14.. Examinator: Olof Heden. Hjälpmedel: Inga hjälpmedel är tillåtna på tentamensskrivningen.

Läs mer