Egna funktioner. Vad är sin? sin är namnet på en av många inbyggda funktioner i Ada (och den återfinns i paketet Ada.Numerics.Elementary_Functions)
|
|
- Siv Olofsson
- för 4 år sedan
- Visningar:
Transkript
1 - 1 - Vad är si? si är amet på e av måga ibyggda fuktioer i Ada (och de återfis i paketet Ada.Numerics.Elemetary_Fuctios) si är deklarerad att ta emot e parameter (eller ett argumet) av typ Float (mätt i radiaer), och att leverera ett av typ Float. pi : costat Float := ; agle : Float; r : Float; r := si(agle) + 1.0; Put(si(2 * pi - agle), 5, 3, 0); Avädige av si (och adra fuktioer) kallar ma ett arop av si. Aropskostruktioe kräver ett aktuellt för sis parameter - e Float - iom ( ) efter amet. Aktuell parameter. Aropskostruktioe i sig själv är, eller represeterar, ett av type Float. Ett arop ka då aldrig fias som e ege sats, bara som (del av) ett uttryck (formel). Bakom amet si döljer sig förstås e bit programkod som utför beräkige Ega fuktioer Ma ka själv iföra ega fuktioer i sitt program. Det gör ma med e form av deklaratio. Mis: E deklaratio itroducerar ett ytt am samt ger amet e iebörd. Om jag själv vore tvuge att iföra si skulle deklaratioe i pricip se ut så här: fuktioes am fuctio si(arg : Float) -- utför beräkige utifrå arg retur t; parameters am iuti fuktioe parameters datatyp t som aropet ska leverera ts datatyp Och de deklaratioe fis i så fall där deklaratioer ormalt fis! OBS! Fuktioe utförs ite är de deklareras! Deklaratioe ager bara att de hädaefter är tillgäglig E ekel ege fuktio Jag vill ha e fuktio som ger y-koordiate för visst x på de räta lije y = 1,5 x - 0,75, och skriva ut åra pukter på lije: with Text_IO; use Text_IO; procedure fuc_ex package flio is ew Float_IO(Float); use flio; for cout i loop x := 0.01 * Float(cout); Put(x, 5, 3, 0); Put(y_coeff(x), 8, 3, 0); ed fuc_ex; Fuktioer - lite regler (1) Parameter (the_x i exemplet) är till för att fåga upp det ma skickar vid aropet, oavsett hur detta är kostruerat. Parameteramet är e slags geeraliserig av alla upptäkliga former på aropsparameter (aktuellt ): ext : Float; Alla följade kostruktioer är tillåta i rätt sammahag. OBS olika aktuella parametrar: y_coeff(2.3) y_coeff(x) y_coeff(ext) y_coeff(0.9 - x * x) y_coeff(si(ext / 2.0)) OBS! Det är först är fuktiosamet aväds (refereras) i ett arop som fuktioe utförs!
2 - 5 - Fuktioer - lite regler (2) Fuktioes parameter (the_x i exemplet) är dea fuktios ege privata egedom, och ige aa stas ä iuti fuktioe själv ka de avädas! Jämför for-satses styrvariabel. the_x kallas formell parameter. ext : Float; y := y_coeff(ext); Fuktioer - lite regler (3) E fuktios parametrar fugerar dessutom som om de vore kostater! Det går bara att aväda dess i beräkigar, me det går ite att ge dem ågot ytt! Typiskt olagligt: fuctio Step(x : Iteger) retur Iteger is x := x + 1; Försök att tilldela x - Olagligt! retur x; På motsvarade sätt skulle förstås Get(x); vara olagligt iuti Step, liksom adra sätt att försöka ge parameter ett. ext := ext + the_x; -- Olagligt! Parameters livslägd: the_x skapas först är ett arop till y_coeff äger rum. De upphör att existera är the_x lämas. Det skapas med adra ord e y the_x för varje ytt arop! Flera parametrar Fuktioer ka ha fler parametrar ä e, och dessa ka vara av ibördes olika datatyp. Me alla lyder uder samma regler. Öskas: E fuktio som ger de :te siffra ur ett heltal (bakifrå med start på 0). Både detta heltal och ska vara parametrar (och egetlige krävs det att är icke-egativt!): fuctio Digit(r : Iteger; : Iteger) retur Iteger is retur (r / ( ** 10)) mod 10; ed Digit; Vi kapar alltså först bort de siffror som följer efter de :te med geom att (heltals!)dividera med e potes av 10. Se plockar vi ut de då sista siffra geom att mod:a med 10. Notera att (aturligtvis) varke r eller ges ya här! E ågot mer komplicerad fuktio (1) Det behövs e fuktio för att beräka :te rote ur e Float, där är e Iteger. Fuktioes specifikatio blir fuctio _root( : Iteger; x : Float) Notera: Ovaståede rad är tillräcklig kuskap för att kua aväda _root! Det är _roots specifikatio. Härledig av e formel: Uppgift: Hitta det a som iebär att a = x. Log a först: l a = l x l a = l x l x l a Exp a se: e = e l a där ju e = a Det iebär att t ka formuleras i Ada som Exp(Log(x) / Float())
3 E ågot mer komplicerad fuktio (2) Ett aber! Log(x) klarar aturligtvis ite av 0.0! Me för x = 0.0 ska t av _root alltid bli 0.0. Och om x är < 0.0 existerar e lösig om är udda: x = - x Me om x är < 0.0 existerar överhuvudtaget ige lösig om är jämt! Så vi låter fuktioe urskilja fyra fall grudade på x och, och som gör lite olika åtgärder: x är = 0.0 ge 0.0 tillbaka x är < 0.0, är jämt felutskrift, 0.0 x är < 0.0, är udda - formel x är > 0.0 formel Dessutom iför vi i _root e y variabel som lite stöd. E ågot mer komplicerad fuktio (3) fuctio _root( : Iteger; x : Float) sig : Float := 1.0; -- Tecket! if x = 0.0 the retur 0.0; elsif x < 0.0 the if Is_Eve() the -- Is_Eve? Put("Fel i root!"); retur 0.0; ed if; sig := -1.0; ed if; retur sig * Exp(Log(abs x) / Float()); ed _root; Lärdomar - utvidgigar E fuktio får iehålla vilka utförade satser som helst, i e hur låg följd som helst. retur ; måste förekomma mist e gåg. Flera förekomster är möjliga, och ofta ödvädigt, som i exemplet. Fuktioer ka också ha sia ega deklaratioer (variabel sig i exemplet). Äve här skrivs sådaa deklaratioer mella is och. Me sådaa deklaratioer (av vilket slag de ä är) existerar överhuvudtaget ite utaför fuktioe! De är liksom parametrara fuktioes privata egedom! Kosekveser, t ex: e fuktio fum ka iuti sig deklarera e aa fuktio sub. Me sub ka ite avädas av å aa del av programmet ä iifrå fum. Parametraras typ och type på t av e fuktio ka vara vilke som helst! E fuktio behöver faktiskt ite ha å parameter alls: fuctio Zero retur 0.0; ed Zero; fast just dea är gaska meigslös, de tillför iget! Om ams sylighet och livslägd procedure Mai is a : Float; x : Iteger; p : Boolea; fuctio foo(x : Float) z : Iteger; z := Iteger(x * a); fuctio fum(a, b : Iteger) x : Iteger; type Sex is (female, male); fuctio sub(a : Sex) p : Boolea; p := x > 1; p := x = 1; De am som existerar här eda är edast a, x, p, foo, fum frå Mai. titta ut ur och uppåt går alltid! titta ut ur och edåt går aldrig titta i i går aldrig
4 Subrutier - procedurer Fuktioer är e form av subrutier. E aa form är procedurer. Till exempel är de ibyggda subrutie Put(x, w) (där x och w är Iteger-) e procedur. Procedurer och fuktioer har mycket gemesamt: de represeterar e bit programkod som fis å aa stas de bite kod har försetts med ett am de ka ha parametrar de utförs bara är ma gör ett arop vid aropet aväder ma amet och skickar med aktuella parametrar iom ( ) både procedurer och fuktioer ka göra ega, privata deklaratioer de ka iehålla e följd av godtyckliga satser programmerare ka själv deklarera ya procedurer och fuktioer feomee sylighet och livslägd gäller alla subrutier Fuktioer och procedurer - ea skillade (1) Aropet av e fuktio är i sig ett, och får bara fias där ett förvätas! Aropet av e procedur är e sats (e order ), och får bara fias där e sats förvätas. Satser har ite. x, y : Float; Put(si(x - 0.5), 5, 4, 0); -- OK si(x - 0.5); -- FEL y := Put(x, 4, 4, 0); -- FEL Eftersom procedurer sakar och arope av dem ite ka igå i uttryck (formler) har deras uppgifter aa karaktär. Syftet med att aväda Put(x, w) är ju ite att skapa ågot ytt åt programmet, uta att skriva ut ett frå programmet till omvärlde! Därför ka ma aldrig es försöka deklarera e procedurs typ. Jämför följade specifikatioer: fuctio fu( : Iteger) procedure proc( : Iteger) is Fuktioer och procedurer - ea skillade (2) Relaterat till tidigare exempel Bctable : Utskrift av tabelles huvud där skulle mycket väl kua vara e särskild procedur: -- WriteHeader(max) skriver tabelles -- huvud med kolumera 0 - max: procedure WriteHeader(max : Iteger) is Put(" k ="); for UderValue i 0.. max loop Put(UderValue, 5); ed WriteHeader; Notera att det ite fis ågot retur blad de utförade satsera! Avslut och återhopp till aropsplatse sker automatiskt vid sista ed. Me satse retur; uta ågot bifogat ka avädas på varje plats där procedure skall avsluta sitt jobb. Fuktioer däremot måste ju ha mist e retur ; Fuktioer och procedurer - adra skillade (1) Iuti e fuktio fugerar parametrar som kostater! Det är på samma sätt med procedurer me dessa ka dessutom ha e aa form av parametrar! procedure GetPositiveIteger(x : i out Iteger) is loop Put( Ge ett heltal > 0: ); Get(x); exit whe x > 0; A, B : Iteger; GetPositiveIteger(A); GetPositiveIteger(B);
5 Fuktioer och procedurer - adra skillade (2) Geom att i deklaratioe av e procedur age att e viss parameter skall vara i out talar ma om att i procedure ka det amet både avädas i ett uttryck och tilldelas ya (det är ite lägre e kostat) till de parameter måste ma vid aropet skicka med ett variabelam är procedure ger de parameter ett ytt kommer det att gälla också de medskickade (aktuella) variabel! Procedures parameteram blir alltså ett alias för det variabelam ma skickar med vid arop. Vi har att göra med två olika sk parametermodes: det ormala, där subruties parameter fugerar som e kostat, och som ka aropas med valfritt uttryck (kallas i-mode). Populistiskt: Skicka ett i out-mode, där procedures parameter fugerar som e valig variabel, och som måste aropas med ett variabelam. Populistiskt: Skicka e variabel fuktioer tillåter bara de ormala, procedurer båda formera E jämförelse fuktio - procedur fuctio Roudig(x : Float) retur Float(Iteger(x)); procedure Roud(x : i out Float) is x := Float(Iteger(x)); De gör samma jobb me levererar resultatet på olika sätt. Därför aväds de också på olika sätt: f : Float; Put(Roudig(f), 4, 2, 0); Roud(f); Put(f, 4, 2, 0); Notera också amskillade som grudar sig på skillade mella hur de båda aväds: verbet Roud - ett kommado, e uppmaig substativet Roudig - ett objekt (= ) OBS - dea beskrivig är lite föreklad! Värde kotra sats - e gåg till v := si (0.5 * pi ) ; am tilldeligssats Put(x / 2.0, 5, 3, 0) ; procedurarop, e sats Ett är alltså ett slags MÅTT - E sats säger vad som ska ske med! Sats = uppmaig eller kommado!
Föreläsningar 7,8 sept 24, sept 26 v 39). delvis DD Chapter 6.
Föreläsigar 7,8 sept 4, sept 6 v 39). delvis DD Chapter 6. Metoder som returerar värde. När vi skriver uttryck ka vi aväda ibyggda operatorer, t ex i uttrycket efter tilldeligssymbole i satse : k = 3*i
Läs merBorel-Cantellis sats och stora talens lag
Borel-Catellis sats och stora tales lag Guar Eglud Matematisk statistik KTH Vt 2005 Iledig Borel-Catellis sats är e itressat och avädbar sats framför allt för att bevisa stora tales lag i stark form. Vi
Läs merVikingen FutureLook. Delphi Finansanalys AB
Vikige FutureLook by Delphi Fiasaalys AB Referesmaual för Vikig FutureLook Översikt Futurelook är ett uikt och mycket kraftfult verktyg för fiasaalytiker och kapitalplacerare. Med FutureLook är det möjligt
Läs merSystemdesign fortsättningskurs
Systemdesig fortsättigskurs Orgaisatio Föreläsare Potus Boström Assistet? Tider mådagar och tisdagar kl. 8-10 Börjar 3.9 och slutar 16.10 Rum B3040 Orgaisatio Iga föreläsigar 24.9, 25.9, 1.10 och 2.10
Läs merRäkning med potensserier
Räkig med potesserier Serier (termiologi fis i [P,4-4]!) av type P + + + + 4 +... k ( om < ) k + + + + P 4 4 +... k k! ( e för alla ) k och de i [P, sid.9, formler 7-] som ärmast skulle kua beskrivas som
Läs merLösningar och kommentarer till uppgifter i 1.1
Lösigar och kommetarer till uppgifter i. 407 d) 408 d) 40 a) 3 /5 5) 5 3 0 ) 0) 3 5 5 4 0 6 5 x 5 x) 5 x + 5 x 5 x 5 x 5 x + 5 x 40 Om det u är eklare så här a x a 3x + a x) a 4x + 43 a) 43 45 5 3 5 )
Läs merTentamen 19 mars, 8:00 12:00, Q22, Q26
Avdelige för elektriska eergisystem EG225 DRIFT OCH PLANERING AV ELPRODUKTION Vårtermie 25 Tetame 9 mars, 8: 2:, Q22, Q26 Istruktioer Skriv alla svar på det bifogade svarsbladet. Det är valfritt att också
Läs merENDIMENSIONELL ANALYS B1 FÖRELÄSNING VI. Föreläsning VI. Mikael P. Sundqvist
Föreläsig VI Mikael P. Sudqvist Aritmetisk summa, exempel Exempel I ett sällskap på 100 persoer skakar alla persoer had med varadra (precis e gåg). Hur måga hadskakigar sker? Defiitio I e aritmetisk summa
Läs merDatorövning 2 Fördelningar inom säkerhetsanalys
Luds tekiska högskola Matematikcetrum Matematisk statistik STATISTISKA METODER FÖR SÄKERHETSANALYS FMS065, HT-15 Datorövig 2 Fördeligar iom säkerhetsaalys I dea datorövig ska vi studera ågra grudläggade
Läs merb 1 och har för olika värden på den reella konstanten a.
Första häftet 649. a) A och B spelar cigarr, vilket som bekat tillgår på följade sätt. Omväxlade placerar de ibördes lika, jämtjocka cigarrer på ett rektagulärt bord, varvid varje y cigarr måste placeras
Läs merVad är det okända som efterfrågas? Vilka data är givna? Vilka är villkoren?
Problemlösig. G. Polya ger i si utmärkta lilla bok How to solve it (Priceto Uiversity press, 946) ett schema att följa vid problemlösig. I de flod av böcker om problemlösig som har följt på Polyas bok
Läs merFöreläsning 10: Kombinatorik
DD2458, Problemlösig och programmerig uder press Föreläsig 10: Kombiatorik Datum: 2009-11-18 Skribeter: Cecilia Roes, A-Soe Lidblom, Ollata Cuba Gylleste Föreläsare: Fredrik Niemelä 1 Delmägder E delmägd
Läs merFöreläsning 3. 732G04: Surveymetodik
Föreläsig 3 732G04: Surveymetodik Dages föreläsig Obudet slumpmässigt urval (OSU) Populatiosparametrar och stickprovsstatistikor Vätevärdesriktighet Ädliga och oädliga populatioer Medelvärde, adel Kofidesitervall
Läs merc n x n, där c 0, c 1, c 2,... är givna (reella eller n=0 c n x n n=0 absolutkonvergent om x < R divergent om x > R n n lim = 1 R.
P Potesserier Med e potesserie mear vi e serie av type c x, där c, c, c,... är giva (reella eller komplexa) kostater, s.k. koefficieter, och där x är e (reell eller komplex) variabel. För varje eskilt
Läs merRESTARITMETIKER. Avsnitt 4. När man adderar eller multiplicerar två tal som t ex
Avsitt 4 RESTARITMETIKER När ma adderar eller multiplicerar två tal som t ex 128 + 39..7 128 43..4 så bestämmer ma först de sista siffra. De operatioer som leder till resultatet kallas additio och multiplikatio
Läs merUppsala Universitet Matematiska Institutionen Bo Styf. Genomgånget på föreläsningarna Föreläsning 26, 9/2 2011: y + ay + by = h(x)
Uppsala Uiversitet Matematiska Istitutioe Bo Styf Evariabelaalys, 0 hp STS, X 200-0-27 Föreläsig 26, 9/2 20: Geomgåget på föreläsigara 26-30. Att lösa de ihomogea ekvatioe. De ekvatio vi syftar på är förstås
Läs merDesign mönster. n n n n n n. Command Active object Template method Strategy Facade Mediator
Desig möster Desig möster Commad Active object Template method Strategy Facade Mediator Commad Ett av de eklaste desig möstre Me också mycket avädbart Ett grässitt med e metod Comm ad do()
Läs merDuo HOME Duo OFFICE. Programmerings manual SE 65.044.20-1
Duo HOME Duo OFFICE Programmerigs maual SE 65.044.20-1 INNEHÅLL Tekiska data Sida 2 Motage Sida 3-5 Programmerig Sida 6-11 Admiistrerig Sida 12-13 Hadhavade Sida 14-16 TEKNISKA DATA TEKNISK SPECIFIKATION
Läs merInduktion LCB Rekursion och induktion; enkla fall. Ersätter Grimaldi 4.1
duktio LCB 2000 Ersätter Grimaldi 4. Rekursio och iduktio; ekla fall E talföljd a a 0 a a 2 ka aturligtvis defiieras geom att ma ager e explicit formel för uträkig av dess elemet, som till exempel () a
Läs merTommy Färnqvist, IDA, Linköpings universitet
Föreläsig 2 Algoritmaalys TDDC70/91: DALG Utskriftsversio av föreläsig i Datastrukturer och algoritmer 5 september 2013 Tommy Färqvist, IDA, Liköpigs uiversitet 2.1 Iehåll Iehåll 1 Aalys av värsta fallet
Läs merAnmärkning: I några böcker använder man följande beteckning ]a,b[, [a,b[ och ]a,b] för (a,b), [a,b) och (a,b].
MÄNGDER Stadardtalmägder: N={0,, 2, 3, } mägde av alla aturliga tal (I ågra böcker N={,2,3, }) Z={ 3, 2,,0,, 2, 3, 4, } mägde av alla hela tal m Q={, där m, är hela tal och 0 } mägde av alla ratioella
Läs mer(a) om vi kan välja helt fritt? (b) om vi vill ha minst en fisk av varje art? (c) om vi vill ha precis 3 olika arter?
Lösigar Grudläggade Diskret matematik 11054 Tid: 1.00-17.00 Telefo: 036-10160, Examiator: F Abrahamsso 1. I de lokala zoo-affäre fis 15 olika fiskarter med mist 0 fiskar utav varje art). På hur måga sätt
Läs merH1009, Introduktionskurs i matematik Armin Halilovic POLYNOM, POLYNOMDIVISION, ALGEBRAISKA EKVATIONER, PARTIALBRÅKSUPPDELNING. vara ett polynom där a
POLYNOM, POLYNOMDIVISION, ALGEBRAISKA EKVATIONER, PARTIALBRÅKSUPPDELNING Defiitio Polyom är ett uttryck av följade typ P( ) a a a, där är ett icke-egativt heltal (Kortare 0 P k ( ) a a 0 k ) k Defiitio
Läs mer101. och sista termen 1
Lektio, Evariabelaalys de ovember 999 5.. Uttryck summa j uta summasymbole. j + Termera är idexerade frå j = till j = och varje term är blir j j+. Summa Skriver vi upp summa uta summasymbole blir de +
Läs mervara ett polynom där a 0, då kallas n för polynomets grad och ibland betecknas n grad( P(
Armi Halilovic: EXTRA ÖVNINGAR Polyom POLYNOM OCH ALGEBRAISKA EKVATIONER Defiitio Polyom är uttrycket av type a a a 0 ( där är ett icke-egativt heltal) Defiitio Låt P( a a a0 vara ett polyom där a 0, då
Läs merMS-A0409 Grundkurs i diskret matematik I
MS-A0409 Grudkurs i diskret matematik I G. Gripeberg Mägder och logik Relatioer och fuktioer Aalto-uiversitetet oktober 04 Kombiatorik etc. G. Gripeberg (Aalto-uiversitetet MS-A0409 Grudkurs i diskret
Läs merGenomsnittligt sökdjup i binära sökträd
Iformatiostekologi Tom Smedsaas 10 augusti 016 Geomsittligt sökdjup i biära sökträd Detta papper visar att biära sökträd som byggs upp av slumpmässiga data är bra. Beteckigar och defiitioer Defiitio De
Läs merTentamen Metod C vid Uppsala universitet, , kl
Tetame Metod C vid Uppsala uiversitet, 160331, kl. 08.00 12.00 Avisigar Av rättigspraktiska skäl skall var och e av de tre huvudfrågora besvaras på separata pappersark. Börja alltså på ett ytt pappersark
Läs merMS-A0409 Grundkurs i diskret matematik Sammanfattning, del I
MS-A0409 Grudkurs i diskret matematik Sammafattig, del I G. Gripeberg Aalto-uiversitetet 2 oktober 2013 G. Gripeberg (Aalto-uiversitetet) MS-A0409 Grudkurs i diskret matematiksammafattig, del 2Ioktober
Läs merTrigonometriska polynom
Trigoometriska polyom Itroduktio Iga strägistrumet eller blåsistrumet ka producera estaka siustoer, blott lieära kombiatioer av dem, där de med lägsta frekvese kallas för grudtoe, och de övriga för övertoer.
Läs merSamtal med Karl-Erik Nilsson
Samtal med Karl-Erik Nilsso,er Ert av Svesk Tidskrifts redaktörer, Rolf. Ertglud, itejuar här Karl-Erik Nilsso, ar kaslichej på TCO och TCO:s represetat ed i litagarfodsutredige. er e t or så å g. ). r
Läs merUppgifter 3: Talföljder och induktionsbevis
Gruder i matematik och logik (017) Uppgifter 3: Talföljder och iduktiosbevis Ur Matematik Origo 5 Talföljder och summor 3.01 101. E talföljd defiieras geom formel a 8 + 6. a) Är det e rekursiv eller e
Läs merJag läser kursen på. Halvfart Helfart
KOD: Kurskod: PC106/PC145 Kurs 6: Persolighet, hälsa och socialpsykologi (15 hp) Datum: 3/8 014 Hel- och halvfart VT 14 Provmomet: Socialpsykologi + Metod Tillåta hjälpmedel: Miiräkare Asvarig lärare:
Läs merx 1 x 2 x 3 x 4 x 5 x 6 HL Z x x x
Uppgift 1 a) Vi iför slackvariabler x 4, x 5 och x 6 och löser problemet med hjälp av simplexalgoritme. Z -2-1 1 0 0 0 0 x 4 1 1-1 1 0 0 20 x 5 2 1 1 0 1 0 30 x 6 1-1 2 0 0 1 10 x 1 blir igåede basvariabel
Läs merInledande matematisk analys (TATA79) Höstterminen 2016 Föreläsnings- och lekionsplan
Iledade matematisk aalys TATA79) Hösttermie 016 Föreläsigs- och lekiospla Föreläsig 1 Logik, axiom och argumet iom matematik, talbeteckigssystem för hetal, ratioella tal, heltalspoteser. Lektio 1 och Hadledigstillfälle
Läs merGeometriska summor. Aritmetiska summor. Aritmetiska talföljder kallar vi talföljder som. Geometriska talföljder kallar vi talföljder som
Aritmetiska summor Aritmetiska talföljder kallar vi talföljder som, 4, 6, 8, 10, 1, 14, 000, 1996, 199, 1988, 0.1, 0., 0.3, 0.4, för vilka differese mella på varadra följade tal kostat. Aritmetiska summor
Läs merTentamen i Flervariabelanalys F/TM, MVE035
Tetame i Flervariabelaalys F/TM, MV35 8 3 kl. 8.3.3. Hjälpmedel: Iga, ej räkedosa. Telefo: Oskar Hamlet tel 73-8834 För godkät krävs mist 4 poäg. Betyg 3: 4-35 poäg, betyg 4: 36-47 poäg, betyg 5: 48 poäg
Läs merFöreläsning 2: Punktskattningar
Föreläsig : Puktskattigar Joha Thim joha.thim@liu.se 7 augusti 08 Repetitio Stickprov Defiitio. Låt de stokastiska variablera X, X,..., X vara oberoede och ha samma fördeligsfuktio F. Ett stickprov x,
Läs merFörsöket med trängselskatt
STATISTISKA CENTRALBYRÅN m 1(5). Nilo Trägelkatt Förlag frå Ehete för pritatitik Ehete för pritatitik förelår att å kallad trägelkatt ka täcka i KI frå och med idex aveede jauari 26. Trägelkatte ave då
Läs merREGULJÄRA SPRÅK (8p + 6p) 1. DFA och reguljära uttryck (6 p) Problem. För följande NFA över alfabetet {0,1}:
CD58 FOMEA SPÅK, AUTOMATE, OCH BEÄKNINGSTEOI, 5 p JUNI 25 ÖSNINGA EGUJÄA SPÅK (8p + 6p). DFA och reguljära uttryck (6 p) Problem. För följade NFA över alfabetet {,}:, a) kovertera ovaståede till e miimal
Läs merDatabaser - Design och programmering. Databasdesign. Funktioner. Relationsmodellen. Relationsmodellen. Funktion = avbildning (mappning) Y=X 2
Databaser Desig och programmerig Relatiosmodelle Databasdesig Förstudie, behovsaalys defiitioer ER-modell -> relatiosmodell ycklar Relatiosmodelle Itroducerades av Edward Codd 1970 Mycket valig Stödjer
Läs merFunktionsteori Datorlaboration 1
Fuktiosteori Datorlaboratio 1 Fuktiosteori vt1 2013 Rekursiosekvatioer och komplex aalys Syftet med datorövige Öviges ädamål är att ge ett smakprov på hur ett datoralgebrasystem ka avädas för att att lösa
Läs merRemiss Remissvar lämnas i kolumnen Tillstyrkes term och Tillstyrkes def(inition) och eventuella synpunkter skrivs i kolumnen Synpunkter.
1(10) Svar lämat av (kommu, ladstig, orgaisatio etc.): Remiss Remissvar lämas i kolume Tillstyrkes term och Tillstyrkes (iitio) och evetuella sypukter skrivs i kolume Sypukter. Begreppe redovisas i Socialstyrelses
Läs merVisst kan man faktorisera x 4 + 1
Visst ka ma faktorisera + 1 Per-Eskil Persso Faktoriserig av polyomuttryck har alltid utgjort e svår del av algebra. Reda i slutet av grudskola möter elever i regel dea omvädig till multiplikatio med hjälp
Läs merStat. teori gk, ht 2006, JW F13 HYPOTESPRÖVNING (NCT ) Ordlista till NCT
Stat. teori gk, ht 2006, JW F13 HYPOTESPRÖVNING (NCT 10.1-10.3) Ordlista till NCT Hypothesis testig Null hypothesis Alterative hypothesis Simple / composite Oe-sided /two-sided Reject Test statistic Type
Läs merTentamen i Elektronik, ESS010, del 2 den 14 dec 2009 klockan 14:00 19:00.
Tekiska Högskola i Lud Istitutioe för Elektroveteskap Tetame i Elektroik, ESS010, del 2 de 14 dec 2009 klocka 14:00 19:00. Uppgiftera i tetame ger totalt 60p. Uppgiftera är ite ordade på ågot speciellt
Läs merSANNOLIKHETER. Exempel. ( Tärningskast) Vi har sex möjliga utfall 1, 2, 3, 4, 5 och 6. Därför är utfallsrummet Ω = {1, 2, 3, 4, 5,6}.
rmi Halilovic: EXTR ÖVIGR SOLIKHETER GRUDLÄGGDE BEGRE OH BETEKIGR Utfall Resultat av ett slumpmässigt försök. Utfallsrummet ägde av alla utfall (beteckas oftast med Ω ). Hädelse E delmägd av utfallsrummet.
Läs merDatastrukturer och algoritmer
Iehåll Föreläsig 6 Asymtotisk aalys usammafattig experimetell aalys uasymtotisk aalys Lite matte Aalysera pseudokode O-otatio ostrikt o Okulärbesiktig 2 Mäta tidsåtgåge uhur ska vi mäta tidsåtgåge? Experimetell
Läs merStatistisk analys. Vilka slutsatser kan dras om populationen med resultatet i stickprovet som grund? Hur säkra uttalande kan göras om resultatet?
Statistisk aalys Vilka slutsatser ka dras om populatioe med resultatet i stickprovet som grud? Hur säkra uttalade ka göras om resultatet? Mats Guarsso Tillämpad matematik III/Statistik - Sida 83 Exempel
Läs merb) Bestäm det genomsnittliga antalet testade enheter, E (X), samt även D (X). (5 p)
Avd Matematisk statistik TENTAMEN I SF922, SF923 och SF924 SANNOLIKHETSTEORI OCH STATISTIK, TISDAGEN DEN 29:E MAJ 208 KL 0800 300 Examiator för SF922/SF923: Tatjaa Pavleko, 08-790 84 66 Examiator för SF924:
Läs merIntervallskattning. c 2005 Eric Järpe Högskolan i Halmstad. Antag att vi har ett stickprov x 1,..., x n på X som vi vet är N(µ, σ) men vi vet ej
Itervallskattig c 005 Eric Järpe Högskola i Halmstad Atag att vi har ett stickprov x,..., x på X som vi vet är Nµ, σ me vi vet ej värdet av µ = EX. Då ka vi beräka x, vvr skattig av µ. För att få reda
Läs merFakta om plast i havet
SIDAN 1 Lärarmaterial VAD HANDLAR BOKEN OM? Boke hadlar om att vi mäiskor måste fudera över all plast som vi aväder. Vad häder med plaste är vi har avät de? I boke får vi lära oss varför plaste är farlig
Läs merBefolkning per födelseland Reviderad metod vid framskrivningar. Version: 2
Befolkig per födelselad Reviderad metod vid framskrivigar Versio: 2 Tillväxtverket stärker Sverige geom att stärka företages kokurreskraft Vi skapar bättre förutsättigar för företagade och bidrar till
Läs merTentamen Metod C vid Uppsala universitet, , kl
Tetame Metod C vid Uppsala uiversitet, 160928, kl. 14.00 18.00 Avisigar Av rättigspraktiska skäl skall var och e av de tre huvudfrågora besvaras på separata pappersark. Börja alltså på ett ytt pappersark
Läs merCartesisk produkt. Multiplikationsprincipen Ï Ï Ï
Kombiatorik Kombiatorik hadlar oftast om att räka hur måga arragemag det fis av e viss typ. Sådaa kalkyler uderlättas om ma ka hitta relevata represetatioer av de ibladade arragemage ågot som illustreras
Läs merÖrserumsviken. Förorenade områden Årsredovisning. Ansvar för sanering av förorenade områden. Årsredovisningslagen och god redovisningssed
Föroreade område Årsredovisig Örserumsvike Birgit Fleig Auktoriserad revisor Sustaiability Director birgit.fleig@se.ey.com 19 september 2005 1 2 Årsredovisigslage och god redovisigssed Föroreade område
Läs merTentamen i Statistik, STA A10 och STA A13 (9 poäng) 26 mars 2004, klockan
Karlstads uiversitet Istitutioe för iformatiostekologi Avdelige för Statistik Tetame i Statistik, STA A10 och STA A13 (9 poäg) 6 mars 004, klocka 14.00-19.00 Tillåta hjälpmedel: Bifogad formelsamlig (med
Läs merDatabaser - Design och programmering. Databasdesign. Kravspecifikation. Begrepps-modellering. Design processen. ER-modellering
Databaser desig och programmerig Desig processe Databasdesig Förstudie, behovsaalys ER-modellerig Kravspecifikatio För att formulera e kravspecifikatio: Idetifiera avädare Studera existerade system Vad
Läs merIntroduktion till statistik för statsvetare
"Det fis iget så praktiskt som e bra teori" November 2011 Bakgrud Stadardiserig E saolikhetsekvatio Kosekves av stora tales lag Stora tales lag ger att är slumpvariablera X i är oberoede, med e och samma
Läs merMinsta kvadrat-metoden, MK. Maximum likelihood-metoden, ML. Medelfel. E(X i ) = µ i (θ) MK-skattningen av θ fås genom att minimera
Matematisk statistik slumpes matematik Saolikhetsteori hur beskriver ma slumpe? Statistikteori vilka slutsatser ka ma dra av ett datamaterial? Statistikteori översikt Puktskattig Hur gör ma e bra gissig
Läs merTentamen del 2 i kursen Elinstallation, begränsad behörighet ET1020 2014-08-29
Tetame del 2 i kure Elitallatio, begräad behörighet ET1020 2014-08-29 Tetame omfattar 60 poäg. För godkäd tetame kräv 30 poäg. Tillåta hjälpmedel är räkedoa amt bifogad formelamlig Beräkigar behöver bara
Läs merSannolikheten. met. A 3 = {2, 4, 6 }, 1 av 11
rmi Halilovic: EXTR ÖVIGR SOLIKHETER GRUDLÄGGDE EGRE OH ETEKIGR Utfall Resultat av ett slumpmässigt försök. Utfallsrummet ägde av alla utfall (beteckas oftast medd Ω ). Hädelse E delmägd av utfallsrumm
Läs merDigital signalbehandling Alternativa sätt att se på faltning
Istitutioe för data- oc elektrotekik 2-2- Digital sigalbeadlig Alterativa sätt att se på faltig Faltig ka uppfattas som ett kostigt begrepp me adlar i grude ite om aat ä att utgåede frå e isigal x [],
Läs merVid mer än 30 frihetsgrader approximeras t-fördelningen med N(0; 1). Konfidensintervallet blir då
Stat. teori gk, ht 006, JW F7 ENKEL LINJÄR REGRESSION, FORTS. (NCT.5-.7) Statistisk iferes rörade β Vi vet reda att b är e vätevärdesriktig skattig av modellparameter β. Vi vet också att skattige b har
Läs merDatabaser - Design och programmering. Programutveckling. Programdesign, databasdesign. Kravspecifikation. ER-modellen. Begrepps-modellering
Databaser desig och programmerig Desig processe ER-modellerig Programutvecklig Förstudie, behovsaalys Programdesig, databasdesig Implemetatio Programdesig, databasdesig Databasdesig Koceptuell desig Koceptuell
Läs merFourierserien. fortsättning. Ortogonalitetsrelationerna och Parsevals formel. f HtL g HtL t, där T W ã 2 p, PARSEVALS FORMEL
Fourierserie fortsättig Ortogoalitetsrelatioera och Parsevals formel Med hjälp av ortogoalitetsrelatioera Y Â m W t, Â W t ] =, m ¹, m = () där Xf, g\ = Ÿ T f HtL g HtL, där W ã p, ka ma bevisa följade
Läs merAllmänna avtalsvillkor för konsument
Godkäare 7.2 Kudakuta Godkät Kommuikatio Distributio Kudservice Kommuikatio, deltagade och samråd Allmäa avtalsvillkor för kosumet för leveras av fjärrvärme Allmäa avtalsvillkor för kosumet för leveras
Läs merSannolikhetslära. c 2015 Eric Järpe Högskolan i Halmstad
Saolikhetslära c 201 Eric Järpe Högskola i Halmstad Saolikhetslära hadlar om att mäta hur saolikt (dvs hur ofta ) ma ka förväta sig att ågot iträffar. Därför sorterar saolikhetslära uder de matematiska
Läs merInnehåll Grafräknaren och diskret matematik...1 Vad handlar diskret matematik om?...1 Permutationer och kombinationer...3 Något om heltalsräkning...
Iehåll Grafräkare och diskret matematik...1 Vad hadlar diskret matematik om?...1 Permutatioer och kombiatioer...3 Något om heltalsräkig...4 Modulusoperator...4 Faktoriserig i primfaktorer...5 Talföljder...7
Läs mer2. Konfidensintervall för skillnaden mellan två proportioner.
Föreläsig 12 LV1, Torsdag 12/10 Upplägg 1. Kofidesitervall för proportioer. 2. Kofidesitervall för skillade mella två proportioer. 3. Grafteori Kofidesitervall för proportioer Atag att vi vill skatta adele
Läs mer1. BERÄKNING AV GRÄNSVÄRDEN ( då x 0 ) MED HJÄLP AV MACLAURINUTVECKLING. n x
BERÄKNING AV GRÄNSVÄRDEN ( då ) MED HJÄLP AV MACLAURINUTVECKLING a) Maclauris formel ( ) f () f () f () f ( ) f () + f () + + + +!!! ( ) f ( c) där R och c är tal som ligger mella och ( + )! Amärkig Eftersom
Läs merDatorövning 2 Fördelningar inom säkerhetsanalys
Luds tekiska högskola Matematikcetrum Matematisk statistik STATISTISKA METODER FÖR SÄKERHETSANALYS FMS065 Datorövig 2 Fördeligar iom säkerhetsaalys I dea datorövig ska vi studera ågra grudläggade frå saolikhetsteori:
Läs merSlutrapport Bättre vård i livets slutskede
Team : Stadsvikes VC Syfte med deltagadet i Geombrott Att öka tillite och trygghete till de vård som bedrivs i det ega hemmet för de palliativa patiete. Teammedlemmar Eva Lidström eva.lidstrom@ll.se Viktoria
Läs merKompletterande kurslitteratur om serier
KTH Matematik Has Thuberg 5B47 Evariabelaalys Kompletterade kurslitteratur om serier I Persso & Böiers.5.4 itroduceras serier, och serier diskuteras också i kapitel 7.9. Ia du läser vidare här skall du
Läs merSå här kommer byggherren och entreprenören överens om energianvändningen
Så här kommer byggherre och etrepreöre överes om eergiavädige Så här kommer byggherre och etrepreöre överes om eergiavädige Sveby står för Stadardisera och verifiera eergiprestada i byggader och är ett
Läs merNEWTON-RAPHSONS METOD (en metod för numerisk lösning av ekvationer)
Armi Halilovic: EXTRA ÖVNINGAR Newto-Raphsos metod NEWTON-RAPHSONS METOD (e metod för umeris lösig av evatioer Måga evatioer är besvärligt och iblad äve omöjligt att lösa eat. Då aväder ma umerisa metoder
Läs merDEL I. Matematiska Institutionen KTH
1 Matematiska Istitutioe KTH Lösig till tetamesskrivig på kurse Diskret Matematik, momet A, för D2 och F, SF1631 och SF1630, de 5 jui 2009 kl 08.00-13.00. DEL I 1. (3p) Bestäm e lösig till de diofatiska
Läs merUppsala Universitet Matematiska Institutionen Thomas Erlandsson
Uppsala Uiversitet Matematisa Istitutioe Thomas Erladsso LÄSANVISNINGAR VECKA -5 BINOMIALSATSEN Ett uttryc av forme a + b allas ett biom eftersom det är summa av två moom. För uttrycet (a + b) gäller de
Läs merAMF. I princip är det bara möjligt att flytta privat sparande och sparande där avtalet tecknats efter den 2 februari i fjol.
Välj att flytta dia Utyttja di flytträtt om du ka. Det är Privata Affärers råd u är regeriges tillfälliga flyttstopp hävs de 1 maj. Flyttstoppet ifördes i februari i fjol som e direkt följd av Damarksmålet.
Läs merD 45. Orderkvantiteter i kanbansystem. 1 Kanbansystem med två kort. Handbok i materialstyrning - Del D Bestämning av orderkvantiteter
Hadbok materalstyrg - Del D Bestämg av orderkvatteter D 45 Orderkvatteter kabasystem grupp av materalstyrgsmetoder karakterseras av att behov av materal som uppstår hos e förbrukade ehet mer eller mdre
Läs merÅteranvändning. Två mekanismer. Nedärvning av egenskaper (inheritance) Objekt komposition
Iheritace Återavädig Två mekaismer Nedärvig av egeskaper (iheritace) Objekt kompositio A A +a +b B B Iheritace Återavädig geom att skapa subklasser kallas ofta white box reuse Ekelt att aväda Relatioe
Läs merMARKNADSPLAN Kungälvs kommun 2010-2014
MARKNADSPLAN Kugälvs kommu 2010-2014 Fastställd av KF 2010-06-17 1 Iehåll Varför e markadspla? 3 Mål och syfte 4 Markadsförutsättigar 5 Processer, styrig och orgaisatio 6 Politisk styrig 7 Politisk styrig,
Läs merTENTAMEN I MATEMATISK STATISTIK Datum: 13 mars 08
TENTAMEN I MATEMATISK STATISTIK Datum: 3 mars 8 Te i kurse HF3, 6H3, 6L3 MATEMATIK OCH MATEMATISK STATISTIK, Te i kurse HF ( Tidigare k 6H3), KÖTEORI OCH MATEMATISK STATISTIK, Skrivtid: 8:5-:5 Hjälpmedel:
Läs mer1. Test av anpassning.
χ -metode. χ -metode ka avädas för prövig av hypoteser i flera olika slag av problem: om e stokastisk variabel följer e viss saolikhetsfördelig med käda eller okäda parametrar. om två stokastiska variabler
Läs mer= x 1. Integration med avseende på x ger: x 4 z = ln x + C. Vi återsubstituerar: x 4 y 1 = ln x + C. Villkoret ger C = 1.
Lösigsförslag till tetamesskrivig i Matematik IV, 5B0 Torsdage de 6 maj 005, kl 0800-00 Hjälpmedel: BETA, Mathematics Hadbook Redovisa lösigara på ett sådat sätt att beräkigar och resoemag är lätta att
Läs merPTKs stadgar. Fastställda vid stämman 2009 06 16
PTKs stadgar Fastställda vid stämma 2009 06 16 INNEHÅLLSFÖRTECKNING SYFTE OCH UPPGIFTER Syfte och uppgifter 3 Medlemskap 4 Orgaisatio 7 Stämma 8 Överstyrelse 12 Styrelse 15 Förhadligsorgaisatio 17 PTK-L
Läs merPlan för hasselmus vid Paradis, Sparsör
2010-06-28 Pla för hasselmus vid radis, Sparsör Bakgrud och syfte E pla för hasselmus har tagits fram i sambad med detaljplaeläggig av fastighet radis 1:4 i Sparsör, Borås Stad. Detaljpla syftar till att
Läs merInnanför skalet på centralenheten: Mikroprogrammering
Iaför skalet på cetralehete: Mikroprogrammerig 1997 Stefa Gustavso, ITN-LiTH Lätt uppdaterat 2004-09-06-1 - 1. Iledig Det fis måga olika abstraktiosivåer ma ka välja att lägga sig på är ma skall förklara
Läs mergod stiftelsepraxis www.saatiopalvelu.fi
god stiftelsepraxis SÄÄTIÖIDEN JA RAHASTOJEN NEUVOTTELUKUNTA RY DELEGATIONEN FÖR STIFTELSER OCH FONDER RF www.saatiopalvelu.fi 1 Cotets God stiftelsepraxis 1 Iledig 3 2 God stiftelsepraxis 3 Stipedier
Läs merTentamen i Statistik STG A01 (12 hp) 5 mars 2010, kl. 08.15 13.15
Karlstads uiversitet Fakultete för ekoomi, kommuikatio och IT Statistik Tetame i Statistik STG A0 ( hp) 5 mars 00, kl. 08.5 3.5 Tillåta hjälpmedel: Bifogad formel- och tabellsamlig (skall retureras) samt
Läs merLinjär Algebra (lp 1, 2016) Lösningar till skrivuppgiften Julia Brandes
Lijär Algebra (lp 1, 2016) Lösigar till skrivuppgifte Julia Brades Uppgift 1. Betecka mägde av alla matriser med M(). Vi har e elemetvist defiierad additio av två matriser A, B M(). De är defiierad geom
Läs merTillämpad biomekanik, 5 poäng Plan rörelse, kinematik och kinetik
Pla rörelse Kiematik vid rotatio av stela kroppar Iledade kiematik för stela kroppar. För de två lijera, 1 och, i figure bredvid gäller att deras vikelpositioer, θ 1 och θ, kopplas ihop av ekvatioe Θ =
Läs merExempel på ett litet Ada-program
Exempel på ett litet Ada-program -- En kommentar som beskriver något. with Ada.Text_IO; procedure Mini is -- Deklarationer. K : constant Integer := 5; X, Y : Integer; -- Körbar kod. Ada.Text_IO.Put( Utskrift
Läs merAv Henrik 01denburg\ Radikaler. För att lösa ekv.: x n = a (n helt, pos. tal) konstruerar man kurvan
Av Herik 01deburg\ Eligt gymasiets kurspla skall av lära om poteser medtagas huvudsaklige vad som är behövligt för viade av e säker isikt i lära om logaritmer. Alla torde vara ese därom, att det är syerlige
Läs merFinansiell Statistik (GN, 7,5 hp,, HT 2008) Föreläsning 4 (del 1)
Fiasiell Statistik (GN, 7,5 hp,, HT 008) Föreläsig 4 (del 1) Sampligfördeligar (LLL Kap 8) Departmet of Statistics (Gebreegus Ghilagaber, PhD, Associate Professor) Fiacial Statistics (Basic-level course,
Läs mera) Beräkna E (W ). (2 p)
Avd. Matematisk statistik TENTAMEN I SF19 och SF191 SANNOLIKHETSTEORI OCH STATISTIK, TISDAGEN DEN 13:E MARS 18 KL 8. 13.. Examiator: Björ-Olof Skytt, 8 79 86 49. Tillåta hjälpmedel: Formel- och tabellsamlig
Läs merKollektivt bindande styre på global nivå
Iteratioell ivå Global, regioal eller mellastatlig? Allt fler viktiga politiska frågor går ite lägre att lösa på atioell ivå. Folk över hela världe berörs exempelvis av växthuseffekte. Vad fis det för
Läs merNEWTON-RAPHSONS METOD (en metod för numerisk lösning av ekvationer)
Armi Halilovic: EXTRA ÖVNINGAR Newto-Raphsos metod NEWTON-RAPHSONS METOD (e metod för umeris lösig av evatioer Måga evatioer är besvärligt och iblad äve omöjligt att lösa eat. Då aväder ma umerisa metoder
Läs merMönster. n n n n n. Visitor Decorator Extension Object State Taskmaster
Desig möster Möster Visitor Decorator Extesio Object State Taskmaster Visitor Aväds för komplicerade datastrukturer där det fis e växade mägd operatioer på dea Grafik exempel ige: Shape draw() ps() ik()
Läs merTentamen 9 juni 2016, 8:00 12:00, Q21
Avdelige för elkrafttekik EG2205 DRIFT OCH PLANERING AV ELPRODUKTION Vårtermie 206 Tetame 9 jui 206, 8:00 2:00, Q2 Istruktioer Skriv alla svar på det bifogade svarsbladet. Det är valfritt att också läma
Läs mer