AUBER 95 9 jan LÖSNINGAR STEG 1:
|
|
- Jan-Erik Hedlund
- för 9 år sedan
- Visningar:
Transkript
1 AUBER 95 9 jn AR. Den finit utomten nedn ccepterr ett språk L över = {, }. A B ε Konstruer ) ett reguljärt uttryck för L. ) L = ( ( ) ) = ( ) ) en reguljär grmmtik för L S A S A c) en miniml DFA för L. ) A A B eller (enklre) A A A B B A c) Först gör vi om NFA:n medelst delmängdskonstruktionen till en DFA STEG : 6 3 ε STEG : (Skräptillståndet ej utritt.) M { } { } { 3} { 4, } { 56,, } { 6, } Minimering v ovnstående DFA: 6 { 37, } { 46,, } M rev 3
2 AUBER 95 9 jn AR sid v 5 { 3457,,,, } { 68,, } skräptillstånd ej utritt { 34,, } { } M' en DFA för L rev M' rev { 4, } { } { 3, } { } M'' en DFA för L = ( L rev ) rev 3 4 M'' uppsnyggd skräptillstånd ej utritt. Låt = {, }. Vilk v följnde språk över är reguljär? ) Språket L vrs strängr w ) Reguljärt! L = ( ) ( ) örjr och slutr på smm tecken. ) Språket L v strängr w med ) Ej reguljärt! Pump ex.vis w = N N udd längd och vrs inlednde tecken överensstämmer med det mitterst tecknet. c) Språket L 3 v strängr w med c) Ej reguljärt! Pump ex.vis w = N N udd längd vrs mitterst tecken inte överensstämmer med något nnt tecken i w. Om Du finner tt språket ifråg är reguljärt, skll Du presenter en FA eller ett reguljärt uttryck för det. Annrs (om ditt svr är NEJ) skll Du för erhållnde v full poäng evis din ståndpunkt med hjälp v pumpstsen eller särskiljndestsen.
3 AUBER 95 9 jn AR sid 3 v 5 3. Smmnhngsfritt? J. En CFG: S ε cs cs Sc Sc SS { w { c,, } c, ε c c, ε w innehåller lik mång c:n c, ε som :n och :n tillsmmns} En PDA: ε, ε, c, ε c, ε 4. Följnde grmmtik eskriver fktiskt ett smmnhngsfritt språk L. S R BS BR B R B R ε Presenter (med motiveringr förstås) en CFG för L. S-reglern ger B BR = ( B) n R. Sedn ger förflyttningsreglern på ndr och tredje rden upphov till B BR = n B n R och n R n. Till sist kn R sudds ut. (Oserver tt om mn suddr R tidigre, så hänger sig strängproduktionen!). Då hr mn producert n n. Språket ifråg är således L = { n n n N} som kn eskrivs v ex.vis följnde CFG S ε S 5. Konstruer nednstående två funktioner inom klssen v primitivt rekursiv funktioner. x ) TvåPot? () x ) TvåLog() x Funktioner konstruerde inom kursen får nvänds som hjälpfunktioner. ) TvåPot? () x = Lik ( x, Pot(, TvåLog() x )) ) TvåLog() 0 = 0 TvåLog( Ök() x ) = Om ( Lik ( Ök()Pot x, (, Ök( TvåLog( x) ))), Ök( TvåLog() x ), TvåLog()) x 6. Diskuter för vrt och ett v följnde prolem om det det finns någon TM som kn vgör prolemet ifråg. Vid eventuell tillämpning v Rices sts lir det vdrg om Du inte kn eskriv hur mängden Ω som förekommer i denn sts ser ut i din tillämpning. ) Givet en godtycklig Turingmskin M, ccepterr M oändligt mång strängr? ) Ingen TM kn vgör prolemet. Dett följer v Rices sts om mn etrktr Ω= { L L är Turingccepterr och oändlig} Ty Ω innehåller något men inte ll Turingccepterr språk: { } Ω, { } Ω
4 AUBER 95 9 jn AR sid 4 v 5 ) Givet en godtycklig FA M, ccepterr M oändligt mång strängr? c) Givet en godtycklig PDA M, ccepterr M oändligt mång strängr? ) Dett prolem kn en TM vgör. Allt som ehövs är tt TM:en ifråg undersöker M:s kod m..p. förekomst v någon sling på väg från strt- till ccepternde tillstånd. M ccepterr nämligen oändligt mång strängr omm M hr någon sådn sling. c) Turingvgörrt. Principskiss v ett vgöringsförfrnde: Konstruer först en CFG för PDA:ns språk. (Dett kn utförs lgoritmiskt!) Trnsformer sedn (vid ehov) CFG:n till en ny CFG G med egenskpern () och (): ingen terminernde regel hr tom sträng i högerledet () ll icketerminernde regler är förlängningsregler () (Även dett kn görs lgoritmiskt.) Låt vr ett tl större än ntlet icketerminernde sym- N oler i G, låt l vr mximl längden hos G:reglerns högerled och låt N = l N. Producer till sist med hjälp v reglern i G de strängr v längd N w < N som det går tt producer. (Det finns r ändligt mång.) Om Du finner tt det finns noll stycken sådn strängr, så vet Du tt den givn PDA:n ccepterr ändligt mång strängr. (Enligt den smmnhngsfri pumpstsen!) Och om Du finner tt det finns en eller fler, vet Du tt PDA:n ccepterr oändligt mång strängr. 7. Presenter en grmmtik för språket { w n w 0 =, w =, w n = w n w n } dvs {,,,,,, } Vis hur mn i din grmmtik kn producer. Ide: w n + 3 = w n + w n + = w n + w n kn tillverks v = w n genom tt till höger i kopiers och genom tt sedn låt kopin flytt sig till vänster så tt den lir ett prefix: w n + = w n w n + 3 = w n + w n Genom tt formuler regler som omesörjer sådn kopiering och förflyttning, smt en lämplig strtregel (för w ) kn vrje producers. De kortste två strängrn, dvs w 0 och w måste producers seprt.
5 AUBER 95 9 jn AR sid 5 v 5 Regler: S [ M ] ] V ] ε V VA V VB MV ε B B B B A A A A [ [ H ε HA H HB H H M H M M ε ] tillåts skp V:n som kn förflytt sig till vänster genom strängen och producer kopior A, B v och. När den vänstergående kopieringssymolen möter mittsymolen M är kopieringsuppdrget slutfört. kopiorn A, B skll kunn gå föri och. [ kn på motsvrnde sätt som ] skp högergående symoler H, vilk skll nvänds för tt gör om A och B till resp. När den högergående symolen H möter eller förvndlr sig H till M. Körexempel: (Produktion v ) S [M ] [MV ] [MVB ] [B ] [ B ] [HB ] [H ] [M ] [M ] [MV ] [MVAB ] [AB ] [AB ] [HAB ] [H ] [M ] [M ] [MV ] [MVBAB ] [BAB ] [BAB ] [HBAB ] [H ] [M ]
1. (6p) (a) Använd delmängdskonstruktionen för att tillverka en DFA ekvivalent med nedanstående NFA. (b) Är den resulterande DFA:n minimal? A a b.
UPPSAA UNIVERSITET Mtemtisk institutionen Slling (070-6527523) PROV I MATEMATIK AUTOMATATEORI 18 okt 2012 SKRIVTID: 8-13. HJÄPMEDE: Ing. MOTIVERA AA ÖSNINGAR NOGGRANT. BETYGSGRÄNSER: För etygen 3, 4 respektive
Läs merFORMELLA SPRÅK, AUTOMATER OCH BERÄKNINGSTEORI ÖVNINGSUPPGIFTER PÅ REGULJÄRA SPRÅK
FORMELLA SPRÅK, AUTOMATER OCH BERÄKNINGSTEORI ÖVNINGSUPPGIFTER PÅ REGULJÄRA SPRÅK Förord Dett kompendium innehåller övningr inom reguljär språk för kursen Formell språk, utomter och eräkningsteori som
Läs merRepetition 2. a) Delmängdskonstruktionen ger nedanstående DFA. Till höger med nya tillståndsnamn.
1 Repetition 2.n Repetition 2 3 1. Betrt vidstående NFA. 1 2 ) Konstruer ed hjälp v delängdsonstrutionen en DFA evivlent ed NFA:n. ) Är den resulternde DFA:n inil? O ej, inier den! c) Konstruer ett reguljärt
Läs merPROV I MATEMATIK Automatateori och formella språk DV1 4p
UPPSALA UNIVERSITET Matematiska institutionen Salling (070-6527523) PROV I MATEMATIK Automatateori och formella språk DV1 4p 19 mars 2004 SKRIVTID: 15-20. POÄNGGRÄNSER: 18-27 G, 28-40 VG. MOTIVERA ALLA
Läs mer6 Formella språk. Matematik för språkteknologer (5LN445) UPPSALA UNIVERSITET
UPPSALA UNIVERSITET Mtemtik för språkteknologer (5LN445) Institutionen för lingvistik och filologi VT 2014 Förfttre: Mrco Kuhlmnn 2013 (mindre revision Mts Dhllöf 2014) 6 Formell språk Det mänsklig språket
Läs merb) S Ø aa, A Ø aa» bb, B Ø aa» bc, C Ø ac» bc» 2. Låt L vara språket över 8a< som nedanstående NFA accepterar.
Salling, 070-6527523 TID : 9-14 HJÄLPMEDEL : Inga BETYGSGRÄNSER : G 18p, VG 28p SKRIV TYDLIGT OCH MOTIVERA NOGA! PROV I MATEMATIK AUTOMATEORI & FORMELLA SPRÅK DV1, 4 p 20 MARS 2002 1. Språket L över alfabetet
Läs merUppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 5-7.
Uppsl Universitet Mtemtisk Institutionen Bo Styf LAoG I, 5 hp ES, KndM, MtemA -9-6 Smmnfttning v föreläsningrn 5-7. Föreläsningrn 5 7, 7/9 6/9 : Det kommer, liksom i lärooken, inte tt finns utrymme för
Läs merUppsala Universitet Matematiska Institutionen Thomas Erlandsson
Uppsl Universitet Mtemtisk Institutionen Thoms Erlndsson RÄTA LINJER, PLAN, SKALÄRPRODUKT, ORTOGONALITET MM VERSION MER OM EKVATIONSSYSTEM Linjär ekvtionssystem och den geometri mn kn härled ur dess är
Läs merRÄKNEOPERATIONER MED VEKTORER. LINJÄRA KOMBINATIONER AV VEKTORER. ----------------------------------------------------------------- Låt u vr en vektor med tre koordinter u. Vi säger tt u är tredimensionell
Läs merCD5560 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p 10 AUGUSTI 2007 LÖSNINGAR
CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR REGULJÄRA SPRÅK (8p + 6p). DFA och reguljär uttryck (8 p) ) Konstruer en miniml DFA som ccepterr strängr över lfetet Σ = {,}
Läs merV1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±. är begränsad i intervallet [a,b].
Armin Hlilovic: ETRA ÖVNINGAR Generliserde integrler GENERALISERADE INTEGRALER När vi definierr Riemnnintegrl f ( ) d ntr vi tt följnde två krv är uppfylld: V. Intervllet [,] är ändligt, dvs gränsern,
Läs mer============================================================ V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE.
GENERALISERADE INTEGRALER ============================================================ När vi definierr Riemnnintegrl ntr vi tt följnde två krv är uppfylld: V. Intervllet [,] är ändligt, dvs gränsern,
Läs merV1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±. är begränsad i intervallet [a,b].
Armin Hlilovic: ETRA ÖVNINGAR Generliserde integrler GENERALISERADE INTEGRALER När vi definierr Riemnnintegrl f ( ) d ntr vi tt följnde två krv är uppfylld: V. Intervllet [,] är ändligt, dvs gränsern,
Läs merGEOMETRISKA VEKTORER Vektorer i rummet.
GEOMETRISKA VEKTORER Vektorer i rummet. v Någr v de storheter som förekommer inom nturvetenskp kn specificers genom tt ders mätetl nges med ett end reellt tl. Exempel på sådn storheter, som klls sklär
Läs merTentamen i ETE115 Ellära och elektronik, 25/8 2015
Tentmen i ETE5 Ellär och elektronik, 5/8 05 Tillåtn hjälpmedel: Formelsmling i kretsteori. Oserver tt uppgiftern inte är sorterde i svårighetsordning. All lösningr skll ges tydlig motiveringr. Bestäm Thévenin-ekvivlenten
Läs mer14. MINSTAKVADRATMETODEN
4 MINTAKADRATMETODEN Nu sk vi gå igenom någr olik sätt tt lös ekvtionssystemet Ax Om A är m n mtris med m n så sägs systemet vr överestämt och det sknr då i llmänhet lösningr Istället söker mn en pproximtiv
Läs merGrundläggande textanalys, VT2012
Grundläggnde textnlys, VT2012 evelin.ndersson@lingfil.uu.se Rum 9-2035 http://stp.ling.uu.se/~evelin/uv/uv12/gt/ (Tck till Sofi Gustfson-Cpkovâ för mteril.) Idg - Kurspln - Kort historik - Ändlig utomter
Läs merKontrollskrivning 3 till Diskret Matematik SF1610, för CINTE1, vt 2019 Examinator: Armin Halilovic Datum: 2 maj
Kontrollskrivning 3 till Diskret Mtemtik SF60, för CINTE, vt 209 Emintor: Armin Hlilovic Dtum: 2 mj Version B Resultt: Σ p P/F Etr Bonus Ing hjälpmedel tillåtn Minst 8 poäng ger godkänt Godkänd KS nr n
Läs merTentamen Programmeringsteknik II Skrivtid: Skriv läsligt! Använd inte rödpenna! Skriv bara på framsidan av varje papper.
Tentmen Progrmmeringsteknik II 014-10-4 Skrivtid: 1400 1900 Tänk på följnde Skriv läsligt! Använd inte rödpenn! Skriv r på frmsidn v vrje ppper. Börj lltid ny uppgift på nytt ppper. Lägg uppgiftern i ordning.
Läs mer============================================================ V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±.
GENERALISERADE INTEGRALER När vi definierr Riemnnintegrl ntr vi tt följnde två krv är uppfylld: V Intervllet [,] är ändligt, dvs gränsern, är reell tl och INTE ± V Funktionen f () är egränsd i intervllet
Läs merLINJÄR ALGEBRA II LEKTION 1
LINJÄR ALGEBRA II LEKTION JOHAN ASPLUND INNEHÅLL. VEKTORRUM OCH DELRUM Hel kursen Linjär Algebr II hndlr om vektorrum och hur vektorrum (eller linjär rum, som de iblnd klls) beter sig. Tidigre hr mn ntgligen
Läs mer0 a. a -Â n 2 p n. beskriver på sedvanligt sätt en a-periodisk utvidgning av f. Nedanför ritas en partialsumma av Fourierserien.
Sinus- och cosinusserier I slutet v kursen där vi skll lös differentilekvtioner på ändlig intervll v typen H, L, behöver vi konstruer Fourierserier med en viss typ v uppförnde i intervllens ändpunkter.
Läs merTrigonometri. 2 Godtyckliga trianglar och enhetscirkeln 2. 3 Triangelsatserna Areasatsen Sinussatsen Kosinussatsen...
Trigonometri Innehåll 1 Rätvinklig tringlr 1 Godtyklig tringlr oh enhetsirkeln 3 Tringelstsern 4 3.1 restsen.............................. 4 3. Sinusstsen.............................. 5 3.3 Kosinusstsen.............................
Läs merSfärisk trigonometri
Sfärisk trigonometri Inledning Vi vill nvänd den sfärisk trigonometrin för beräkningr på storcirkelrutter längs jordytn (för sjöfrt och luftfrt). En storcirkel är en cirkel på sfären vrs medelpunkt smmnfller
Läs merFinaltävling den 20 november 2010
SKOLORNAS MATEMATIKTÄVLING Svensk Mtemtikersmfundet Finltävling den 20 november 2010 Förslg till lösningr Problem 1 Finns det en tringel vrs tre höjder hr måtten 1, 2 respektive 3 längdenheter? Lösning
Läs mer9. Bestämda integraler
77 9. Bestämd integrler Låt f vr en icke-negtiv, begränsd funktion på [,b]. Vi hr lltså 0 f(x) ll x [,b] för någon konstnt B. B för Problem: Beräkn ren A v den yt som begränss v kurvn y = f(x), x b, x-xeln
Läs merAssociativa lagen för multiplikation: (ab)c = a(bc). Kommutativa lagen för multiplikation: ab = ba.
Rtionell tl Låt oss skiss hur mn definierr de rtionell tlen utifrån heltlen. Förutom tt det ger en inblick i hur mtemtiken är uppbyggd, är dett är ett br exempel på ekvivlensreltioner och ekvivlensklsser.
Läs merFinita automater, reguljära uttryck och prefixträd. Upplägg. Finita automater. Finita automater. Olika finita automater.
Finit utomter, reguljär uttryck och prefixträd Algoritmer och Dtstrukturer Mrkus Sers mrkus.sers@lingfil.uu.se Upplägg Finit utomter Implementtion Reguljär uttryck Användningr i Jv Alterntiv till inär
Läs merArea([a; b] [c; d])) = (b a)(d c)
Aren och integrl Summor Huvudämne i föreläsningen är reor v gurer i plnet och integrler. Integrl är ett egrepp som låter de nier reor v gurer i plnet, och speciellt eräkn reor melln grfer v funktioner
Läs merPASS 1. RÄKNEOPERATIONER MED DECIMALTAL OCH BRÅKTAL
PASS. RÄKNEOPERATIONER MED DECIMALTAL OCH BRÅKTAL. Tl, bråktl och decimltl Vd är ett tl för någonting? I de finländsk fmiljern brukr det vnligtvis finns två brn enligt Sttistikcentrlen (http://www.tilstokeskus.fi/tup/suoluk/suoluk_vesto_sv.html).
Läs mer1 e x2. lim. x ln(1 + x) lim. 1 (1 x 2 + O(x 4 )) = lim. x 0 x 2 /2 + O(x 3 ) x 2 + O(x 4 ) = lim. 1 + O(x 2 ) = lim = x = arctan x 1
UPPSALA UNIVERSITET Svr till tent i mtemtik Mtemtisk institutionen Anlys MN Distns Jons Elisson 7-- Skrivtid: - 5. Observer tt problemen inte står i svårighetsordning. All svr sk motivers. Det kn krävs
Läs merMatris invers, invers linjär transformation.
Mtris invers, invers linjär trnsformtion. Påminnelse om mtris beräkningr: ddition, multipliktion med sklärer och mtrisprodukt Algebrisk egenskper hos mtrisddition och multipliktion med ett tl (Ly Sts..,
Läs merUppsala Universitet Matematiska Institutionen T Erlandsson
Uppsl Universitet Mtemtisk Institutionen T Erlndsson TENTAMEN 5--4 Anlys MN SVAR OCH ANVISNINGAR FRÅGOR... 4. 5. x-xeln 6. y = x + x + 7. y = sin x + 8. y = xe x + 9. y = e x. y = x +.. + x. x = 4. 5.
Läs merKvalificeringstävling den 2 oktober 2007
SKOLORNAS MATEMATIKTÄVLING Svensk Mtemtikersmfundet Kvlifieringstävling den oktober 007 Förslg till lösningr 1 I en skol hr vr oh en v de 0 klssern ett studieråd med 5 ledmöter vrder Per är den ende v
Läs merGEOMETRISKA VEKTORER Vektorer i rummet.
GEOMETRISKA VEKTORER Vektorer i rummet. v 6 Någr v de storheter som förekommer inom nturvetenskp kn specificers genom tt ders mätetl nges med ett end reellt tl. Exempel på sådn storheter, som klls sklär
Läs merSF1625 Envariabelanalys
SF1625 Envribelnlys Föreläsning 13 Institutionen för mtemtik KTH 27 september 2017 SF1625 Envribelnlys Anmäl er till tentn Anmäl er till tentn nu. Det görs vi min sidor. Om det inte går, mejl studentexpeditionen
Läs merVilken rät linje passar bäst till givna datapunkter?
Vilken rät linje pssr bäst till givn dtpunkter? Anders Källén MtemtikCentrum LTH nderskllen@gmil.com Smmnfttning I det här dokumentet diskuterr vi minst-kvdrtmetoden för skttning v en rät linje till dt.
Läs merORTONORMERAT KOORDINAT SYSTEM. LÄNGDEN AV EN VEKTOR. AVSTÅND MELLEN TVÅ PUNKTER. MITTPUNKT. TYNGDPUNKT. SFÄR OCH KLOT.
Armin Hlilovi: EXTRA ÖVNINGAR v Vektorer oh koordinter i D-rummet ORTONORMERAT KOORDINAT SYSTEM LÄNGDEN AV EN VEKTOR AVSTÅND MELLEN TVÅ PUNKTER MITTPUNKT TYNGDPUNKT SFÄR OCH KLOT INLEDNING För tt bild
Läs merKVADRATISKA MATRISER, DIAGONALMATRISER, MATRISENS SPÅR, TRIANGULÄRA MATRISER, ENHETSMATRISER, INVERSA MATRISER
rmin Hlilovic: EXR ÖVNNGR v nvers mtriser KVDRSK MRSER, DGONLMRSER, MRSENS SPÅR, RNGULÄR MRSER, ENHESMRSER, NVERS MRSER KVDRSK MRSER Definition En mtris med n rder och n olonner, lls vdrtis n n n n nn
Läs merSIGNALER OCH SYSTEM II LEKTION 2 / MATEMATISK LEKTION 1. Fredrik Andréasson. Department of Mathematics, KTH
SIGNALER OCH SYSTEM II LEKTION 2 / MATEMATISK LEKTION Fredrik Andrésson Deprtment of Mthemtics, KTH Lplcetrnsformen. I förr delkursen studerde vi fouriertrnsformen v en funktion h(t) H(iω) F[h(t)] Vi definierr
Läs merSammanfattning, Dag 9
Smmnfttning, Dg 9 Idg studerde vi begrepp sklärprudokt (eller innerprodukt), norm och ortogonlitet på ett llmänt vektorrum. Vi börjde med en kort repetition på smm begrep för vektorrummet R 3. I rummet
Läs merEtt förspel till Z -transformen Fibonaccitalen
Ett förspel till Z -trnsformen Fibonccitlen Leonrdo Pisno vnligen klld Leonrdo Fiboncci, den knske störste mtemtiker som Europ frmburit före renässnsen skrev år 10 en bok (Liber bci) i räknelär. J, fktiskt.
Läs merTentamen 1 i Matematik 1, HF dec 2016, kl. 8:00-12:00
Tentmen i Mtemtik, HF9 9 dec 6, kl. 8:-: Emintor: Armin Hlilovic Undervisnde lärre: Erik Melnder, Jons Stenholm, Elis Sid För godkänt betyg krävs v m poäng. Betygsgränser: För betyg A, B, C, D, E krävs,
Läs merTentamen i ETE115 Ellära och elektronik, 4/1 2017
Tentmen i ETE5 Ellär och elektronik, 4/ 07 Tillåtn hjälpmedel: Formelsmling i kretsteori. Oserver tt uppgiftern inte är sorterde i svårighetsordning. All lösningr skll ges tydlig motiveringr. v 0 i 0 Beräkn
Läs mer13 Generaliserade dubbelintegraler
Nr 3, 4 pril -5, Ameli 3 Generliserde dubbelintegrler 3. Generliserde enkelintegrler Integrerbrhet är definiert för funktioner som är begränsde och definierde på ett ändligt intervll. ett kn i mång fll
Läs merIntegralen. f(x) dx exakt utan man får nöja sig med att beräkna
CTH/GU STUDIO TMVb - / Mtemtisk vetenskper Integrlen Anlys och Linjär Algebr, del B, K/Kf/Bt Inledning Mn kn inte lltid bestämm integrler f() d ekt utn mn får nöj sig med tt beräkn pproimtioner. T.e. e
Läs merExponentiella förändringar
Eonentiell förändringr Eonentilfunktionen - llmänt Eonentilfunktionen r du tidigre stött å i åde kurs oc 2. En nyet är den eonentilfunktion som skrivs y = e. (Se fig. nedn) Tlet e, som är mycket centrlt
Läs merSF1625 Envariabelanalys
Modul 5: Integrler Institutionen för mtemtik KTH 30 november 4 december Integrler Integrler är vd vi sk håll på med denn veck och näst. Vi kommer tt gör följnde: En definition v vd begreppet betyder En
Läs merUppgiftssamling 5B1493, lektionerna 1 6. Lektion 1
Uppgiftssmling 5B1493, lektionern 1 6 Lektion 1 4. (Räkning med oändlig decimlbråk) Låt x = 0, 1 2 3 n och y = 0,b 1 b 2 b 3 b n ( i och b i siffror 0, 1,, 9).. Kn Du beskriv något förfrnde som säkert
Läs mer19 Integralkurvor, potentialer och kurvintegraler i R 2 och R 3
Nr9,3mj-5,Ameli 9 Integrlkurvor, potentiler och kurvintegrler i R och R 3 9. Integrlkurvor En integrlkurv r(t) ((t), (t)) till ett vektorfält F(, ) är en kurv där vektorfältet är en tngent till kurvn i
Läs merGrundläggande matematisk statistik
Grundläggnde mtemtisk sttistik Diskret och kontinuerlig slumpvribler Uwe Menzel, 208 uwe.menzel@slu.se; uwe.menzel@mtstt.de www.mtstt.de Diskret och kontinuerlig slumpvribler Slumpvribel (s.v.): vribel
Läs merTATA42: Föreläsning 4 Generaliserade integraler
TATA42: Föreläsning 4 Generliserde integrler John Thim 29 mrs 27 Vi hr stött på begreppet tidigre när vi diskutert Riemnnintegrler i föregående kurs. Denn gång kommer vi lite mer tt fokuser på frågn om
Läs merHF1703, Inledande matematik (Byggproduktion) DEN TRIGONOMETRISKA ENHETSCIRKELN OCH TRIGONOMETRISKA FUNKTIONER
DEN TRIGONOMETRISKA ENHETSCIRKELN OCH TRIGONOMETRISKA FUNKTIONER Den trigonometrisk enhetscirkeln är en cirkel med rdie = och mittpunkt i origo B(0,) C(,0) O D(0,) I en rätvinklig tringel definierr vi
Läs merTMV151/TMV181. Fredrik Lindgren. 19 november 2013
TMV151/TMV181 Fredrik Lindgren Mtemtisk vetenskper Chlmers teknisk högskol och Göteborgs universitet 19 november 2013 F. Lindgren (Chlmers&GU) Envribelnlys 19 november 2013 1 / 24 Outline 1 Mss, moment
Läs merKan det vara möjligt att med endast
ORIO TORIOTO yllene snittet med origmi ed endst någr få vikningr kn mn få frm gyllene snittet och också konstruer en regelbunden femhörning. I ämnren nr 2, 2002 beskrev förfttren hur mn kn rbet med hjälp
Läs merAnalys o 3D Linjär algebra. Lektion 16.. p.1/53
Anlys o 3D Linjär lgebr Lektion 16. p.1/53 . p.2/53 v 3D Linjär lgebr Hr betrktt vektorer v typen etc resp dvs ordnde triplr v typen. reell tl 3D Linjär lgebr Punkt-vektor dulismen En ordnd tripel v typen
Läs merFöreläsning 7: Trigonometri
ht06 Föreläsning 7: Trigonometri Trigonometrisk identiteter En identitet är en likhet som håller för ll värden på någon vriel. Tex så gäller tt ( + ) + + för ll,. Dett skrivs ilnd som ( + ) + +, men vi
Läs merabbcba a) A regular expression over
1 CD5560 FABER Forml Lnguges, Automt nd Models of Computtion Exerise Mälrdlen University 007 NEXT WEEK! Midterm Exm 1 Regulr Lnguges Ple: U-114 Time: Tuesdy 007-04-4, 10:15-1:00 t is OPEN BOOK. This mens
Läs merLösningar och kommentarer till uppgifter i 1.2
Lösningr och kommentrer till uppgifter i.2 202 d) t t 2 25 t (t 5)(t + 5) Med hjälp v konjugtregeln kn vi fktoriser nämnren. Eftersom nämnren inte får bli noll är ej t 5 eller t 5 tillåtn. 206 Först presenterr
Läs merAllmän information (1 av 1)
ASI Uppföljning ASI Uppföljning är en stndrdintervju för uppföljning v personer i missruks- och eroendevård. Den nvänds för tt stämm v personens sitution och hjälpehov smt för uppföljning v instser. Intervjun
Läs merTATA42: Föreläsning 4 Generaliserade integraler
TATA42: Föreläsning 4 Generliserde integrler John Thim 5 november 28 Vi hr stött på begreppet tidigre när vi diskutert Riemnnintegrler i föregående kurs. Denn gång kommer vi lite mer tt fokuser på frågn
Läs merTillämpning - Ray Tracing och Bézier Ytor. TANA09 Föreläsning 3. Icke-Linjära Ekvationer. Ekvationslösning. Tillämpning.
TANA09 Föreläsning 3 Tillämpning - Ry Trcing och Bézier Ytor z = B(x, y) q o Ekvtionslösning Tillämpning Existens Itertion Konvergens Intervllhlveringsmetoden Fixpuntsitertion Newton-Rphsons metod Anlys
Läs merMATEMATISKT INNEHÅLL UPPGIFT METOD. Omvandla mellan olika längdenheter. METOD BEGREPP RESONEMANG. Ta reda på omkrets. 5 Vilken omkretsen har figuren?
Kn du dett? Uppgiftern här är tänkt tt nvänds för utvärdering v hur elevern tillägnt sig kpitlets mtemtisk innehåll. Låt elevern, prvis eller i mindre grupper, lös uppgiftern tillsmmns och förklr för vrndr
Läs merORTONORMERADE BASER I PLAN (2D) OCH RUMMET (3D) ORTONORMERAT KOORDINAT SYSTEM
Armin Hlilovi: EXTRA ÖVNINGAR 1 v 1 Ortonormerde bser oh koordinter i 3D-rummet ORTONORMERADE BASER I PLAN D OCH RUMMET 3D ORTONORMERAT KOORDINAT SYSTEM Vi säger tt en bs i rummet e r, e r, e r z e r,
Läs merdefinitioner och begrepp
0 Cecili Kilhmn & Jokim Mgnusson Rtionell tl Övningshäfte Avsnitt definitioner och egrepp DEFINITION: Ett rtionellt tl är ett tl som kn skrivs som en kvot melln två heltl och där 0. Mängden rtionell tl
Läs merSF1626 Flervariabelanalys Tentamen 8 juni 2011, Svar och lösningsförslag
SF166 Flervribelnlys Tentmen 8 juni 11, 8. - 13. Svr och lösningsförslg Del A (1 estäm en ekvtion för tngentplnet till ytn z + y z 3 1 i punkten (, y, (1, 1,. (3p b Punkten (, y, z (1.1,.9, t ligger på
Läs merVolum av rotationskroppar. Båglängd, rotationsytor. Adams 7.1, 7.2, 7.3
Volum v rottionskroppr. Båglängd, rottionsytor. Adms 7., 7., 7.3 Volum v rottionskroppr. Båglängd, rottionsytor. Integrtion v rtionell uttryck, prtilbråksuppdelning. Exempel med invers substitutioner.
Läs merListor = generaliserade strängar. Introduktion till programmering SMD180. Föreläsning 8: Listor. Fler listor. Listindexering.
1 Introduktion till progrmmering SMD180 Föreläsning 8: Listor 2 Listor = generliserde strängr Strängr = sekvenser v tecken Listor = sekvenser v vd som helst [10, 20, 30, 40] # en list v heltl ["spm", "ungee",
Läs merCHECKLISTA FÖR PERSONALRUM
CHECKLISTA FÖR PERSONALRUM Checklistn är ett hjälpmedel både vid plnering v ny personlrum och vid genomgång v befintlig personlutrymmen. Den innehålller bl frågor om klädrum, torkskåp och torkrum, tvätt-
Läs merTentamen i Analys B för KB/TB (TATA09/TEN1) kl 08 13
LINKÖPINGS UNIVERSITET Mtemtisk Institutionen Jokim Arnlind Tentmen i Anlys B för KB/TB (TATA9/TEN 5-6- kl 8 3 Ing hjälpmedel är tillåtn. Vrje uppgift kn ge mximlt 3 poäng. Betygsgränser: 8p för etyg 3,
Läs merByt till den tjocka linsen och bestäm dess brännvidd.
LINSER Uppgit: Mteriel: Teori: Att undersök den rytnde örmågn hos olik linser och tt veriier linsormeln Ljuskäll och linser ur Optik-Elin Med hjälp v en lmp och en ländre med ler öppningr år vi ler ljusstrålr,
Läs merInduktion LCB 2000/2001
Indution LCB 2/2 Ersätter Grimldi 4. Reursion och indution; enl fll n 2 En tlföljd n nturligtvis definiers genom tt mn nger en explicit formel för uträning v n dess 2 element, som till exempel n 2 () n
Läs merIntegraler. 1 Inledning. 2 Beräkningsmetoder. CTH/GU LABORATION 2 MVE /2013 Matematiska vetenskaper
CTH/GU LABORATION MVE6 - / Mtemtisk vetenskper Inledning Integrler Iblnd kn mn inte bestämm integrler exkt utn mn får nöj sig med tt beräkn pproximtioner. T.ex. e x dx kn inte beräkns exkt, eftersom det
Läs merTENTAMEN. Matematik för basår I. Massimiliano Colarieti-Tosti, Niclas Hjelm & Philip Köck :00-12:00
Kursnummer: Moment: Progrm: Rättnde lärre: TENTAMEN HF00 Mtemtik för bsår I TENA / TEN Tekniskt bsår Mssimilino Colrieti-Tosti, Nicls Hjelm & Philip Köck Nicls Hjelm 0-0-6 08:00-:00 Emintor: Dtum: Tid:
Läs merFöreläsning 3: Strängmatchning
2D1458, Prolemlösning oh progrmmering under press Föreläsning 3: Strängmthning Dtum: 2006-09-18 Srienter: Miel Elisson, Joim Erisson oh Mts Linnder Föreläsre: Miel Goldmnn Denn föreläsning ehndlr prolemet
Läs merSLING MONTERINGS- OCH BRUKSANVISNING
SLING MONTERINGS- OCH BRUKSANVISNING FOC_SLING_1107 Introduktion Dett är en ruksnvisning för det dynmisk rmstödet SLING som monters på rullstol, stol eller nnn nordning. SLING tillverks v FOCAL Meditech,
Läs merRåd och hjälpmedel vid teledokumentation
Råd och hjälpmedel vid teledokumenttion Elektrisk Instlltörsorgnistionen EIO Innehåll: Vd skiljer stndrdern åt När sk vilken stndrd nvänds Hur kn gmml och ny stndrd kominers Hur kn dokumenttionen förenkls
Läs merVolym och dubbelintegraler över en rektangel
Volym oh dubbelintegrler över en rektngel All funktioner nedn nts vr kontinuerlig. Om f (x i intervllet [, b], så är ren v mängden {(x, y : y f (x, x b} lik med integrlen b f (x dx. Låt = [, b] [, d] =
Läs merNågra integraler. Kjell Elfström. x = f 1 (y) = arcsin y. . 1 y 2 Vi låter x och y byta roller och formulerar detta resultat som en sats: cos x = 1
F r å g L u n d o m m t e m t i k Mtemtikcentrum Mtemtik NF Någr integrler Kjell Elfström Invers funktioner Om f är en funktion, och ekvtionen f() = till vrje V f hr en entdigt bestämd lösning D f, så
Läs mer13.9.2006 Dnr 6/002/2006. Till pensionsstiftelser som bedriver tilläggspensionsskydd och är underställda lagen om pensionsstiftelser
FÖRESRIFT 13.9.2006 Dnr 6/002/2006 Till pensionsstiftelser som edriver tilläggspensionsskydd och är underställd lgen om pensionsstiftelser FÖRSÄRINGSTENIS BERÄNINGR OCH DERS BERÄNINGSGRUNDER FÖR PENSIONSSTIFTELSER
Läs merBokstavsräkning. Regler och knep vid bokstavsräkning
Mtemtik Bokstvsräkning Du står nu inför en ny kurs i mtemtik, där meningen är tt du sk tillgodogör dig ny teorier, som smtlig leder frm till övningr och uppgifter. Även om du förstått vd teorin sk nvänds
Läs merGuide - Hur du gör din ansökan
Guide - Hur du gör din nsökn För tt komm till nsökningswebben går du in på www.gymnsievlsjuhärd.se och klickr på Ansökningswebb. Men innn du går dit läs igenom informtion under Ansökn och Antgning. Ansökningswebben
Läs merRationella uttryck. Förlängning och förkortning
Sidor i boken 8-9, 0- Rtionell uttryck. Förlängning och förkortning Först någr begrepp. Aritmetik eller räknelär är den mest grundläggnde formen v mtemtik. Ett ritmetiskt uttryck innehåller tl, men ing
Läs mer14 Spelteori Två-personers nollsummespel och konstantsummespel: sadelpunkt
14 Spelteori 14.1 Två pers nollsummespel: sdelpunkt 14.2 Två pers nollsummespel: rndomiserd strtegi, dominns, grfisk lösning 14.3 LP och nollsummespel 14.4 Två personer - icke konstnt spel. 14.5 Intro
Läs merPreliminär version 2 juni 2014, reservation för fel. Tentamen i matematik. Kurs: MA152G Matematisk Analys MA123G Matematisk analys för ingenjörer
Lösningsförslg Högskoln i Skövde SK, JS) Preliminär version juni 0, reservtion för fel. Tentmen i mtemtik Kurs: MA5G Mtemtisk Anlys MAG Mtemtisk nlys för ingenjörer Tentmensdg: 0-05- kl.0-9.0 Hjälpmedel
Läs merx 12 12 = 32 12 x 11 + 11 = 26 + 11 x 20 + 20 = 45 + 20 x=3 x=5 x=6 42 = 10x x + 10 = 15 x + 10 10 = 15 10 11 + 9 = 20 x = 65 x + 36 = 46
Vilket tl sk stå i rutn så tt likheten stämmer? + Lös ekvtionen så tt likheten stämmer. = + 9 = + = + = = Det sk stå 9 i rutn. Subtrher båd leden med. r -termen sk vr kvr i vänstr ledet. Skriv rätt tl
Läs merFrågor för tentamen EXTA50 Samhällsmätning, 9 hp, kl januari, 2015.
FÖRSÄTTSBLAD Institutionen för Nturgeogrfi och Ekosystemvetenskper Institutionen för Teknik och Smhälle Frågor för tentmen EXTA50 Smhällsmätning, 9 hp, kl. 8-13 12 jnuri, 2015. Denn tentmen rätts nonymt.
Läs merSkriv tydligt! Uppgift 1 (5p)
1(1) IF1611 Ingenjörsmetodik för IT och ME, HT 1 Tentmen Gäller även studenter som är registrerde på B1116 Torsdgen den 1 okt, 1, kl. 14.-19. Skriv tydligt! Skriv nmn och personnummer på ll inlämnde ppper!
Läs merEGENVÄRDEN och EGENVEKTORER
EGENVÄRDEN och EGENVEKTORER Definition. (Linjär vbildning) En funktion T från R n (n-dimensionell vektorer) till R m (m-dimensionell vektorer) säges vr en linjär vbildning ( linjär funktion eller linjär
Läs merLöpsedel: Integraler. Block 4: Integraler. Lärobok. Exempel (jfr lab) Exempel (jfr lab) Integrering i Matlab
Löpsedel: Integrler Block : Integrler Grundidé, numerisk kvdrtur Noggrnnet, teoretiskt Prktisk feluppskttning med ricrdsonextrpoltion Adptiv kvdrtur Noggrnnet, inverkn v mätfel/vrundningsfel Lärook Kp
Läs merMatematiska uppgifter
Element Årgång 59, 976 Årgång 59, 976 Först häftet 3020. Lös på enklste sätt ekvtionssystemet (Svr: x = v = 2 och y = u = 2) x + 7y + 3v + 5u = 6 8x + 4y + 6v + 2u = 6 2x + 6y + 4v + 8u = 6 5x + 3y + 7v
Läs merINLEDNING: Funktioner (=avbildningar). Beteckningar och grundbegrepp
rmin Hliloic: EXR ÖVNINGR Linjär bildningr LINJÄR VBILDNINGR INLEDNING: Fnktioner =bildningr Beteckningr och grndbegrepp Definition En fnktion eller bildning från en mängd till en mängd B är en regel som
Läs merAnvändande av formler för balk på elastiskt underlag
Användnde v formler för blk på elstiskt underlg Bilg 2 Sidn 1 v 1 Formler från [ ] hr nvänts i exelberäkningr för någr geometrier och någr lstfll. Dess exempel hr också beräknts med FEM för tt kontroller
Läs merNya regler för plåtbalkar-eurokod 3-1-5
Bernt Johnsson 008-0-5 Ny regler för plåtlkr-eurokod --5 Bkgrund Med plåtlk mens en lk som är uppyggd v smmnsvetsde plåtr på engelsk plted structure. Plåtlkr nvänds när vlsde lkr inte räcker till eller
Läs mer6 Greens formel, Stokes sats och lite därtill
6 Greens formel, tokes sts och lite därtill 6.1 Greens formel i låter de två sklärvärd funktionern P (, ) och Q(, ) vr kontinuerligt deriverbr i ett öppet område i -plnet. Området begränss v en positivt
Läs merMatte KONVENT. Ma te ma tik. Länktips: Mattecentrum.se Matteboken.se Formelsamlingen.se Pluggakuten.se. Innehåll: Pluggtips Formelsamling Kursprov
Mtte KONVENT Plgg tillsmmns inför de ntionell proen i mtemtik M te m tik Länktips: Mttecentrm.se Mtteoken.se Formelsmlingen.se Plggkten.se 5 Innehåll: Plggtips Formelsmling Krspro I smrete med retsgirorgnistionen
Läs merTentamen i EDA320 Digitalteknik-syntes för D2
CHALMERS TEKNISKA HÖGSKOLA Institutionen för dtorteknik Tentmen i EDA320 Digitlteknik-syntes för D2 Tentmenstid: tisdgen den 24 ugusti 999, kl. 08.45-2.45, Sl: mg. Exmintor: Peter Dhlgren Tel. expedition
Läs merGeometri. 4. Fyra kopior av en rätvinklig triangel kan alltid sättas ihop till en kvadrat med hål som i följande figur varför?
Geometri 1. Linjen är isektris till vinkeln. Sträkorn, oh är lik lång. Hur stor är vinkeln? vgör utn mätningr! 4. Fyr kopior v en rätvinklig tringel kn lltid sätts ihop till en kvdrt med hål som i följnde
Läs merMÄLARDALENS HÖGSKOLA. CD5560 Formella språk, automater och beräkningsteori. Användarmanual. för simulatorn JFLAP
MÄLARDALENS HÖGSKOLA CD5560 Formella språk, automater och beräkningsteori Användarmanual för simulatorn JFLAP Innehållsförteckning Att komma igång med JFLAP... 3 Att köra en sträng... 5 Att köra flera
Läs merRepetitionsuppgifter i matematik
Lärrprogrmmet Ingång Mtemtik och Lärnde Repetitionsuppgifter i mtemtik Inför vårterminens mtemtikstudier kn det vr r tt repeter grundläggnde räknefärdigheter. Dett mteril innehåller uppgifter inom följnde
Läs mer