Bayes statistik - utan förkunskaper - utan tårar
|
|
- Erik Håkansson
- för 8 år sedan
- Visningar:
Transkript
1 Bayes statistik - utan förkunskaper - utan tårar Lars Olsson Geostatistik AB Bayes 1 1
2 Webbinariekurs Introduktionskurs för geotekniker Webbinarium 1. Fredagen den 21 nov 2014 kl 15:00 15:30 Vad säger mig det jag ser? En introduktion med illustrerande exempel ur medicinen där vi klargör grundprinciperna. Webbinarium 2. Torsdagen den 4 dec 2014 kl 15:00 15:30* Bayes och geotekniken Hur skall jag väga ihop geoteknisk ingenjörserfarenhet och fältmätningar? * 14:45 15:00 Kort statistikrepetition Bayes 1 2
3 Sannolikhet I det här kursavsnittet behövs inga större förkunskaper i statistik. Vi kommer dock att använda ordet sannolikhet. Vi nöjer oss just nu med att säga: Sannolikhet är ett mått på hur troligt det är att ett påstående är sant Sannolikhet kan ta värden mellan 0 och 1 Gränsvärdena: 0 betyder att påståendet definitivt är falskt 1 betyder att påståendet definitivt är sant Bayes 1 3
4 Vad säger mig det jag ser? Är det svaret på min fråga? En gång* kom en man till sin läkare och frågade: Jag har fullt med utslag i ansiktet. Är det smittkoppor?!? *För länge sedan, säg före Då var fortfarande smittkoppor fortfarande en realitet Bayes 1 4
5 Hur troliga är utslagen? Läkaren svarar: Av dem som har smittkoppor får 90% utslag som ser ut som Era Den omedelbara patientreaktionen: Jag vet att jag har utslag! Vad jag vill veta är om jag har smittkoppor Bayes 1 5
6 En annan möjlighet Men säger läkaren det kan också vara vattkoppor. Utslagen ser likadana ut. Av dem som fått vattkoppor får 80% sådana utslag Patienten: Men då är det väl troligare att jag har smittkoppor än vattkoppor! Det är ju fler som får utslag om de har smittkoppor Bayes 1 6
7 Vad är troligast? Det är ungefär lika troligt att få utslagen när man har vattkoppor (80%) som när man har smittkoppor (90 %) Vad skall läkaren svara patienten? Sannolikheten att det är smittkoppor är: 90 % 90% /(90% + 80%) = 53 % Något annat, men vad? Kanske: Det är 90%/ 80% = 1,13 gånger troligare att du har smittkoppor än att du har vattkoppor Bayes 1 7
8 Läkarens funderingar och svar Läkaren inser att man måste ta hänsyn till både o hur troligt det är med utslag om man har sjukdomen och till o hur vanlig sjukdomen är Efter att ha slagit upp lite data om sjukdomars förekomst (prevalens) och lite handräknande på ett papper svarar han: Sannolikheten att det är smittkoppor när man som Ni uppvisar symptomen är 1,1% Bayes 1 8
9 Hur kommer man till det svaret? Sjukdomsstatistiken säger att sannolikheten för en slumpvist vald person att få smittkoppor är 0,001 och att sannolikheten för vattkoppor är 0,1. Intuitivt känns det som det vore troligare att det är vattkoppor. Vi väger sannolikheten att visa upp koppor (om man har sjukdomen) med sjukdomens sannolikhet 0,90 x 0,001 = 0,0009 (smittkoppor) 0,8 x 0,1 = 0,08 (vattkoppor) Vi vet att personer måste ha en av sjukdomarna, så summan av de respektive sannolikheterna måste bli 1. Vi normaliserar med summan av värdena ovan och får P(smittkoppor) = 0,0009/0,0809 = 0,011 P(vattkoppor) = 0,08/ 0,0809 = 0, Bayes 1 9
10 Beräkningsgången enligt Bayes observationer symptom förhandskunskap Likelihood P(symptom sjukdomen) àpriori-sannolikhet P(sjukdom) Bayes teorem Sammanvägning förhandskunskap och observationer àposteriori-sannolikhet P(sjukdomen symptomen) Bayes 1 10
11 Beräkningsgången med formler Vi vill veta sannolikheten att vår hypotes (att man har smittkoppor) är sann om man har observerat utslagen: p(smittkoppor utslag) Vi kan ange sannolikheten att få utslagen om man har smittkoppor: p(utslag smittkoppor) Vi har en uppfattning om sannolikheten att en slumpvis vald person har smittkoppor: p(smittkoppor) Bayes teorem: likelihood àpriorisannolikhet P(smittkoppor utslag) = àposteriorisannolikhet (betingad på att vi observerat utslag) P(utslag smittkoppor)" P(smittkoppor) normaliseringskonst. Normaliseringskonstant Bayes 1 11
12 Ibland behövs inte nämnaren* Om vi inte är intresserade av de absoluta sannolikheterna utan bara skall välja mellan alternativ behöver man inte alltid normaliseringskonstanten i nämnaren. Läkaren i vårt exempel skall ställa en diagnos: smittkoppor eller vattkoppor. Diagnosen bör baseras på den hypotes som är troligast. P(vattkoppor utslag) = 0,80 x 0,1/konstant P(smittkoppor utslag) = 0,90 x 0,001/konstant P(vattkoppor utslag)/ P(smittkoppor utslag) = (0,80 x 0,1)/ (0,90 x 0,001) = 88,9 Det är alltså betydligt troligare att det rör sig om vattkoppor, även om det inte är absolut uteslutet att det är smittkoppor *den kan ibland vara riktigt jobbig att beräkna Bayes 1 12
13 Principerna i bayesiansk Vi har en utsaga (hypotes) statistik Om den är sann, så kan vi säga hur troligt det är att vi kommer att göra vissa observationer Vi har också en allmän uppfattning om hur troligt det är att utsagan är sann (àpriori-sannolikheten) När vi gjort observationer vill vi ha den sammanvägda sannolikheten för att utsagan är sann àposteriori = likelihood x àpriori x (1/k) Bayes 1 13
Probabilistisk logik 1
729G43 Artificiell intelligens / 2016 Probabilistisk logik 1 Marco Kuhlmann Institutionen för datavetenskap Osäkerhet 1.01 Osäkerhet Agenter måste kunna hantera osäkerhet. Agentens miljö är ofta endast
Bayesiansk sannolikhetsteori
Beviskraft Bayesiansk sannolikhetsteori villkorad sannolikhet P = sannolikhet H = hypotes E = evidens P(H E) P = sannolikhet T = bevistema F = bevisfaktum P(T F) Händelseträd H E -E -H E -E hypotesen är
HD-metoden och hypotesprövning. Vetenskapliga data
HD-metoden och hypotesprövning. Vetenskapliga data En central vetenskaplig metod? Vetenskap har (minst) fyra olika komponenter: Att ställa upp hypoteser. Att verifiera hypoteser med logik. Att värdera
Subjektiva sannolikheter. Helge Malmgren Filosofidagarna, Umeå 2007
Subjektiva sannolikheter Helge Malmgren Filosofidagarna, Umeå 2007 Relativa sannolikheter Sannolikhetsteorins axiom är sanna om andelar (proportioner), t.ex. andelar av en total yta Bayes sats vid hypotesprövning
Artificiell Intelligens
Omtentamen Artificiell Intelligens Datum: 2014-02-20 Tid: 14.00 18.00 Ansvarig: Resultat: Hjälpmedel: Gränser: Anders Gidenstam Redovisas inom tre veckor Inga G 8p, VG 12p, Max 16p Notera: Skriv läsbart!
information - kunskap - vetenskap - etik
information - kunskap - vetenskap - etik övning a priori: hur välja en teknik? Ni har fått ett uppdrag från ett flygbolag att skapa en tjänst som ökar upplevelsen av säkerhet hos passagerarna genom att
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende Jan Grandell & Timo Koski 21.01.2016 Jan Grandell & Timo Koski Matematisk statistik 21.01.2016 1 / 39 Lärandemål Betingad
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
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:
BIOSTATISTISK GRUNDKURS, MASB11, VT-16, VT2 ÖVNING 1, OCH ÖVNING 2, SAMT INFÖR ÖVNING 3
LUNDS UNIVERSITET, MATEMATIKCENTRUM, MATEMATISK STATISTIK BIOSTATISTISK GRUNDKURS, MASB11, VT-16, VT2 ÖVNING 1, 2016-04-01 OCH ÖVNING 2, 2016-04-04 SAMT INFÖR ÖVNING 3 Övningarnas mål: Du ska förstå grundläggande
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
Bayesiansk statistik utan tårar
Bayesiansk statistik utan tårar Lennart Robertson, SMHI Lånad titel A.F.M Smith A.E Gelfand American Statistician 1992 2 Innehåll Ett litet exempel Några enkla statistiska betraktelser Bayes teorem Bayesiansk
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:
Uppgift a b c d e Vet inte Poäng
TENTAMEN: Dataanalys och statistik för I2, TMS135 Fredagen den 12 mars kl. 8:45-11:45 på V. Jour: Jenny Andersson, ankn 8294 (mobil:070 3597858) Hjälpmedel: Utdelad formelsamling med tabeller, BETA, på
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende Jan Grandell & Timo Koski 14.01.2013 Jan Grandell & Timo Koski () Matematisk statistik 14.01.2013 1 / 25 Repetition:
Sannolikhetslära. 1 Enkel sannolikhet. Grunder i matematik och logik (2015) 1.1 Sannolikhet och relativ frekvens. Marco Kuhlmann
Marco Kuhlmann Detta kapitel behandlar grundläggande begrepp i sannolikhetsteori: enkel sannolikhet, betingad sannolikhet, lagen om total sannolikhet och Bayes lag. 1 Enkel sannolikhet Den klassiska sannolikhetsteorin,
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
Klinisk medicin: Psykisk ohälsa och sjukdom 3,5 hp. Tentamenskod: (kod och kurs ska också skrivas längst upp på varje sida) Kurs: Kod:
Klinisk medicin: Psykisk ohälsa och sjukdom 3,5 hp Provmoment: TEN1 Ladokkod: 61SÄ01 Tentamen ges för: Gsjukv14B samt tidigare Tentamenskod: (kod och kurs ska också skrivas längst upp på varje sida) Tentamensdatum:
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
Filoson bakom Bayesiansk statistik med tillämpningar inom hjärnavbildning och budgivningar på ebay
Filoson bakom Bayesiansk statistik med tillämpningar inom hjärnavbildning och budgivningar på ebay Bertil Wegmann STIMA, IDA, Linköpings universitet October 5, 2017 Bertil Wegmann, STIMA, IDA, LiU Bayesiansk
Prototypbaserad Inkrementell Diagnos. Anders Holst SICS, Swedish Institute of Computer Science AB
Prototypbaserad Inkrementell Diagnos Anders Holst SICS, Swedish Institute of Computer Science AB Metoder för Industriell Diagnos Datadrivna metoder Träna in en mappning från symptom till diagnoser. Kräver
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
Anna: Bertil: Cecilia:
Marco Kuhlmann 1 Osäkerhet 1.01 1.02 1.03 1.04 1.05 Intelligenta agenter måste kunna hantera osäkerhet. Världen är endast delvist observerbar och stokastisk. (Jmf. Russell och Norvig, 2014, avsnitt 2.3.2.)
Satslogik grundläggande definitioner 3. Satslogik. Uppgift 1. Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar)
Satslogik grundläggande definitioner Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar) Modeller, logisk konsekvens och ekvivalens Några notationella förenklingar Kompletta mängder
QOL-E V. 3 HÄLSORELATERAD LIVSKVALITET FÖR PATIENTER MED MYELODYSPLASTISKT SYNDROM
QOL-E V. 3 HÄLSORELATERAD LIVSKVALITET FÖR PATIENTER MED MYELODYSPLASTISKT SYNDROM Detta är en välorganiserad undersökning med patienter som har myelodysplastiskt syndrom (MDS). Dess syfte är att undersöka
1 Föreläsning I, Vecka I: 5/11-11/11 MatStat: Kap 1, avsnitt , 2.5
1 Föreläsning I, Vecka I: 5/11-11/11 MatStat: Kap 1, avsnitt 2.1-2.2, 2.5 Introduktion till kursen. Grundläggande sannolikhetslära. Mängdlära, händelser, sannolikhetsmått Händelse följer samma räkneregler
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
Differentiell psykologi
Differentiell psykologi Måndagen den 19/9 2011 Sensitivitet och specificitet Version 1.1 Dagens agenda Validering av kriterietolkningar Diagnostiska studier Exempel på diagnostisk studie av MDI Olika prövningar
Statistik och epidemiologi T5
Statistik och epidemiologi T5 Anna Axmon Biostatistiker Yrkes- och miljömedicin Dagens föreläsning Fördjupning av hypotesprövning Repetition av p-värde och konfidensintervall Tester för ytterligare situationer
Vetenskapsteori 2012-03-22. Vad är kunskap. Vad är kunskap. Vad är kunskap. Propositionell kunskap. Olika typer av kunskap
Vetenskapsteori Introduktion till vetenskapsteori med inriktning på medicinsk forskning Kunskap och sanning Ontologi (ontos = varande och logia = lära) läran om det som är Hur är världen och tingen beskaffade?
BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 6 (2015-04-22) OCH INFÖR ÖVNING 7 (2015-04-29)
LUNDS UNIVERSITET, MATEMATIKCENTRUM, MATEMATISK STATISTIK BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 6 (2015-04-22) OCH INFÖR ÖVNING 7 (2015-04-29) Aktuella avsnitt i boken: Kap 61 65 Lektionens mål: Du ska
Nog är det tillräckligt!
Published on Språktidningen (http://spraktidningen.se) Hem > Nog är det tillräckligt! Nog är det tillräckligt! Inlagt av par.dalhielm.admin sön, 11/13/2016-08:36 Vill du gå med på bio? frågar du en kompis.
729G43 Artificiell intelligens Probabilistisk logik. Arne Jönsson HCS/IDA
729G43 Artificiell intelligens Probabilistisk logik Arne Jönsson HCS/IDA Probabilistiska resonemang Osäkerhet Grundläggande sannolikhetslära Stokastiska variabler Bayes teorem Bayesianska nätverk Konstruktion
FACIT: Tentamen L9MA30, LGMA30
Göteborgs Universitetet GU Lärarprogrammet 20 FACIT: Tentamen L9MA0, LGMA0 Matematik för lärare, åk 7-9, Sannolikhetslära och statistik, Matematik för gymnasielärare, Sannolikhetslära och statistik 20-0-2
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
Amerikanerna och evolutionen
KREATIONISM Amerikanerna och evolutionen Jesper Jerkert refererar några nya enkäter om amerikanernas inställning till kreationism och evolution. DÅ OCH DÅ publiceras resultaten från enkäter som undersökt
Probabilistisk logik 2
729G43 Artificiell intelligens / 2016 Probabilistisk logik 2 Marco Kuhlmann Institutionen för datavetenskap Översikt Probabilistiska modeller Probabilistisk inferens 1: Betingad sannolikhet Probabilistisk
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende
SF1901: Sannolikhetslära och statistik Föreläsning 2. Betingad sannolikhet & Oberoende Jan Grandell & Timo Koski 21.01.2015 Jan Grandell & Timo Koski () Matematisk statistik 21.01.2015 1 / 1 Repetition:
Hur måttsätta osäkerheter?
Geotekniska osäkerheter och deras hantering Hur måttsätta osäkerheter? Lars Olsson Geostatistik AB 11-04-07 Hur måttsätta osäkerheter _LO 1 Sannolikheter Vi måste kunna sätta mått på osäkerheterna för
TENTAMEN. HiG sal 51:525A B eller annan ort. Lärare: Tommy Waller ( tel: eller )
TENTMEN Kurs: Plats: Dataanalys och statistik 2 distans 7,5 hp HiG sal 5:525 B eller annan ort Datum: 2 6 9 Tid: 9: 4: Lärare: Tommy Waller ( tel: 26-64 89 65 eller 74 3 86 3 ) Hjälpmedel: Miniräknare
Institutionen för lingvistik och filologi VT 2014 (Marco Kuhlmann 2013, tillägg och redaktion Mats Dahllöf 2014).
UPPSALA UNIVERSITET Matematik för språkteknologer (5LN445) Institutionen för lingvistik och filologi VT 2014 (Marco Kuhlmann 2013, tillägg och redaktion Mats Dahllöf 2014). 9 Sannolikhet Detta kapitel
Om statistisk hypotesprövning
Statistikteori för F2 vt 2004 2004-01 - 30 Om statistisk hypotesprövning 1 Ett inledande exempel För en tillverkningsprocess är draghållfastheten en viktig aspekt på de enheter som produceras. Av erfarenhet
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
Ö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
Lingonvägen Är jag bjuden?
SIDAN 1 Lärarmaterial Vad handlar boken om? Boken handlar om Igor som är kompis med Ali och Olle. Olle fyller år och ska ha kalas. Ali har fått ett inbjudningskort till kalaset men Igor har inte fått något.
COMBINING THE OUTCOME OF DIAGNOSTIC INTERVIEW ASSESSMENTS IN INDIVIDUAL PATIENTS USING A NOMOGRAM BASED ON BAYESIAN LOGIC
Working with Imprecise methods: COMBINING THE OUTCOME OF DIAGNOSTIC INTERVIEW ASSESSMENTS IN INDIVIDUAL PATIENTS USING A NOMOGRAM BASED ON BAYESIAN LOGIC Tord Ivarsson¹, Gudmundur Skarphedinsson², Nina
Tentamen i TDDC75 Diskreta strukturer
Tentamen i TDDC75 Diskreta strukturer 2017-01-05, Lösningsförslag (med reservation för eventuella fel) 1. Betrakta följande satslogiska uttryck: (p q) (q p) (a) Visa genom naturlig deduktion att uttrycket
LYCKA TILL! Omtentamen i Statistik A1, Institutionen för Farmaceutisk Biovetenskap Institutionen för Farmaci
Institutionen för Farmaceutisk Biovetenskap Institutionen för Farmaci Omtentamen i Statistik A1, 2013 08 15 Skrivtid: 3 timmar (08:00 11:00) Ansvarig lärare: Åsa Johansson poäng = 45 p Betyg (U/G/VG):
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
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
Hälsobarometern 2006. Antal långtidssjuka privatanställda tjänstemän, utveckling och bakomliggande orsaker.
Hälsobarometern 2006 Antal långtidssjuka privatanställda tjänstemän, utveckling och bakomliggande orsaker. Utgiven av Alecta februari 2007. (8) Innehåll 3 Om Hälsobarometern 4 Tema: Psykiskt långtidssjuka
Faderns blodgrupp Sannolikheten att barnet skall få blodgrupp A0 A0 1/2 AA 1 AB 1/2 Övriga 0
Avd. Matematisk statistik TENTAMEN I 5B1504 MATEMATISK STATISTIK GRUNDKURS FÖR E3 LÖRDAGEN DEN 30 AUGUSTI 2003 KL 08.00 13.00. Examinator: Gunnar Englund, tel. 790 7416. Tillåtna hjälpmedel : Formel- och
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
Tentamen i Statistik, STA A10 och STA A13 (9 poäng) 26 april 2004, klockan 08.15-13.15
Karlstads universitet Institutionen för informationsteknologi Avdelningen för Statistik Tentamen i Statistik, STA A10 och STA A13 (9 poäng) 6 april 004, klockan 08.15-13.15 Tillåtna hjälpmedel: Bifogad
Diagnostiska metoder. Några reflektioner. Christina Lindh Odontologiska fakulteten Malmö högskola
Diagnostiska metoder Några reflektioner Christina Lindh Odontologiska fakulteten Malmö högskola DIAGNOS» dia = genom» gnosis = kunskap Genom kunskap konstatera att en sjukdom föreligger samt fastställa
Föreläsning 4. Positivistiska teorier 2
Föreläsning 4 Positivistiska teorier 2 Vi använder sannolikhet De tidigare metoderna var kvalitativa. Vi försöker nu göra en probabilistisk uppskattning av när en observation styrker en hypotes. Grundproblem:
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
Svar och lösningar, Modul 1.
Svar och lösningar, Modul. A Använd t.ex. följande lexikon: H : han hör vad som sägs, D : han är döv, O : han är ouppmärksam, M : han kommer att missa mötet. Vi får svar: H ((D O) & M) B Vi har Att E bara
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,
Wilson's disease for younger people
Wilson's disease for younger people 1 / 23 Varför har den ett så märkligt namn? För att läkaren som först upptäckte sjukdomen 1905 hette Wilson. FRÅGA : Vad tror du att dessa personer upptäckte? SVAR :
Tentamen i Matematisk statistik Kurskod S0001M
Tentamen i Matematisk statistik Kurskod S0001M Poäng totalt för del 1: 25 ( uppgifter) Tentamensdatum 2018-08-28 Poäng totalt för del 2: 30 (3 uppgifter) Skrivtid 9.00 14.00 Lärare: Niklas Grip Jourhavande
2013-05-20. GENOMBROTTSPROJEKTET Bättre vård Mindre tvång PIVA - Halmstad
GENOMBROTTSPROJEKTET Bättre vård Mindre tvång PIVA - Halmstad 2013 1 Verksamhetens innehåll: Upptagningsområde. Södra Halland. Vuxna från 18 år, män och kvinnor 10 Vårdplatser Olika diagnoser HSL LPT VARFÖR
Alva ordnar loppis Lärarmaterial
SIDAN 1 Författare: Kirsten Ahlburg Vad handlar boken om? Boken handlar om Alva och hennes klasskompisar som ska samla in pengar till en skolresa. De behöver få ihop mycket pengar. De bestämmer sig för
SF1901: SANNOLIKHETSTEORI OCH. PASSNING AV FÖRDELNING: χ 2 -METODER. STATISTIK. Tatjana Pavlenko. 12 oktober 2015
SF1901: SANNOLIKHETSTEORI OCH STATISTIK FÖRELÄSNING 14 PASSNING AV FÖRDELNING: χ 2 -METODER. Tatjana Pavlenko 12 oktober 2015 PLAN FÖR DAGENS FÖRELÄSNING Icke-parametsriska metoder. (Kap. 13.10) Det grundläggande
Lingonvägen Jag vill också rida
SIDAN 1 Lärarmaterial Vad handlar boken om? Igor följer med sin syster Olga till ridhuset. Han får hjälpa till att sköta om en häst och titta på när Olga rider. Igor vill också börja rida men det finns
Vad är risk? Exempel misslyckande. Olika synsätt och möjligheter för undersökning och efterbehandling. Vad är riskbaserad beslutsanalys?
Riskbaserad beslutsanalys vid undersökningar och efterbehandling Lars Rosén Olika synsätt och möjligheter för undersökning och efterbehandling Säkerhetsnivå (UCLM 95 )? Kostnadseffektivitet t ex bästa
Alva blir skadad Lärarmaterial
SIDAN 1 Författare: Kirsten Ahlburg Vad handlar boken om? Boken handlar om Alva och hennes kompis Sara. De är i stallet och ska rykta Saras hästar. Alva får rykta Disco. Alva blir varm och tar av sig hjälmen.
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)
2010-09-13 Resultatnivåns beroende av ålder och kön analys av svensk veteranfriidrott med fokus på löpgrenar
1 2010-09-13 Resultatnivåns beroende av ålder och kön analys av svensk veteranfriidrott med fokus på löpgrenar av Sven Gärderud, Carl-Erik Särndal och Ivar Söderlind Sammanfattning I denna rapport använder
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
Handledarsida. Två remisser till arbetsprov
Handledarsida Två remisser till arbetsprov Del 1 Remisstexterna är generellt bra och fokuserade kring patientens besvär. Det finns en tydlig uppdelning mellan anamnes och status. I anamnesdelarna får man
Finns det över huvud taget anledning att förvänta sig något speciellt? Finns det en generell fördelning som beskriver en mätning?
När vi nu lärt oss olika sätt att karaktärisera en fördelning av mätvärden, kan vi börja fundera över vad vi förväntar oss t ex för fördelningen av mätdata när vi mätte längden av en parkeringsficka. Finns
Kombinatorik och sannolikhetslära
Grunder i matematik och logik (2018) Kombinatorik och sannolikhetslära Marco Kuhlmann Sannolikhetslära Detta avsnitt är för det mesta en kompakt sammanfattning av momentet sannolikhetslära som ingår i
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.
Information till eleverna
Information till eleverna Här följer en beskrivning av det muntliga delprovet som ingår i det nationella provet. Delprovet genomförs i grupper om 3 4 elever som sitter tillsammans med läraren. Var och
Vad är sanning? Vad är vetenskap? Vad är praxis? Hur kan dessa två områden samverka? Vad är en praktiker? INTRODUKTION TILL VETENSKAP I
INTRODUKTION TILL VETENSKAP I VÅRD, OMSORG OCH SOCIALT ARBETE HELENA LINDSTEDT, UNIVERSITETSLEKTOR Del 1. 1 Litteratur ThurénT, Vetenskapsteori för nybörjare, 2007. Thomassen M, Vetenskap, kunskap och
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
Lite Kommentarer om Gränsvärden
Lite Kommentarer om Gränsvärden På föreläsningen (Föreläsning 2 för att vara eakt) så introducerade vi denitionen Denition. Vi säger att f() går mot a då går mot oändligheten, uttryckt i symboler som f()
Temperatur (grader Celcius) 4 tim. och 32 min tim. och 12 min tim. och 52 min tim. och 1 min tim. och 4 min.
Hypotesprövning 1. En biolog undersöker om förekomsten av parasiten Gyrodactylus salaris är vanligare hos lax i södra Östersjön jämfört med norra. Han fångar in 111 laxar i norra Östersjön av vilka 56
Övningstentamen i matematisk statistik
Övningstentamen i matematisk statistik Uppgift : Från ett register över manliga patienter med diabetes fick man följande statistik i procent: Lindrigt fall Allvarligt fall Patientens Någon förälder med
de var svåra att implementera och var väldigt ineffektiva.
OBS! För flervalsfrågorna gäller att flera alternativ eller inget alternativ kan vara korrekt. På flervalsfrågorna kan man bara ha rätt eller fel, dvs frågan måste vara helt korrekt besvarad. Totalt kan
Konfidensintervall, Hypotestest
Föreläsning 8 (Kap. 8, 9): Konfidensintervall, Hypotestest Marina Axelson-Fisk 11 maj, 2016 Konfidensintervall För i (, ). Hypotestest Idag: Signifikansnivå och p-värde Test av i (, ) när är känd Test
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 +
BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 8 (2016-05-02) OCH INFÖR ÖVNING 9 (2016-05-09)
LUNDS UNIVERSITET, MATEMATIKCENTRUM, MATEMATISK STATISTIK BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 8 (2016-05-02) OCH INFÖR ÖVNING 9 (2016-05-09) Aktuella avsnitt i boken är Kapitel 7. Lektionens mål: Du
Föreläsning 12: Repetition
Föreläsning 12: Repetition Marina Axelson-Fisk 25 maj, 2016 GRUNDLÄGGANDE SANNOLIKHETSTEORI Grundläggande sannolikhetsteori Utfall = resultatet av ett försök Utfallsrum S = mängden av alla utfall Händelse
Lässtrategier för att förstå och tolka texter samt för att anpassa läsningen efter textens form och innehåll. (SV åk 1 3)
MÅRTEN MELIN SIDAN 1 Spökjakten Lärarmaterial VAD HANDLAR BOKEN OM? Livia och Vanja hör steg på skolans vind. De tror att det finns spöken på vinden. De smyger upp och hittar ett skelett. Tjejerna bestämmer
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
Talmängder. Målet med första föreläsningen:
Moment 1..1, 1.., 1..4, 1..5, 1.. 1..5, 1..6 Viktiga exempel 1.7, 1.8, 1.8,1.19,1. Handräkning 1.7, 1.9, 1.19, 1.4, 1.9 b,e 1.0 a,b Datorräkning 1.6-1.1 Målet med första föreläsningen: 1 En första kontakt
F2 Introduktion. Sannolikheter Standardavvikelse Normalapproximation Sammanfattning Minitab. F2 Introduktion
Gnuer i skyddade/oskyddade områden, binära utfall och binomialfördelningar Matematik och statistik för biologer, 10 hp Fredrik Jonsson Januari 2012 I vissa områden i Afrika har man observerat att förekomsten
Tentamen för kursen. Linjära statistiska modeller. 16 augusti 2007 9 14
STOCKHOLMS UNIVERSITET MATEMATISK STATISTIK Tentamen för kursen Linjära statistiska modeller 16 augusti 2007 9 14 Examinator: Anders Björkström, tel. 16 45 54, bjorks@math.su.se Återlämning: Rum 312, hus
Lässtrategier för att förstå och tolka texter samt för att anpassa läsningen efter textens form och innehåll. (SV åk 1 3)
TORSTEN BENGTSSON SIDAN 1 Lärarmaterial Vad handlar boken om? Lea ska på fest till Erik som fyller år. Lea åker till ett köpcentrum för att handla en present men hittar inget bra. Leas mamma kommer på
BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 7 (2015-04-29) OCH INFÖR ÖVNING 8 (2015-05-04)
LUNDS UNIVERSITET, MATEMATIKCENTRUM, MATEMATISK STATISTIK BIOSTATISTISK GRUNDKURS, MASB ÖVNING 7 (25-4-29) OCH INFÖR ÖVNING 8 (25-5-4) Aktuella avsnitt i boken: 6.6 6.8. Lektionens mål: Du ska kunna sätta
Vad tycker du om öppenvården?
0 Vad tycker du om öppenvården? Detta formulär innehåller frågor om dina erfarenheter från den mottagning som anges i följebrevet. Vi har slumpvis valt ut personer som besökt mottagningen och vi hoppas
SF1911: Statistik för bioteknik
SF1911: Statistik för bioteknik Föreläsning 4. TK 7.11.2017 TK Matematisk statistik 7.11.2017 1 / 42 Lärandemål Betingad sannolikhet (definition, betydelse) Oberoende händelser Lagen om total sannolikhet
b) Beräkna sannolikheten att en mottagen nolla har sänts som en nolla. (7 p)
Avd. Matematisk statistik TENTAMEN I SF90 OCH SF905 SANNOLIKHETSTEORI OCH STATISTIK, FREDAGEN DEN 4:E MARS 204 KL 4.00 9.00. Kursledare: För D och Media: Gunnar Englund, 073 32 37 45 Kursledare: För F:
LINKÖPINGS UNIVERSITET EXAM TAMS 15 / TEN 1
LINKÖPINGS UNIVERSITET Matematiska institutionen EXAM TAMS 5 / TEN januari 08, klockan 4.00-8.00 Examinator: Jörg-Uwe Löbus (Tel: 0709-6087) Tillåtna hjälpmedel är en räknare, formelsamling i matematisk
SIDAN 1. Lgr 11 - Centralt innehåll och förmågor som tränas:
SIDAN 1 Författare: Torsten Bengtsson Boken handlar om: Erik och pappa är på Liseberg. De ska åka en häftig karusell, där man åker upp och ner. Pappa är van. Han har åkt karsusell många gånger förr. Erik
Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4
Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa
Häggström om Swinburne och sannolikheten för Guds existens
Richard Swinburne Häggström om Swinburne och sannolikheten för Guds existens I sin artikel Brister i sannolikhetsargument för och emot Guds existens (2008) framlägger Olle Häggström kritiska synpunkter
information till barn/ungdomar/närstående Inför sövning den / 20 på dagoperation, centralsjukhuset Kristianstad
information till barn/ungdomar/närstående Inför sövning den / 20 på dagoperation, centralsjukhuset Kristianstad Förberedelser inför operation För information inför operation besök eller ring oss några