Adminstrivia Mathematical Preliminaries Countable Sets Uncountable sets. Why Theory of Computation?

Storlek: px
Starta visningen från sidan:

Download "Adminstrivia Mathematical Preliminaries Countable Sets Uncountable sets. Why Theory of Computation?"

Transkript

1 CD0 FBER Forml Lnguges utomt nd Models of Computtion Leture Mälrdlen niversity 00 Content dminstrivi Mthemtil Preliminries Countle ets nountle sets Leturer & Exminer Gordn Dodig-Crnkovi Tehing ssistnts & L upervisors Mrkus Bohlin & Lrs Brue Course Home Pge Why Theory of Computtion? kurser/d0/0_0 visit home pge regulrly!. rel omputer n e modeled y mthemtil ojet: theoretil omputer.. forml lnguge is set of strings nd n represent omputtionl prolem.. forml lnguge n e desried in mny different wys tht ultimtely prove to e identil.. imultion: the reltive power of omputing models n e sed on the ese with whih one model n simulte nother.. Roustness of omputtionl model.. The Churh-Turing thesis: nything tht n e omputed n e omputed y Turing mhine.. Nondeterminism: lnguges n e desried y the existene or nonexistene of omputtionl pths. 8. nsolvility: for some omputtionl prolems there is no orresponding lgorithm tht will unerringly solve them. Prtil pplitions. Effiient ompiltion of omputer lnguges. tring serhing. Identifying the limits; Reognizing diffiult prolems. pplitions to other res: iruit verifition eonomis nd gme theory (finite utomt s strtegy models in deision-mking); theoretil iology (L-systems s models of orgnism growth) omputer grphis (L-systems) linguistis (modeling y grmmrs) History Eulid's ttempt to xiomtize geometry (rhimedes relized during his own efforts to define the re of plnr figure tht Eulid's ttempt hd filed nd tht dditionl postultes were needed. ) Leiniz's drem of symoli logi de Morgn Boole Frege Russell Whitehed: Mthemtis s rnh of symoli logi! 900 Hilerts progrm first progrmming lnguges 9 Gödels inompleteness theorem 9 Turing mshine (showed to e equivlent with reursive funtions). Commonly epted: TM s ultimte omputer 90 utomt 9 lnguge/utomt hierrhy 8 9

2 every mthemtil truth expressed in forml lnguge onsisting of fixed lphet of dmissile symols nd expliit rules of syntx for omining those symols into meningful words nd sentenes Turing used niversl Turing mhine (TM) to prove n even more powerful inompleteness theorem euse it destroyed not one ut two of Hilert's drems:. finding finite list of xioms from whih ll mthemtil truths n e dedued. olving the entsheidungsprolem ("deision prolem ) y produing "fully utomti proedure" for deiding whether given proposition (sentene) is true or flse. Mthemtil Preliminries 0 ET et Representtions ets Funtions Reltions Grphs Tehniques set is olletion of elements = {} B = { trin us iyle irplne} We write ship B C = { d e f g h i j k } C = { k } finite set = { } infinite set = { j : j > 0 nd j = k for some k>0 } = { j : j is nonnegtive nd even } = { } et Opertions Complement 0 niversl et: ll possile elements = { 0 } 9 8 = { } B = { } nion B = { } Intersetion B B = { } Differene - B = { } B - = { } -B niversl set = { } = { } = { } = 8

3 { even integers } = { odd integers } Integers DeMorgn s Lws Empty Null et: = { } odd even 0 B = B B = B = = - = = niversl et - = 9 0 uset = { } B = { } Proper uset: B B B Disjoint ets = { } B = { } B = B et Crdinlity For finite sets = { } = Powersets Crtesin Produt FNCTION powerset is set of sets = { } Powerset of = the set of ll the susets of = { } B = { } X B = { ( ) ( ) ( ) ( ) ( ) ( ) } X B = B domin f() = rnge B = { {} {} {} { } { } { } { } } Oservtion: = ( 8 = ) Generlizes to more thn two sets X B X X Z If = domin f : -> B then f is totl funtion otherwise f is prtil funtion

4 RELTION R = {(x y ) (x y ) (x y ) } x i R y i e. g. if R = > : > > > In reltions x i n e repeted 8 Equivlene Reltions Reflexive: x R x ymmetri: x R y y R x Trnsitive: x R Y nd y R z x R z Exmple R = = x = x x = y y = x x = y nd y = z x = z 9 Equivlene Clsses For equivlene reltion R equivlene lss of x = {y : x R y} Exmple: R = { ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) } Equivlene lss of = { } Equivlene lss of = { } 0 GRPH direted grph e node edge d Nodes (Verties) V = { d e } Edges E = { ( ) ( ) ( ) ( d) (d ) (e d) } Wlk e d Wlk is sequene of djent edges (e d) (d ) ( ) Pth e d Pth is wlk where no edge is repeted imple pth: no node is repeted Cyle se e d Cyle: wlk from node (se) to itself imple yle: only the se node is repeted Euler Tour 8 se e d yle tht ontins eh edge one Hmiltonin Cyle se e d simple yle tht ontins ll nodes

5 root Trees root Level 0 Binry Trees prent Level lef hild lef Level Height Trees hve no yles Level 8 9 PROOF TECHNIQE y onstrution y indution y ontrdition 0 Constrution We define grph to e k-regulr if every node in the grph hs degree k. Theorem. For eh even numer n > there exists -regulr grph with n nodes. y Constrution Construt grph G = (V E) with n > nodes. V= { 0 n- } E = { {i i+} for 0 i n-} {{n-0}} (*) {{i i+n/ for 0 i n/ } (**) The nodes of this grph n e written onseutively round the irle. 0 (*) edges etween djent pirs of nodes 0 (**) edges etween nodes on opposite sides n = n = END OF PROOF Indution We hve sttements P P P y Indution Indutive sis Find P P P k whih re true Exmple Theorem inry tree of height n hs t most n leves. If we know for some k tht P P P k re true for ny n k tht P P P n imply P n+ Then Every P i is true Indutive hypothesis let L(i) e the numer of leves t level i Let s ssume P P P n re true for ny n k L(0) = Indutive step L() = 8 how tht P n+ is true

6 We wnt to show: L(i) i Indution tep Indutive sis Indution tep L(0) = (the root node) Level n hypothesis: L(n) n Indutive hypothesis Let s ssume L(i) i for ll i = 0 n Level n+ n hypothesis: L(n) n n+ Indution step L(n+) * L(n) * n = n+ we need to show tht L(n + ) n+ END OF PROOF 8 Indutionsevis: Potensmängdens krdinlitet Påstående En mängd med n element hr n delmängder Kontroll Tomm mängden {} (med noll element) hr r en delmängd: {}. Mängden {} (med ett element) hr två delmängder: {} oh {} Mängden { } (med två element) hr fyr delmängder: {} {} {} oh {} Mängden { } (med tre element) hr ått delmängder: {} {} {} {} oh {} {} {} {} Påstående stämmer så här långt. Bssteg Enklste fllet är en mängd med noll element (det finns r en sådn) som hr 0 = delmängder. Induktionssteg ntg tt påståendet gäller för ll mängder med k element dvs ntg tt vrje mängd med k element hr k delmängder. Vis tt påståendet I så fll okså gäller för ll mängder med k+ element dvs vis tt vrje mängd med k+ element hr k+ delmängder. Vi etrktr en godtyklig mängd med k+ element. Delmängdern till mängden kn dels upp i två sorter: Delmängder som inte innehåller element nr k+: En sådn delmängd är en delmängd till mängden med de k först elementen oh delmängder till en mängd med k element finns det (enligt ntgndet) k styken. Delmängder som innehåller element nr k+: En sådn delmängd kn mn skp genom tt t en delmängd som inte innehåller element nr k+ oh lägg till dett element. Eftersom det finns k delmängder utn element nr p+ kn mn även skp k delmängder med dett element. Totlt hr mn k + k =. k = k+ delmängder till den etrktde mängden. END OF PROOF (Exempel från oken: Diskret mtemtik oh diskret modeller K Eriksson H. Gvel) 9 0 y Contrdition Exmple = n/m m = n We wnt to prove tht sttement P is true Theorem is not rtionl Therefore n is even n is even n = k we ssume tht P is flse then we rrive t onlusion tht ontrdits our ssumptions therefore sttement P must e true ssume y ontrdition tht it is rtionl = n/m n nd m hve no ommon ftors We will show tht this is impossile m is even m = k m = k m = p Thus m nd n hve ommon ftor Contrdition! END OF PROOF

7 Countle ets Infinite sets re either Countle or nountle Countle set There is one to one orrespondene etween elements of the set nd nturl numers We strted with the nturl numers then dd infinitely mny negtive whole numers to get the integers then dd infinitely mny rtionl frtions to get the rtionls then dded infinitely mny irrtionl frtions to get the rels. Eh infinite ddition seem to inrese rdinlity: N < Z < Q < R But is this true? NO! Exmple The set of integers is ountle Integers: 0 K Correspondene: Nturl numers: 0 K f ( n) = { n / n even;( n + ) / n odd Exmple Positive Rtionl numers: The set of rtionl numers is ountle 8 K Nive Ide Rtionl numers: Correspondene: Nturl numers: Doesn t work! we will never ount numers with nomintor : K K K Better pproh Rows: onstnt numertor (täljre) Columns: onstnt denomintor

8 We proved: the set of rtionl numers is ountle y desriing n enumertion proedure Definition Let e set of strings n enumertion proedure for is n lgorithm tht genertes ll strings of one y one Oservtion set is ountle if there is n enumertion proedure for it Exmple The set of ll finite strings is ountle { } We will desrie the enumertion proedure + Nive proedure: Produe the strings in lexiogrphi order: Doesn t work! trings strting with will never e produed Better proedure Proper Order. Produe ll strings of length. Produe ll strings of length. Produe ll strings of length. Produe ll strings of length. 8 9 Produe strings in Proper Order length length length 0 Theorem The set of ll finite strings is ountle ny finite string n e enoded with inry string of 0 s nd s Find n enumertion proedure for the set of finite strings Produe strings in Proper Order length length length tring = progrm Nturl numer 0.

9 PROGRM = TRING (syntti wy) PROGRM = FNCTION Ν Ν (semnti wy) string PROGRM string nountle ets Definition set is unountle if it is not ountle nturl numer n Ν PROGRM nturl numer n Ν Theorem The set of ll infinite strings is unountle (y ontrdition) We ssume we hve n enumertion proedure for the set of infinite strings Cntor s digonl rgument Infinite string Enoding w = w = w = 0 0 Cntor s digonl rgument We n onstrut new string w tht is missing in our enumertion! Conlusion The set of ll infinite strings is unountle! 8 n infinite string n e seen s FNCTION Ν Ν (n:th output is n:th it in the string) Conlusion There re some integer funtions tht tht nnot e desried y finite strings (progrms/lgorithms). Exmple of unountle infinite sets Theorem Let e n infinite ountle set The powerset of is unountle ine is ountle we n write = { s s s K}

10 Elements of the powerset hve the form: We enode eh element of the power set with inry string of 0 s nd s { s s} { s s s9 s0} Powerset element { s } { s s} Enoding s s s s Let s ssume (for ontrdition) tht the powerset is ountle. Then: we n enumerte the elements of the powerset { s s s} Powerset element Enoding p p p Tke the powerset element whose its re the omplements in the digonl p p p 0 0 p 0 0 p 0 0 New element: 00K 8 8 (inry omplement of digonl) 8 The new element must e some of the powerset However tht s impossile: from definition of the i-th it of must e the omplement of itself Contrdition! p i p i p i 88 ine we hve ontrdition: The powerset of is unountle n pplition: Lnguges Exmple lphet : { } The set of ll finite strings: * = { } = { λ K} infinite nd ountle The powerset of ontins ll lnguges: = {{ λ}{ }{ }{ } K} L L L L L unountle infinite END OF PROOF 89 90

11 Finite strings (lgorithms): ountle Lnguges (power set of strings): unountle There re infinitely mny more lnguges thn finite strings. Conlusion There re some lnguges tht nnot e desried y finite strings (lgorithms). Krdinltl Krdinltl är mått på storleken v mängder. Krdinltlet för en ändlig mängd är helt enkelt ntlet element i mängden. Två mängder är lik mäktig om mn kn pr ihop elementen i den en mängden med elementen i den ndr på ett uttömmnde sätt dvs det finns en ijektion melln dem. Dett mäktighetstänknde kn utvidgs till oändlig mängder. Till exempel är mängden v positiv heltl oh mängden v heltl lik mäktig. Däremot kn mn inte pr ihop ll reell tl med heltlen på dett sätt. Mängden v reell tl hr större mäktighet än mängden v heltl. Mn kn inför krdinltl på ett sådnt sätt tt två mängder hr smm krdinltl om oh endst om de hr smm mäktighet. T ex klls krdinltlet som hör till de hel tlen för ℵ 0 (lef 0 lef är den först okstven i det hereisk lfetet). Dess oändlig krdinltl klls trnsfinit krdinltl Mer om oändligheter Georg Cntor utveklde i slutet v 800-tlet mtemtikens logisk grund mängdlärn. Cntor införde egreppet trnsfinit krdinltl. Den enklste "minst" oändligheten kllde hn ℵ 0. Det är den uppräkningsr oändlig mängdens (exempelvis mängden v ll heltl) krdinltlet. Krdinltlet v mängden punkter på en linje oh även punktern på ett pln oh i en kropp kllde Cntor ℵ. Fnns det större oändligheter? J! Cntor kunde vis tt ntlet funktioner på en linje vr ännu oändligre än punktern på linjen oh hn kllde den mängden ℵ. Cntor fnn tt det gik tt räkn med krdinltlen preis som med vnlig tl men räknereglern lev något enhnd.. ℵ 0 + = ℵ 0 ℵ 0 + ℵ 0 = ℵ 0 ℵ 0 ℵ 0 = ℵ 0. Men vid exponering hände det något: ℵ 0 ℵ0 (ℵ 0 upphöjt till ℵ 0 ) = ℵ. Mer generellt visde det sig tt ℵn ( upphöjt till ℵ n ) = ℵ n+ Det inner tt det fnns oändligt mång oändligheter den en mäktigre än den ndr! Men vr det verkligen säkert tt det inte fnns någon oändlighet melln den uppräkningsr oh punktern på linjen? Cntor försökte evis den så kllde kontinuumhypotesen. Cntor: two different infinities ℵ 0 nd ℵ Continuum Hypothesis: ℵ 0 < ℵ = ℵ0 e även: 9

abbcba a) A regular expression over

abbcba 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 mer

Uppgiftssamling 5B1493, lektionerna 1 6. Lektion 1

Uppgiftssamling 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 mer

Associativa lagen för multiplikation: (ab)c = a(bc). Kommutativa lagen för multiplikation: ab = ba.

Associativa 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 mer

CD5560 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p 10 AUGUSTI 2007 LÖSNINGAR

CD5560 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 mer

PASS 1. RÄKNEOPERATIONER MED DECIMALTAL OCH BRÅKTAL

PASS 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 mer

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Uppsala 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 mer

Isometries of the plane

Isometries of the plane Isometries of the plane Mikael Forsberg August 23, 2011 Abstract Här följer del av ett dokument om Tesselering som jag skrivit för en annan kurs. Denna del handlar om isometrier och innehåller bevis för

Läs mer

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B.

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B. Deinitionsmängd FUNKTIONER. DEFINITIONSMÄNGD OCH VÄRDEMÄNGD. Deinition En unktion (eller vbildning ) rån en mängd A till en mängd B är en regel som till någr element i A ordnr högst ett element i B. Att

Läs mer

Finaltävling den 20 november 2010

Finaltä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 mer

Induktion LCB 2000/2001

Induktion 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 mer

Listor = generaliserade strängar. Introduktion till programmering SMD180. Föreläsning 8: Listor. Fler listor. Listindexering.

Listor = 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 mer

12.6 Heat equation, Wave equation

12.6 Heat equation, Wave equation 12.6 Heat equation, 12.2-3 Wave equation Eugenia Malinnikova, NTNU September 26, 2017 1 Heat equation in higher dimensions The heat equation in higher dimensions (two or three) is u t ( = c 2 2 ) u x 2

Läs mer

============================================================ V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE.

============================================================ 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 mer

Trigonometri. 2 Godtyckliga trianglar och enhetscirkeln 2. 3 Triangelsatserna Areasatsen Sinussatsen Kosinussatsen...

Trigonometri. 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 mer

1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p)

1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p) UMEÅ UNIVERSITY Department of Mathematics and Mathematical Statistics Pre-exam in mathematics Linear algebra 2012-02-07 1. Compute the following matrix: (2 p 3 1 2 3 2 2 7 ( 4 3 5 2 2. Compute the determinant

Läs mer

GEOMETRISKA VEKTORER Vektorer i rummet.

GEOMETRISKA 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 mer

RÄ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 mer

Module 1: Functions, Limits, Continuity

Module 1: Functions, Limits, Continuity Department of mathematics SF1625 Calculus 1 Year 2015/2016 Module 1: Functions, Limits, Continuity This module includes Chapter P and 1 from Calculus by Adams and Essex and is taught in three lectures,

Läs mer

LINJÄR ALGEBRA II LEKTION 1

LINJÄ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 mer

V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±. är begränsad i intervallet [a,b].

V1. 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

4 Example exam questions

4 Example exam questions 4 Exmple exm questions Omvnl uttryket ( ) e / (f g / h ) från infix till postfix me hjälp v en stk oh vis vrje steg i proessen. (5p) Vis sen me hjälp v en stk hur mn skulle eräkn et postfix uttrykets väre

Läs mer

Ett förspel till Z -transformen Fibonaccitalen

Ett 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 mer

V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±. är begränsad i intervallet [a,b].

V1. 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

Kvalificeringstävling den 2 oktober 2007

Kvalificeringstä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 mer

SF1625 Envariabelanalys

SF1625 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 mer

Matris invers, invers linjär transformation.

Matris 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 mer

Föreläsning 7: Trigonometri

Fö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 mer

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 5-7.

Uppsala 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 mer

Finita automater, reguljära uttryck och prefixträd. Upplägg. Finita automater. Finita automater. Olika finita automater.

Finita 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 mer

Diskreta stokastiska variabler

Diskreta stokastiska variabler Definitioner: Diskret stokstisk vribler Utfllet i ett slumpmässigt försök i form v ett reellt tl, betrktt innn försöket utförts, klls för stokstisk vribel eller slumpvribel (oft betecknd ξ, η ) Ett resultt

Läs mer

SF1625 Envariabelanalys

SF1625 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 mer

Föreläsning 7. Splay-träd. Prioritetsköer och heapar. Union/Find TDDC70/91: DALG. Innehåll. Innehåll. 1 Splay-träd

Föreläsning 7. Splay-träd. Prioritetsköer och heapar. Union/Find TDDC70/91: DALG. Innehåll. Innehåll. 1 Splay-träd Föreläsning 7 Sply-träd. rioritetsköer oh hepr. Union/Find TDDC70/1: DALG Utskriftsversion v föreläsning i Dtstrukturer oh lgoritmer 7 septemer 01 Tommy Färnqvist, IDA, Linköpings universitet 7.1 Innehåll

Läs mer

Kontrollskrivning 3 till Diskret Matematik SF1610, för CINTE1, vt 2019 Examinator: Armin Halilovic Datum: 2 maj

Kontrollskrivning 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 mer

Tentamen MMG610 Diskret Matematik, GU

Tentamen MMG610 Diskret Matematik, GU Tentamen MMG610 Diskret Matematik, GU 2017-01-04 kl. 08.30 12.30 Examinator: Peter Hegarty, Matematiska vetenskaper, Chalmers/GU Telefonvakt: Peter Hegarty, telefon: 0766 377 873 Hjälpmedel: Inga hjälpmedel,

Läs mer

definitioner och begrepp

definitioner 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 mer

GEOMETRISKA VEKTORER Vektorer i rummet.

GEOMETRISKA 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 mer

9. Vektorrum (linjära rum)

9. Vektorrum (linjära rum) 9. Vektorrum (linjär rum) 43. Vektorrum (linjärt rum) : definition och xiom 44. Exempel på vektorrum v funktioner. 45. Hur definierr mn subtrktion i ett vektorrum? 46. Underrum 47. Linjärkombintioner,

Läs mer

F ξ (x) = f(y, x)dydx = 1. We say that a random variable ξ has a distribution F (x), if. F (x) =

F ξ (x) = f(y, x)dydx = 1. We say that a random variable ξ has a distribution F (x), if. F (x) = Problems for the Basic Course in Probability (Fall 00) Discrete Probability. Die A has 4 red and white faces, whereas die B has red and 4 white faces. A fair coin is flipped once. If it lands on heads,

Läs mer

Tentamen i Matematik 2: M0030M.

Tentamen i Matematik 2: M0030M. Tentamen i Matematik 2: M0030M. Datum: 203-0-5 Skrivtid: 09:00 4:00 Antal uppgifter: 2 ( 30 poäng ). Examinator: Norbert Euler Tel: 0920-492878 Tillåtna hjälpmedel: Inga Betygsgränser: 4p 9p = 3; 20p 24p

Läs mer

Geometri. 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. 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 mer

E: 9p D: 10p C: 14p B: 18p A: 22p

E: 9p D: 10p C: 14p B: 18p A: 22p MID SWEDEN UNIVERSITY DMA Examination 2017 MA095G & MA098G Discrete Mathematics (English) Time: 5 hours Date: 16 March 2017 Pia Heidtmann The compulsory part of this examination consists of 8 questions.

Läs mer

IE1204 Digital Design

IE1204 Digital Design IE1204 Digitl Design F1 F3 F2 F4 Ö1 Booles lgebr, Grindr MOS-teknologi, minimering F5 F6 Ö2 Aritmetik Ö3 KK1 LAB1 Kombintorisk kretsr F7 F8 Ö4 F9 Ö5 Multipleor KK2 LAB2 Låskretsr, vippor, FSM F10 F11 Ö6

Läs mer

LUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik

LUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik LUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik SIGNALBEHANDLING I MULTIMEDIA, EITA50, LP4, 209 Inlämningsuppgift av 2, Assignment out of 2 Inlämningstid: Lämnas in senast kl

Läs mer

Komplexa tal. j 2 = 1

Komplexa tal. j 2 = 1 Komplex tl De komplex tlen nvänds när mn behndlr växelström inom elektroniken. Imginär enheten beteckns i elektroniken med j (i, som nvänds i mtemtiken, är ju upptget v strömmen). Den definiers v j = 1

Läs mer

Tentamen i Databasteknik

Tentamen i Databasteknik Tentmen i Dtsteknik lördgen den 22 oktoer 2005 Tillåtn hjälpmedel: Allt upptänkligt mteril Använd r frmsidn på vrje ld. Skriv mx en uppgift per ld. Motiver llt, dokumenter egn ntgnden. Oläslig/oegriplig

Läs mer

Recitation 4. 2-D arrays. Exceptions

Recitation 4. 2-D arrays. Exceptions Recitation 4. 2-D arrays. Exceptions Animal[] v= new Animal[3]; 2 declaration of array v Create array of 3 elements v null a6 Assign value of new-exp to v Assign and refer to elements as usual: v[0]= new

Läs mer

6 Formella språk. Matematik för språkteknologer (5LN445) UPPSALA UNIVERSITET

6 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 mer

Matematiska uppgifter

Matematiska 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 mer

FORMELLA 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 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 mer

Institutionen för systemteknik

Institutionen för systemteknik Institutionen för systemteknik Deprtment of Electricl Engineering Exmensrbete Prllel Evlution Of Fixed-Point Polynomils Exmensrbete utfört i Elektroniksystem vid Teknisk högskoln i Linköping v Shhid Nwz

Läs mer

Valve Module Combinations

Valve Module Combinations Operting Instrutions Vlve Module Comintions Vlve module omintions with sequene vlves (see pge 4) nd pressure reduing vlves (see pge 6) for every lmping funtion s omintions onsisting of one input vlve nd

Läs mer

Kurskod: TAMS28 MATEMATISK STATISTIK Provkod: TEN1 05 June 2017, 14:00-18:00. English Version

Kurskod: TAMS28 MATEMATISK STATISTIK Provkod: TEN1 05 June 2017, 14:00-18:00. English Version Kurskod: TAMS28 MATEMATISK STATISTIK Provkod: TEN1 5 June 217, 14:-18: Examiner: Zhenxia Liu (Tel: 7 89528). Please answer in ENGLISH if you can. a. You are allowed to use a calculator, the formula and

Läs mer

Uppsala universitet Institutionen för lingvistik och filologi. Grundbegrepp: Noder (hörn) och bågar (kanter)

Uppsala universitet Institutionen för lingvistik och filologi. Grundbegrepp: Noder (hörn) och bågar (kanter) Grfer Jokim Nivre Uppsl universitet Institutionen för lingvistik oh filologi Översikt Grunegrepp: Noer (hörn) oh ågr (knter) Grfteoretisk egrepp: Stigr oh ykler Delgrfer oh smmnhängne grfer Rikte oh orikte

Läs mer

ORTONORMERAT KOORDINAT SYSTEM. LÄNGDEN AV EN VEKTOR. AVSTÅND MELLEN TVÅ PUNKTER. MITTPUNKT. TYNGDPUNKT. SFÄR OCH KLOT.

ORTONORMERAT 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 mer

Methods to increase work-related activities within the curricula. S Nyberg and Pr U Edlund KTH SoTL 2017

Methods to increase work-related activities within the curricula. S Nyberg and Pr U Edlund KTH SoTL 2017 Methods to increase work-related activities within the curricula S Nyberg and Pr U Edlund KTH SoTL 2017 Aim of the project Increase Work-related Learning Inspire theachers Motivate students Understanding

Läs mer

Module 6: Integrals and applications

Module 6: Integrals and applications Department of Mathematics SF65 Calculus Year 5/6 Module 6: Integrals and applications Sections 6. and 6.5 and Chapter 7 in Calculus by Adams and Essex. Three lectures, two tutorials and one seminar. Important

Läs mer

Magnus Nielsen, IDA, Linköpings universitet

Magnus Nielsen, IDA, Linköpings universitet Föreläsning 6 Sply-trä. rioritetsköer oh hepr. TDDC91,TDDE22,725G97: DALG Utskriftsversion v föreläsning i Dtstrukturer oh lgoritmer 19 septemer 2017 Mgnus Nielsen, IDA, Linköpings universitet 6.1 Innehåll

Läs mer

============================================================ V1. Intervallet [a,b] är ändligt, dvs gränserna a, b är reella tal och INTE ±.

============================================================ 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 mer

Mat-1.1510 Grundkurs i matematik 1, del III

Mat-1.1510 Grundkurs i matematik 1, del III Mt-.50 Grundkurs i mtemtik, del III G. Gripenberg TKK december 00 G. Gripenberg TKK) Mt-.50 Grundkurs i mtemtik, del III december 00 / 59 Vribelbyte F gx))g x) dx = d F gx)) dx dx = / b F gx)) = F gb))

Läs mer

AUBER 95 9 jan LÖSNINGAR STEG 1:

AUBER 95 9 jan LÖSNINGAR STEG 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.

Läs mer

Accomodations at Anfasteröd Gårdsvik, Ljungskile

Accomodations at Anfasteröd Gårdsvik, Ljungskile Accomodations at Anfasteröd Gårdsvik, Ljungskile Anfasteröd Gårdsvik is a campsite and resort, located right by the sea and at the edge of the forest, south west of Ljungskile. We offer many sorts of accommodations

Läs mer

24/09/2013. Talrepresentationer" Digital Aritmetik Unsigned Integers Signed Integers" Positiva Heltal" Addition" Heltal" Addition"

24/09/2013. Talrepresentationer Digital Aritmetik Unsigned Integers Signed Integers Positiva Heltal Addition Heltal Addition 24/9/23 Slide! Per Lindgren! EISLAB! Per.Lindgren@ltu.e! Digitl Aritmetik Unigned Integer Signed Integer" Originl Slide! Ingo Snder! KTH/ICT/ES! ingo@kth.e! Tlrepreenttioner" Ett tl kn repreenter inärt

Läs mer

Adding active and blended learning to an introductory mechanics course

Adding active and blended learning to an introductory mechanics course Adding active and blended learning to an introductory mechanics course Ulf Gran Chalmers, Physics Background Mechanics 1 for Engineering Physics and Engineering Mathematics (SP2/3, 7.5 hp) 200+ students

Läs mer

Grundläggande matematisk statistik

Grundlä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 mer

Pre-Test 1: M0030M - Linear Algebra.

Pre-Test 1: M0030M - Linear Algebra. Pre-Test : M3M - Linear Algebra. Test your knowledge on Linear Algebra for the course M3M by solving the problems in this test. It should not take you longer than 9 minutes. M3M Problem : Betrakta fyra

Läs mer

H1009, Introduktionskurs i matematik Armin Halilovic. Definition. Mängden av alla lösningar till en ekvation kallas ekvationens lösningsmängd.

H1009, Introduktionskurs i matematik Armin Halilovic. Definition. Mängden av alla lösningar till en ekvation kallas ekvationens lösningsmängd. H009, Introuktionskurs i mtemtik Armin Hlilovi LINJÄRA OCH ANDRAGRADSEKVATIONER Inlening: Definition. Mängen v ll lösningr till en ekvtion klls ekvtionens lösningsmäng. Eemelvis är {-, } lösningsmängen

Läs mer

Area([a; b] [c; d])) = (b a)(d c)

Area([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 mer

Föreläsning Datastrukturer (DAT036)

Föreläsning Datastrukturer (DAT036) Föreläsning Datastrukturer (DAT036) Nils Anders Danielsson 2013-11-18 Idag Mer om grafer: Minsta uppspännande träd (för oriktade grafer). Prims algoritm. Kruskals algoritm. Djupet först-sökning. Cykel

Läs mer

Algoritmer och Komplexitet ht 08. Övning 6. NP-problem

Algoritmer och Komplexitet ht 08. Övning 6. NP-problem Algoritmer och Komplexitet ht 08. Övning 6 NP-problem Frekvensallokering Inom mobiltelefonin behöver man lösa frekvensallokeringsproblemet som lyder på följande sätt. Det finns ett antal sändare utplacerade.

Läs mer

TMV151/TMV181. Fredrik Lindgren. 19 november 2013

TMV151/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 mer

Webbregistrering pa kurs och termin

Webbregistrering pa kurs och termin Webbregistrering pa kurs och termin 1. Du loggar in på www.kth.se via den personliga menyn Under fliken Kurser och under fliken Program finns på höger sida en länk till Studieöversiktssidan. På den sidan

Läs mer

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.

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 mer

1. (3p) Bestäm den minsta positiva resten vid division av talet med talet 31.

1. (3p) Bestäm den minsta positiva resten vid division av talet med talet 31. 1 Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 7 juni 2011 kl 08.00-13.00. Examinator: Olof Heden, tel. 0730547891.

Läs mer

Kan det vara möjligt att med endast

Kan 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 mer

Ren Katt. Författare Deepa Balsavar Illustratör Kanchan Bannerjee. Översatt av Bokkok.se

Ren Katt. Författare Deepa Balsavar Illustratör Kanchan Bannerjee. Översatt av Bokkok.se Ren Katt Författare Deepa Balsavar Illustratör Kanchan Bannerjee Översatt av Bokkok.se Det här är mitt hus. Mamma, pappa och Cheena bor också här. 2 Den bästa stolen i huset är till för mig. Men att sitta

Läs mer

and u = och x + y z 2w = 3 (a) Finn alla lösningar till ekvationssystemet

and u = och x + y z 2w = 3 (a) Finn alla lösningar till ekvationssystemet Kursen bedöms med betyg,, 5 eller underkänd, där 5 är högsta betyg. För godkänt betyg krävs minst poäng från uppgifterna -7. Var och en av dessa sju uppgifter kan ge maximalt poäng. För var och en av uppgifterna

Läs mer

BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström

BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström Frågeställningar Kan asylprocessen förstås som en integrationsprocess? Hur fungerar i sådana fall denna process? Skiljer sig asylprocessen

Läs mer

This exam consists of four problems. The maximum sum of points is 20. The marks 3, 4 and 5 require a minimum

This exam consists of four problems. The maximum sum of points is 20. The marks 3, 4 and 5 require a minimum Examiner Linus Carlsson 016-01-07 3 hours In English Exam (TEN) Probability theory and statistical inference MAA137 Aids: Collection of Formulas, Concepts and Tables Pocket calculator This exam consists

Läs mer

Gasstrålning Gas radiation (Participating

Gasstrålning Gas radiation (Participating Gsstrålning Gs rdition (Prticipting medi) Elementär gser (sådn där molekylern är v ett slg) t. ex. H 2 O 2 och hn 2 emitterr prktiskt tget t ingen termisk strålning och är trnsprent (τ = 1) för främmnde

Läs mer

TATA42: Föreläsning 4 Generaliserade integraler

TATA42: 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 mer

denna del en poäng. 1. (Dugga 1.1) och v = (a) Beräkna u (2u 2u v) om u = . (1p) och som är parallell

denna del en poäng. 1. (Dugga 1.1) och v = (a) Beräkna u (2u 2u v) om u = . (1p) och som är parallell Kursen bedöms med betyg, 4, 5 eller underänd, där 5 är högsta betyg. För godänt betyg rävs minst 4 poäng från uppgifterna -7. Var och en av dessa sju uppgifter an ge maximalt poäng. För var och en av uppgifterna

Läs mer

Appendix. De plana triangelsatserna. D c

Appendix. De plana triangelsatserna. D c ppendix e pln tringelstsern Pythgors sts: I en rätvinklig tringel gäller, med figurens etekningr: 2 = 2 + 2 1 2 evis: Vi utnyttjr likformigheten melln tringlrn, oh. v denn får vi, med figurens etekningr:

Läs mer

Stad + Data = Makt. Kart/GIS-dag SamGIS Skåne 6 december 2017

Stad + Data = Makt. Kart/GIS-dag SamGIS Skåne 6 december 2017 Smart@Helsingborg Stadsledningsförvaltningen Digitaliseringsavdelningen the World s most engaged citizens Stad + Data = Makt Kart/GIS-dag SamGIS Skåne 6 december 2017 Photo: Andreas Fernbrant Urbanisering

Läs mer

CHANGE WITH THE BRAIN IN MIND. Frukostseminarium 11 oktober 2018

CHANGE WITH THE BRAIN IN MIND. Frukostseminarium 11 oktober 2018 CHANGE WITH THE BRAIN IN MIND Frukostseminarium 11 oktober 2018 EGNA FÖRÄNDRINGAR ü Fundera på ett par förändringar du drivit eller varit del av ü De som gått bra och det som gått dåligt. Vi pratar om

Läs mer

KVADRATISKA MATRISER, DIAGONALMATRISER, MATRISENS SPÅR, TRIANGULÄRA MATRISER, ENHETSMATRISER, INVERSA MATRISER

KVADRATISKA 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 mer

Bilaga 1. Beskrivning av uppgifterna och provresultaten

Bilaga 1. Beskrivning av uppgifterna och provresultaten Bilg 1. Beskrivning v uppgiftern oh provresultten 1997-00 I det följnde redoviss lydelsen på de olik uppgifter som ingår i testet oh resulttet för de fyr år som testet hittills hr nvänts. Härigenom kn

Läs mer

1 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

1 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 mer

Supplemental Figure S1.

Supplemental Figure S1. A 1 -----------------------------------MASKKMTKSYFDVLGICCTSEVPLIENILNSMDGVKEFSVIVPSRTVIVVHDTLILSQFQIVKALNQAQLEANVRVTG--ETNFK 1 -------------------------MALQNKEEEKKKVKKLQKSYFDVLGICCTSEVPIIENILKSLDGVKEYSVIVPSRTVIVVHDSLLISPFQIAKALNEARLEANVRVNG--ETSFK

Läs mer

Föreläsning 3: Strängmatchning

Fö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 mer

Kurskod: TAMS11 Provkod: TENB 12 June 2014, 14:00-18:00. English Version

Kurskod: TAMS11 Provkod: TENB 12 June 2014, 14:00-18:00. English Version Kurskod: TAMS Provkod: TENB 2 June 204, 4:00-8:00 Exmintor/Exminer: Xingfeng Yng (Tel: 070 2234765). You re permitted to bring: clcultor; formel -och tbellsmling i mtemtisk sttistik (from MAI); TAMS :

Läs mer

Boiler with heatpump / Värmepumpsberedare

Boiler with heatpump / Värmepumpsberedare Boiler with heatpump / Värmepumpsberedare QUICK START GUIDE / SNABBSTART GUIDE More information and instruction videos on our homepage www.indol.se Mer information och instruktionsvideos på vår hemsida

Läs mer

Make a speech. How to make the perfect speech. söndag 6 oktober 13

Make a speech. How to make the perfect speech. söndag 6 oktober 13 Make a speech How to make the perfect speech FOPPA FOPPA Finding FOPPA Finding Organizing FOPPA Finding Organizing Phrasing FOPPA Finding Organizing Phrasing Preparing FOPPA Finding Organizing Phrasing

Läs mer

x 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

x 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 mer

Bilaga 1. Beskrivning av uppgifterna och provresultaten

Bilaga 1. Beskrivning av uppgifterna och provresultaten Bilg 1. Beskrivning v uppgiftern oh provresultten 1997-003 I det följnde redoviss lydelsen på de olik uppgifter som ingår i testet oh resulttet för de fyr år som testet hittills hr nvänts. Härigenom kn

Läs mer

http://marvel.com/games/play/31/create_your_own_superhero http://www.heromachine.com/

http://marvel.com/games/play/31/create_your_own_superhero http://www.heromachine.com/ Name: Year 9 w. 4-7 The leading comic book publisher, Marvel Comics, is starting a new comic, which it hopes will become as popular as its classics Spiderman, Superman and The Incredible Hulk. Your job

Läs mer

Stiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET

Stiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET Stiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET National Swedish parental studies using the same methodology have been performed in 1980, 2000, 2006 and 2011 (current study). In 1980 and 2000 the studies

Läs mer

Integraler. 1 Inledning. 2 Beräkningsmetoder. CTH/GU LABORATION 2 MVE /2013 Matematiska vetenskaper

Integraler. 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 mer

1. Varje bevissteg ska motiveras formellt (informella bevis ger 0 poang)

1. Varje bevissteg ska motiveras formellt (informella bevis ger 0 poang) Tentamen i Programmeringsteori Institutionen for datorteknik Uppsala universitet 1996{08{14 Larare: Parosh A. A., M. Kindahl Plats: Polacksbacken Skrivtid: 9 15 Hjalpmedel: Inga Anvisningar: 1. Varje bevissteg

Läs mer

Studieteknik för universitetet 2. Books in English and annat på svenska

Studieteknik för universitetet 2. Books in English and annat på svenska Studieteknik för universitetet 2 Books in English and annat på svenska Inte bara svenska till engelska Vardagsspråk till akademiskt språk Böcker på engelska. Lektioner, diskussioner och tentor på svenska.

Läs mer

TATA42: Föreläsning 4 Generaliserade integraler

TATA42: 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 mer