Adminstrivia Mathematical Preliminaries Countable Sets Uncountable sets. Why Theory of Computation?
|
|
- Monica Andreasson
- för 8 år sedan
- Visningar:
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
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
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
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.
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 Σ = {,}
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).
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
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
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
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
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
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",
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
============================================================ 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,
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.............................
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
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
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
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,
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
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,
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
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.
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,
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
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
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..,
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
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
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
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
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
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
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
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,
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
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
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,
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,
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
============================================================ 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
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))
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.
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
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
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
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
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
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
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
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
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.
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
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
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
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.
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
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
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
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
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
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
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
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
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:
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
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
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
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
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
Supplemental Figure S1.
A 1 -----------------------------------MASKKMTKSYFDVLGICCTSEVPLIENILNSMDGVKEFSVIVPSRTVIVVHDTLILSQFQIVKALNQAQLEANVRVTG--ETNFK 1 -------------------------MALQNKEEEKKKVKKLQKSYFDVLGICCTSEVPIIENILKSLDGVKEYSVIVPSRTVIVVHDSLLISPFQIAKALNEARLEANVRVNG--ETSFK
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
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 :
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
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
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
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
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
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
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
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
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.
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