Senast. Idag. Strikt evaluering. Icke-strikt evaluering. Vad händer här? Lat evaluering. Testa latheten! Testa latheten!

Storlek: px
Starta visningen från sidan:

Download "Senast. Idag. Strikt evaluering. Icke-strikt evaluering. Vad händer här? Lat evaluering. Testa latheten! Testa latheten!"

Transkript

1 Senst Idg Högre ordningens funktioner Lismfttning Strikthet och lt evluering Strömmr I/O i Hskell Strikt evluering Icke-strikt evluering Def: Strikt evluering innebär tt ll prmetrrs värde är känd när en operr eller funktion nrops. Ex: Funktionsnrop i Jv, C, etc Hur beräkns if jobbigt(7) && tungt(47) then? Vnligen: Mn kortsluter jämförelsen. Implementers för nd och or Vd händer här? int min(int rgc, chr** rgv) { if (hej() hopp()) { printf("du glde\n"); else { printf("nix pix!\n"); int hej() { printf("hej "); return ; Lt evluering Hur beräkns hed [..0]? hed (qsort longlist)? Lt evluering i Hskell: Beräkn br det som behövs Vrje uttrck lgrs som ett löfte om evluering vid behov. int hopp() { printf("hopp "); return ; Test ltheten! Test ltheten! Vd händer med hed (qsort [4,5,4,,2,9])? Instrumenter koden: qsort [] = [] qsort (x : xs) = qsort [(observe e e) e<-xs, e<x] ++ [(observe x x)] ++ qsort [(observe e2 e) e<-xs, e>=x] Hugs> hed (qsort [4, 5, 4, 3,, 2,9]) >>>>>>> Observtions <<<<<< e x Hugs> Ing värden på e2 det uttrcket hr ldrig behövt evluers

2 Plus och minus med lt evluering Vlfri strikthet Nckdelr: Fördelr: Kn slö ner ett progrm (nvänd då explicit strikt evluering!) Kn slös på minne: löftet tr plts Överrsknde för den ovetnde? Kn snbb upp ett progrm Undviker onödig beräkningr. Aumtiskt! Erbjuder smrt uttrckssätt. Operrn ($!). Ersätt f x med f $! x tvingr x tt evluers först. Funktionen seq :: -> b -> b let x = fkn = fkn2 in seq fkn3 x Anpssde funktioner, exv foldl. Strikt dttper, exv dt StrictColor = SRGB!r!g!b lgrr ing löften Strömmr: nvänd lt evluering Vd händer med ones = ( : ones)? Hugs> ones [ tke 0 ones? Hugs> tke 0 ones [,,,,,,,,,] ex = ( : mp ((+) ) ex)? Hugs> tke 0 ex [,2,3,4,5,6,7,8,9,0] Inbggt i Hskell: [..] == ex Mer exempel ex2 = conct (mp (\x -> [x,-x]) ex) Hugs> tke 0 ex2 [,-,2,-2,3,-3,4,-4,5,-5] Hur t frm ll tl-pr? llpirs = [(x, ) x <- [..], <- [x, (x-)..]] Hugs> tke 0 llpirs [(,),(2,2),(2,),(3,3),(3,2),(3,), (4,4),(4,3),(4,2),(4,)] Strömmr: Oändlig lisr Tpexemplet: Fibonccitlen Antg tt fibs är listn v Fibonccitl fibs til fibs til(til fibs) fibs = ::(elementwiseadd fibs (til fibs)) where elementwiseadd = zipwith (+) Hugs> tke 0 fibs [,,2,3,5,8,3,2,34,55] Pseudoslumptl i Hskell Ett sätt tt generer pseudoslumptl: Ström v pseudoslumptl: Måste skicks med överllt. module MinSimulr where import Rndom prng :: Int -> Int -> [Int] prng n seed = rndomrs (0,n-) (mkstdgen seed) Hugs> :lod MinSimulr Hugs> tke 0 (prng 00 47) [37,92,38,24,22,60,2,24,38,6] Hugs> runsimultion strt (prng 00 47) Strömmr i Unix Strömmr och pipes i Unix Antg du snbbt måste rder mång filer: $ rm -r MinHemligMP3 rm: remove write-protected file finl_countdown.mp3? rm: remove write-protected file BestOf80s.zip? rm: remove write-protected file trckslistn85.zip? Två tips:. Använd rm -rf! 2. eller nvänd es $ es rm -r MinHemligMP3 stdin, stdout, stderr är lltid (?) definierde och öppn. God vn tt lltid läs från stdin skriv till stdout, och skriv felmeddelnden till stderr. Str om med < och > $ sort < infilen > utfilen Koppl ihop stdout och stdin med $ ct infilen sort > utfilen

3 $ es Vd gör es? tills mottgnde progrmmet vsluts och strömmen stängs. Minns: $ es rm -r MinHemligMP3 Lthet med hjälp v I/O-buffertr! Knuths lösning Elegnt progrmmering Elegnt specildesignd dtstruktur (prefixträd) Noggrnt kommentert och presentert Kritikern, Doug McIlro, AT&T Bell Lbs: Ver few people cn obtin the virtuoso services of Knuth [] ttck problems such s Bentle s from the ground up. But old Unix hnds knows instinctivel how solve this one in jiff. (McIlro uppfnn pipes i Unix.) Strömmr som prdigm Kräver nån sorts lthet Uttrcksfullt, snggt God ingenjörskonst! Läs från stdin Skriv till stdout Felmeddelnden till stderr Progrmming perls Klssisk rtikelserie i Communictions of the ACM, Jon Bentle. Idé: Låt en stjärn lös ett problem och låt en nnn stjärn kritiser lösningen. 986: Given text file nd n integer k, ou re print the k most common words in the file (nd the number of occurrences) in decresing frequenc. Donld Knuth fick uppdrget. McIlros lösning: strömmr i Unix $ ct MittLitterärVerk.txt tr -cs A-Z-z ˆj # Rdbrtningr tr A-Z -z # Versler blir gemen sort # Sorter orden uniq -c # Sml ihop och räkn sort -rn # Sorter efter ntl hed -n 0 # Vis de först 0 Looking bck ll tht hs occurred me since tht eventful d, I m scrcel ble believe in the relit of m dventures. The were trul so wonderful tht Looking bck ll tht looking bck ll tht Looking bck ll tht looking bck ll tht Problemet med I/O I/O ej funktionellt getchr plockr bort ett tecken från en 885 nån buffert 3 bndon putchr skriver in ett tecken 4 bndoned i en buffert. bndoning Hur åstdkomm I/O utn sideffekter? bbeville 885 Lisp mfl: Fusk! Använd 5834 sidoeffekter. the 3 bndon 3634 of 4 bndoned 2579 bndoning 2323 nd bbeville 2098 i I/O i Hskell Pseudokod: min = printstr("rev: ") printstr(reverse(getline)) I impertivt progrm: Ordning och direkt tillgång till omvärlden. I Hskell: Ordning oklr, ll funktioner hr värden, tillåter ej sidoeffekter.. Lt I/O: Låtss läs in llt i börjn. 2. Mondisk I/O: Kpsl in världen på ett säkert sätt Speciell nottion för I/O.

4 interct: en god Unix-medborgre interct: en god Unix-medborgre interct :: (String -> String) -> IO () import Dt.Chr min = interct (mp Upper) Läs från stdin Skriv till stdout Vd gör dett? module Min where import Dt.List min = interct (conct. sort. lines) interct: en god Unix-medborgre De 0 vnligste orden Vd gör dett? module Min where import Dt.List newline str = str ++ "\n" min = interct (newline. show. length. words) module Min where import Dt.List (sortb, sort, group) import Dt.Chr (Lower) countelems = mp (\x -> (hed x, length x)) sortbsnd = sortb (\x -> snd compre snd x) lower = mp Lower rnkwords = sortbsnd. countelems. group. sort. words. lower formtoutput = unlines. mp (\(str, i) -> str ++ "\t" ++ show i) min = interct (formtoutput. (tke 0). rnkwords) Mondisk I/O Designprincip för I/O i Hskell Särskild nottion som döljer problemen Monder: funktionellt idiom för sekvensiell beroenden tt dölj prmetrr förenkl kod Världen Mondisk IO Din kod Filer getchr mpreprtions Portr getline computeitall stdin/stdout openfile mfilter Grfik redfile iseof m.m. Ansts: Kpsl in världen Till versler igen Vd vi vill h: tpe IO = World -> (, World) IO-tper är hndlingr: Eng: ctions Exempel: getchr :: IO Chr getchr :: World -> (Chr, World) putchr :: Chr -> IO () putchr :: Chr -> World -> ((), World) iseof getline :: IO Bool :: IO String Låtss läs hel filen: module Min where import Dt.Chr min = do { str <- getcontents; putstrln (mp Upper str);

5 Räkn ord igen Lt I/O: räkn ord i fil module Min where min =do { input <- getcontents; ws <- return (length (words input)); putstrln (show ws); module Min where min = do { ih <- openfile "input.txt" RedMode; ws <- return (length (words input)); putstrln(show ws); hclose(ih) Två n operrer i mondisk I/O <- plockr ut ett värde från IO-monden. Kn skicks till ren funktioner utn IO-signtur. return betder sätt in ett värde i IO-monden. return A skpr värde v tpen IO Chr. Viktigt: return vslutr ej ett do-uttrck! Lt I/O: räkn ord i given fil Förenkl koden min = do { ih <- openfile "input.txt" RedMode; ws <- return (length (words input)); putstrln(show ws); hclose(ih) blir min = do { rgs <- getargs; ih <- openfile (hed rgs) RedMode; putstrln (show (length (words input))); hclose(ih); Lt I/O frligt, vrför? module Min where import Sstem.Environment (getargs) min = do { rgs <- getargs; ih <- openfile (hed rgs) RedMode; putstrln(show (length (words input))); hclose(ih); min = do { ih <- openfile "input.txt" RedMode; hclose(ih); putstrln(show (length (words input))); Egen kod i IO-monden: getline Exempel: Räkn rder och tecken getline :: IO [Chr] getline = do { c <- getchr; if c == \n then return [] else do { cs <- getline; return (c : cs) Pketer resulttet med return Indt: Läs från stdin Utdt: Skriv ntlet rder och tecken till stdout module Min where min = do {(nlines, nchrs) <- wc 0 0; putstrln (show nlines ++ "\t" ++ show nchrs)

6 Exempel: Räkn tecken och rder wc :: Int -> Int -> IO (Int, Int) wc nlines nchrs= do flg <- iseof if flg then return (nlines, nchrs) else consumeandcount nlines nchrs consumeandcount :: Int -> Int -> IO (Int, Int) consumeandcount nl nc = do { c <- getchr; if (c == \n ) then wc ( + nl) ( + nc) else wc nl (+nc) Lur Hskell med unsfeperformio Hugs> wc 0 0 hubb ^D Hugs> min hubb ^D 6 Hugs> I terminlen: $ runhugs wc.hs hubb bubb ^D 2 2 $ Test progrmmet Näst gång Ett trick för tt komm runt mondreglern: unsfeperformio :: IO -> Använd inte för F4 eller på tent Pen-Jones: Riktigt obekväm I/O, Once-per-run I/O Debugging: trce :: String -> -> trce s x = unsfeperformio (putstrlns s >> return x) men vi hr ju Hugs.Observe! Mer om monder Korrekthet i progrm

Senast. Idag. Strikt evaluering. Icke-strikt evaluering. Vad händer här? Lat evaluering. Testa latheten! Testa latheten!

Senast. Idag. Strikt evaluering. Icke-strikt evaluering. Vad händer här? Lat evaluering. Testa latheten! Testa latheten! Senst Idg Högre ordningens funktioner Lismfttning Strikthet och lt evluering Strömmr I/O i Hskell Strikt evluering Icke-strikt evluering Def: Strikt evluering innebär tt ll prmetrrs värde är känd när en

Läs mer

Senast. Idag. Icke-strikt evaluering. Strikt evaluering. Testa latheten! Lat evaluering. Plus och minus med lat evaluering. Testa latheten!

Senast. Idag. Icke-strikt evaluering. Strikt evaluering. Testa latheten! Lat evaluering. Plus och minus med lat evaluering. Testa latheten! Senast Idag Högre ordningens funktioner Listomfattning Strikthet och lat evaluering Strömmar Monadisk I/O Strikt evaluering Icke-strikt evaluering Def: Strikt evaluering innebär att alla parametrars värde

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

Sammanfattning. Listor. List-manipulering. Matris. /home/lindahlm/activity-phd/teaching/11dd1310/exercise3/exercise3.py September 13, 20111

Sammanfattning. Listor. List-manipulering. Matris. /home/lindahlm/activity-phd/teaching/11dd1310/exercise3/exercise3.py September 13, 20111 /home/lindahlm/activity-phd/teaching/11dd1310/exercise3/exercise3.py September 13, 20111 0 # coding : latin Sammanfattning Gick igenom listor, dictionary, felhantering, strängjämförelser, split(), rstrip()

Läs mer

Operativsystemets uppgifter. Föreläsning 6 Operativsystem. Skydd, allmänt. Operativsystem, historik

Operativsystemets uppgifter. Föreläsning 6 Operativsystem. Skydd, allmänt. Operativsystem, historik Opertivsystemets uppgifter Föreläsning 6 Opertivsystem Opertivsystemets uppgifter Historik Skydd: in- oh utmtning, minne, CPU Proesser, tidsdelning Sidindelt minne, virtuellt minne Filsystem Opertivsystemet

Läs mer

Integralen. f(x) dx exakt utan man får nöja sig med att beräkna

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

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

Intro. Vad är en monad?

Intro. Vad är en monad? Intro Eftersom Haskell är ett funktionellt språk utan sido effekter så kan man argumentera om IO borde vara möjligt alls, men om vi struntar i det så länge så återstår det fortfarande ett stort problem:

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

Men först: Några funktioner ur preluden. Introduktion till programmering. Uppgiften. Variationer av uppgiften. Föreläsning 4

Men först: Några funktioner ur preluden. Introduktion till programmering. Uppgiften. Variationer av uppgiften. Föreläsning 4 Introduktion till programmering Men först: Några funktioner ur preluden Vad är skillnaden mellan head str och take 1 str? Föreläsning 4 Ett större exempel. head :: [a] -> a take :: Int -> [a] -> [a] tail

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

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

SPEL OM PENGAR FÖR - EN FRÅGA FÖR SKOLAN? VERKTYG, ÖVNINGAR OCH KUNSKAPSBANK FÖR ARBETE MED SPEL OM PENGAR I SKOLAN

SPEL OM PENGAR FÖR - EN FRÅGA FÖR SKOLAN? VERKTYG, ÖVNINGAR OCH KUNSKAPSBANK FÖR ARBETE MED SPEL OM PENGAR I SKOLAN Övningr och verktyg för år 7-9 och gymnsiet SPEL OM PENGAR - EN FRÅGA FÖR SKOLAN? ANPASSAT FÖR BLAND ANNAT SVENSKA, SPEL I KONSTHISTORIEN BILD, MATEMATIK OCH SAMHÄLLSKUNSKAP IILLEGALT SPEL VERKTYG, ÖVNINGAR

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

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

Skapa uppmärksamhet och få fler besökare till din monter!

Skapa uppmärksamhet och få fler besökare till din monter! Skp uppmärksmhet och få fler esökre till din monter! För tt vinn den tuff tävlingen om uppmärksmheten, på en plts där hel rnschen är smld, gäller det tt slå på stor trummn och tl om tt du finns. Till en

Läs mer

awk, sed och grep awk döpt efter Aho Weinberger Kernighan (1977) sed en stream editor grep sed g/re/p bygger i viss mån på ed line editor

awk, sed och grep awk döpt efter Aho Weinberger Kernighan (1977) sed en stream editor grep sed g/re/p bygger i viss mån på ed line editor C&UNIX awk, sed och grep 1 awk, sed och grep awk döpt efter Aho Weinberger Kernighan (1977) sed en stream editor grep sed g/re/p bygger i viss mån på ed line editor C&UNIX ed 2 ed Standard unix editor

Läs mer

Reliability analysis in engineering applications

Reliability analysis in engineering applications Relibility nlysis in engineering pplictions Etremvärdesfördelningr Mimum och minimum Structurl Engineering - Lund University 1 Etremvärdesfördelningr Vrible lod, q Mvärdet under referensperioden Q 1 Q

Läs mer

0 a. a -Â n 2 p n. beskriver på sedvanligt sätt en a-periodisk utvidgning av f. Nedanför ritas en partialsumma av Fourierserien.

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

Analys grundkurs B lab 1. Stefan Gustafsson Per Jönsson Fakulteten för Teknik och Samhälle, 2013

Analys grundkurs B lab 1. Stefan Gustafsson Per Jönsson Fakulteten för Teknik och Samhälle, 2013 Anlys grundkurs B lb 1 Stefn Gustfsson Per Jönsson Fkulteten för Teknik och Smhälle, 13 1 Viktig informtion om lbortionern Lbortionsdelen på kursen i kursen Anlys grundkurs B exminers genom tt mn gör två

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

Gör slag i saken! Frank Bach

Gör slag i saken! Frank Bach Gör slg i sken! Frnk ch På kppseglingsbnn ser mn tävlnde båtr stgvänd lite då och då under kryssrn. En del v båtrn seglr för styrbords hlsr och ndr för bbords. Mn kn undr vem som gör rätt och hur mn kn

Läs mer

INNEHALL. 7 7.1 7.2 7.2.1 7.2.2 7.2.3 7.2.4 7.2.5 7.2.6 7.2.7 7.2.8 t.3

INNEHALL. 7 7.1 7.2 7.2.1 7.2.2 7.2.3 7.2.4 7.2.5 7.2.6 7.2.7 7.2.8 t.3 INNEHALL 7 7.1 7.2 7.2.1 7.2.2 7.2.3 7.2.4 7.2.5 7.2.6 7.2.7 7.2.8 t.3 DATORER Allmänt Digitl dtorer Orgnistion Ordmm Minnesenheten Aritmetisk enheten Styrenheten In/utenheten Avbrott Spräk och proglmm

Läs mer

Så här gör du? Innehåll

Så här gör du? Innehåll hp dvd writer Så här gör du? Innehåll hur vet jg vilket progrm jg sk nvänd? 1 svensk hur kopierr jg en skiv? 2 hur överför jg min nd till en skiv? 4 hur skpr jg en dvd-film? 9 hur redigerr jg en video-dvd-skiv?

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

awk, sed och grep ed kommandon grep Standard unix editor tidig 70-tal program < 8Kbyte awk döpt efter Aho Weinberger Kernighan (1977)

awk, sed och grep ed kommandon grep Standard unix editor tidig 70-tal program < 8Kbyte awk döpt efter Aho Weinberger Kernighan (1977) C&UNIX awk, sed och grep 1 C&UNIX ed 2 ed Standard unix editor awk, sed och grep tidig 70-tal program < 8Kbyte awk döpt efter Aho Weinberger Kernighan (1977) terminal 10 tecken s 1 sed en stream editor

Läs mer

Innovation GAT med guldkant

Innovation GAT med guldkant Innovtion GT med guldknt Med nytänknde och uppfinningsrikedom hr bubbelbdkret nu tgits till en helt ny nivå. tt bdkr ur GTs Innovtion-serie ger dig fler vlmöjligheter, enklre funktioner och mssge utöver

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

Från fotbollsplan till affärsplan. Berättelsen om Newbody

Från fotbollsplan till affärsplan. Berättelsen om Newbody Från fotbollspln till ffärspln Berättelsen om Newbody Vi hjälper skolor och föreningr tt tjän pengr till cuper, träningsläger och skolresor. Genom tt sälj vår populär strumpor och underkläder kn de lätt

Läs mer

Symmetriska komponenter, Enlinjediagram och Kortslutningsberäkningar

Symmetriska komponenter, Enlinjediagram och Kortslutningsberäkningar 0-0-8 F6: Per uit system ymmetris ompoeter, Elijedigrm och Kortslutigsberäigr t i Per uit (pu) beräigr Aväds ot iom elrtei och eletris drivsystem Ager impedser, strömmr och späigr som reltiv mått. viss

Läs mer

Färgsättning. Man kan även trycka i solida färger, då används PMS koden. T ex när man trycker på kläder eller ska brodera logon på tyg.

Färgsättning. Man kan även trycka i solida färger, då används PMS koden. T ex när man trycker på kläder eller ska brodera logon på tyg. Logomnul MAJ 2015 TÄFTEÅ FASTIGHETER MAJ 2015 v 1.0 2 Färgsättning Logotypens färger är en del v den grfisk profilen. Eftersom färger kn återges på olik sätt så är det viktigt tt nvänd rätt färgbeteckningr

Läs mer

Lamellgardin. Nordic Light Luxor INSTALLATION - MANÖVRERING - RENGÖRING

Lamellgardin. Nordic Light Luxor INSTALLATION - MANÖVRERING - RENGÖRING INSTALLATION - MANÖVRERING - RENGÖRING Se till tt lmellgrdinen fästes i ett tillräckligt säkert underlg. Ev motor och styrutrustning skll instllers v behörig elektriker. 1 Montering Luxor monters med de

Läs mer

C100-LED Duschhörn med LED-Belysning

C100-LED Duschhörn med LED-Belysning SVENSKA C100-LE uschhörn med LE-elysning COPYRIGHT CAINEX A ARUMSPROUKTER, LJUNGY, SWEEN MONTERINGSANVISNING Totl höjd: 1900 mm 6 mm härdt gls A 900 800 700 884 784 684 C 900 800 800 884 784 784 39 8 Prod.#

Läs mer

EasyMP Multi PC Projection-bruksanvisning

EasyMP Multi PC Projection-bruksanvisning EsyMP Multi PC Projection-bruksnvisning Innehåll 2 Om EsyMP Multi PC Projection Olik typer v möten med EsyMP Multi PC Projection... 5 Håll möten och nvänd fler bilder...5 Håll fjärrmöten över ett nätverk...

Läs mer

Programmeringsguide ipfg 1.6

Programmeringsguide ipfg 1.6 Progrmmeringsguide ipfg 1.6 Progrmmeringsklr i-ört pprter (CIC, knl, fullonh) Progrmmeringsklr kom-ört pprter CS-44 Phonk-version Progrmmeringsklr miropprter CS-44 Phonk-version 1 2 1 2 1 2 ipfg 1.6 stndrd

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

Föreläsning 4: Filer och strömmar

Föreläsning 4: Filer och strömmar Föreläsning 4: Filer och strömmar PROGRAM OPERATIV- SYSTEM EXTERNA (IO-)ENHETER cout > x; STANDARD INSTRÖM ifstream infil A.TXT infil >> str; INGÅENDE FILSTRÖM

Läs mer

Omkoppling av in- och utmatning. In- och utmatning i Unix. Kommando exempel, ls, pipe forts. Kommando exempel, ls, pipe

Omkoppling av in- och utmatning. In- och utmatning i Unix. Kommando exempel, ls, pipe forts. Kommando exempel, ls, pipe In- och utmatning i Unix Program i Unix skriver och läser till och från filer. En fil betyder här en vanlig fil med text eller binära data, ett tangentbord, en skärm, ett annat program etc. Innan ett program

Läs mer

Omprov 11/11. på förmiddagen.

Omprov 11/11. på förmiddagen. Omprov 11/11 på förmiddagen Vad kommer sedan? Översättning Du har ätit upp Vill du ha godis nu? Nej, tack Jag är mätt Nej, tack Jag är full Översättning Du har ätit upp Vill du ha godis nu? Nej, tack Jag

Läs mer

Introduktion till programmering. Standardfunktioner. Vad används datorer till? Standardfunktioner. Föreläsning 2. Prelude. $ ghci...

Introduktion till programmering. Standardfunktioner. Vad används datorer till? Standardfunktioner. Föreläsning 2. Prelude. $ ghci... Introduktion till programmering Standardfunktioner Tecken och strängar Utskrifter och effekter Föreläsning 2 Prelude Alla fördefinierade funktioner vi använder definieras i modulen Prelude. Denna modul

Läs mer

Introduktion till programmering SMD180. Föreläsning 7: Strängar

Introduktion till programmering SMD180. Föreläsning 7: Strängar Introduktion till programmering Föreläsning 7: Strängar 1 1 En sammansatt datatyp En sträng är ett enhetligt värde, som kan lagras i variabler och fungera som operand eller funktionsargument en datastruktur

Läs mer

Föreläsning 7: Filer

Föreläsning 7: Filer Genomgånget på FÖ: Föreläsning 7: Filer Undantag: Liten mall för undantag ("exceptions") och vad man har det till. Dock inte med betoning på allt, men det väsentliga är upptaget. Filer: P. Open(filvar,

Läs mer

Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk

Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk Föreläsning 2 steknik DD1310 python introduktion Variabler Datatyp Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer funktioner betyder att instruera en dator Ett program

Läs mer

Webbaserad applikation för administrering av investeringar

Webbaserad applikation för administrering av investeringar Webbserd ppliktion för dministrering v investeringr Dtprtner softwre Dtprtner Oy grundt 1987 i Finlnd Progrmvr och tjänster för investeringsbedömning, värdering och finnsiell modellering I Sverige dotterbolget

Läs mer

TATA42: Tips inför tentan

TATA42: Tips inför tentan TATA42: Tips inför tentn John Thim 25 mj 205 Syfte Tnken med dett kort dokument är tt ge lite extr studietips inför tentn. Kursinnehållet definiers så klrt fortfrnde v kursplnen och kurslitterturen så

Läs mer

Strängar. TDDD64 Programmering i Python Föreläsning 4. Peter Dalenius Institutionen för datavetenskap

Strängar. TDDD64 Programmering i Python Föreläsning 4. Peter Dalenius Institutionen för datavetenskap Strängar TDDD64 Programmering i Python Föreläsning 4 Peter Dalenius Institutionen för datavetenskap 2014-09-12 Översikt Grundläggande operationer på strängar Exempel på funktioner som arbetar med strängar

Läs mer

"Referentiell transparens"

Referentiell transparens "Referentiell transparens" Hittills har jag beskrivit körningen av ML-program genom att uttryck ersätts med sina värden: fun fact(0) = 1 fact(n) = n*fact(n-1) fact(3) ~> 3*fact(3-1) ~> 3*fact(2) ~> 3*(2*fact(2-1))

Läs mer

Grafisk Profil. Välkommen in i Korvpojkarnas grafiska värld.

Grafisk Profil. Välkommen in i Korvpojkarnas grafiska värld. Grfisk Profil Du hr fått den här foldern i Din hnd eftersom Du på något sätt hr med vårt vrumärke och dess reproduktion tt gör. Här finns ll informtion Du behöver för tt se vilk vi är smt vilk typsnitt

Läs mer

Dugga Datastrukturer (DAT036)

Dugga Datastrukturer (DAT036) Dugga Datastrukturer (DAT036) Duggans datum: 2012-11-21. Författare: Nils Anders Danielsson. För att en uppgift ska räknas som löst så måste en i princip helt korrekt lösning lämnas in. Enstaka mindre

Läs mer

Del6 Strömmar Ämnesområden denna föreläsning:

Del6 Strömmar Ämnesområden denna föreläsning: 2D1387, Programsystemkonstruktion med C++ 01/02 1 Del6 Strömmar Ämnesområden denna föreläsning: Utmatning till ostream och ostringstream Slide 1 Inmatning från istream och istringstream Överlagring av

Läs mer

Kontinuerliga variabler

Kontinuerliga variabler Kontinuerlig vribler c 005 Eric Järpe Högskoln i Hlmstd Antg tt vi kunde mät med oändligt stor noggrnnhet hur stor strömstyrk en viss typ v motstånd klrr. Ing mätningr skulle då vr exkt lik. Om vi mätte

Läs mer

Datalogi för E Övning 3

Datalogi för E Övning 3 Datalogi för E Övning 3 Mikael Huss hussm@nada.kth.se AlbaNova, Roslagstullsbacken 35 08-790 62 26 Kurshemsida: http://www.csc.kth.se/utbildning/kth/kurser/2d1343/datae06 Dagens program Att skapa egna

Läs mer

Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk

Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk Föreläsning 2 steknik DD1310 Python introduktion Variabler Datatyper Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer betyder att instruera en dator Ett program är

Läs mer

NATIONELLT KURSPROV I MATEMATIK KURS C VÅREN 2005 3. Del I, 10 uppgifter utan miniräknare 4. Del II, 8 uppgifter med miniräknare 6

NATIONELLT KURSPROV I MATEMATIK KURS C VÅREN 2005 3. Del I, 10 uppgifter utan miniräknare 4. Del II, 8 uppgifter med miniräknare 6 Kurs plnering.se NpMC vt005 (5) Innehåll Förord NATIONELLT KURSPROV I MATEMATIK KURS C VÅREN 005 Del I, 0 uppgifter utn miniräknre 4 Del II, 8 uppgifter med miniräknre 6 Förslg på lösningr till uppgifter

Läs mer

Internetförsäljning av graviditetstester

Internetförsäljning av graviditetstester Internetförsäljning v grviditetstester Mrkndskontrollrpport från Enheten för medicinteknik 2010-05-28 Postdress/Postl ddress: P.O. Box 26, SE-751 03 Uppsl, SWEDEN Besöksdress/Visiting ddress: Dg Hmmrskjölds

Läs mer

Mer av livet. Riksten Friluftsstad.

Mer av livet. Riksten Friluftsstad. i n h Mer v livet. Riksten Friluftsst. v i r r 0 e e 20100818 20:34:58 Skön småstskänsl Riksten Friluftsst växer och blir en stsel me skön småstskänsl. Me fler byggherrr och rkitekter kommer en nturlig

Läs mer

Kmerobjektiv oc elokusering Zoomobjektiv Ett kmerobjektiv sk normlt vbil ett objekt som beinner sig på någr meters vstån på en ilm i en krtig örminskning. Det innebär tt okllängen på et objektiv mn sk

Läs mer

E910 E915 FLÄNSMÄTNING. För tillverkare i vindkraftsindustrin SNABB UPPSTART HÖG PRECISION GARANTI

E910 E915 FLÄNSMÄTNING. För tillverkare i vindkraftsindustrin SNABB UPPSTART HÖG PRECISION GARANTI E910 E915 FLÄNSMÄTNING För tillverkre i vindkrftsindustrin 2 UTYGGART SNA UPPSTART 2 HÖG PRECISION 2 2 ÅRS GARANTI ETT VAL MED PRECISION är också ett tryggt vl! LÅNG ERFARENHET Esy-Lser mätsystem är utvecklde

Läs mer

LÖSNINGSFÖRSLAG TENTAMEN PROGRAMMERING I ETT FUNKTIONELLT SPRÅK ML, 5P

LÖSNINGSFÖRSLAG TENTAMEN PROGRAMMERING I ETT FUNKTIONELLT SPRÅK ML, 5P UMEÅ UNIVERSITET Datavetenskap 020321 Betygsgränser 0 19,5 U 20 25,5 3 26 31,5 4 32-40 5 LÖSNINGSFÖRSLAG TENTAMEN 020321 PROGRAMMERING I ETT FUNKTIONELLT SPRÅK ML, 5P Uppgift 1(3+2=5 poäng) I denna uppgift

Läs mer

upp maskinen och kontrollera komponenterna Strömkabel Bärark/ Bärark för plastkort Dvd-skiva

upp maskinen och kontrollera komponenterna Strömkabel Bärark/ Bärark för plastkort Dvd-skiva Snguide Strt här ADS-2100 Läs igenom Produktsäkerhetsguiden innn du ställer in mskinen. Därefter läser du igenom Snguiden så tt du kn ställ in oh instller mskinen på rätt sätt. VARNING VARNING indikerr

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

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

Strängar. Strängar (forts.)

Strängar. Strängar (forts.) Strängar En sträng i C är helt enkelt en array av char: char namn[20]; För att få strängar att bete sig som om de vore av dynamisk längd markeras strängens slut med null-tecknet \0 : J o z e f S w i a

Läs mer

2011 Mercury Marine *8M0060987* 90-8M0060987

2011 Mercury Marine *8M0060987* 90-8M0060987 2011 Mercury Mrine *8M0060987* 90-8M0060987 910 INNEHÅLLSFÖRTECKNING Avsnitt 1 - Komm igång VesselView specifiktioner...2 Översikt...2 Knppstsfunktioner...3 "X" knpp...3 Kontrollknpp...3 Knppsts med pilr...4

Läs mer

MEDIA PRO. Introduktion BYGG DIN EGEN PC

MEDIA PRO. Introduktion BYGG DIN EGEN PC BYGG DIN EGEN PC MEDIA PRO Introduktion Dett är Kjell & Compnys snguide till hur Dtorpketet MEDIA PRO monters. Att ygg en dtor är idg myket enkelt oh kräver ingen tidigre erfrenhet. Det ehövs ing djupgående

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

Bakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1

Bakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1 Algoritmer Lars Larsson VT 2007 Lars Larsson Algoritmer 1 1 2 3 4 5 Lars Larsson Algoritmer 2 Ni som går denna kurs är framtidens projektledare inom mjukvaruutveckling. Som ledare måste ni göra svåra beslut

Läs mer

MERCEDES BENZ BILGRUPPEN I LUND SVENSKT DERBY LÖRDAG 5 JULI 2014 KL. 16.30

MERCEDES BENZ BILGRUPPEN I LUND SVENSKT DERBY LÖRDAG 5 JULI 2014 KL. 16.30 MERCEDES BENZ BILGRUPPEN I LUND SVENSKT DERBY LÖRDAG 5 JULI 2014 KL. 16.30 MERCEDES BENZ BILGRUPPEN I LUND SVENSKT DERBY 5 JULI 2014 SPORT OF KINGS Svenskt Derby hr ridits på Jägersro sedn 1918. Redn

Läs mer

Sfärisk trigonometri

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

SIGNALER OCH SYSTEM II LEKTION 2 / MATEMATISK LEKTION 1. Fredrik Andréasson. Department of Mathematics, KTH

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

Att skriva till och läsa från terminalfönstret

Att skriva till och läsa från terminalfönstret Att skriva till och läsa från terminalfönstret Oftast används grafiska komponenter i Java för att kommunicera med användaren (användargränssnitt), men det finns objekt i standardbiblioteken för de tillfällen

Läs mer

E910 E915 FLÄNSMÄTNING. För tillverkare i vindkraftsindustrin SNABB UPPSTART HÖG PRECISION GARANTI

E910 E915 FLÄNSMÄTNING. För tillverkare i vindkraftsindustrin SNABB UPPSTART HÖG PRECISION GARANTI E910 E915 UTYGGART SNA UPPSTART 2 2 2 2 HÖG PRECISION ÅRS GARANTI FLÄNSMÄTNING För tillverkre i vindkrftsindustrin ETT VAL MED PRECISION är också ett tryggt vl! LÅNG ERFARENHET Esy-Lser mätsystem är utvecklde

Läs mer

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

Björnen och sköldpaddan Analys av en matematiskt paradoks

Björnen och sköldpaddan Analys av en matematiskt paradoks Björnen och sköldpddn Anlys v en mtemtiskt prdoks Brummelis, Nin Knin, Lille Skutt & Bmse Hndledre: Sklmn 10 pril 2015 Smmnfttning Syftet med denn (nonsens-)text är tt illustrer olik kommndon i LATEX.

Läs mer

Ordlistor, filhantering och ut på webben. Linda Mannila 20.11.2007

Ordlistor, filhantering och ut på webben. Linda Mannila 20.11.2007 Ordlistor, filhantering och ut på webben Linda Mannila 20.11.2007 Vad kan vi nu? Primitiva datatyper Tal, strängar, booleska värden Samlingsdatatyp Listan Utskrift Indata Felhantering Funktioner och moduler

Läs mer

UPPTÄCK OCH DEFINIERA SAMBANDET MELLAN TVÅ OMRÅDEN SOM DELAS AV GRAFEN TILL EN POTENSFUNKTION

UPPTÄCK OCH DEFINIERA SAMBANDET MELLAN TVÅ OMRÅDEN SOM DELAS AV GRAFEN TILL EN POTENSFUNKTION OLIVI KVRNLÖ UPPTÄCK OCH DEINIER SMNDET MELLN TVÅ OMRÅDEN SOM DELS V GREN TILL EN POTENSUNKTION Konsultudrg rågeställning I den här ugiften sk vi undersök smbndet melln reorn i en kvdrt med sidn l.e. i

Läs mer

Föreläsning 2 Programmeringsteknik och C DD1316

Föreläsning 2 Programmeringsteknik och C DD1316 Föreläsning 2 Programmeringsteknik och C DD1316 Föreläsning 2 Programmeringsteknik och C Datatyp Aritmetiska operatorer Omvandling av typer Reserverade ord Mikael Djurfeldt Logiska operatorer

Läs mer

I kapitel 15 gör Hudak för reaktiva animeringar detsamma som han i kapitel 13 gör för animeringar. Resultatet är en module Fal.

I kapitel 15 gör Hudak för reaktiva animeringar detsamma som han i kapitel 13 gör för animeringar. Resultatet är en module Fal. Föreläsning 9. Hudak avsnitt 15.1, kapitel 14 2D1370 Funktionell programmering v19 tisdag Programmering av reaktiv animering. Vad går kapitel 15 ut på? I kapitel 15 gör Hudak för reaktiva animeringar detsamma

Läs mer

BLÖTA BOKEN MONTERINGSANVISNING PALLADIUM DE LUXE PLUS VIKDÖRR I NISCH VIKTIG INFORMATION. LÄS DETTA INNAN MONTERINGEN PÅBÖRJAS.

BLÖTA BOKEN MONTERINGSANVISNING PALLADIUM DE LUXE PLUS VIKDÖRR I NISCH VIKTIG INFORMATION. LÄS DETTA INNAN MONTERINGEN PÅBÖRJAS. MONTERINGSANVISNING BLÖTA BOKEN PALLADIUM DE LUXE PLUS VIKDÖRR I NISCH VIKTIG INFORMATION. LÄS DETTA INNAN MONTERINGEN PÅBÖRJAS. 1. Läs igenom hel nvisningen innn monteringen påbörjs. 2. Kontroller produkten

Läs mer

Byt till den tjocka linsen och bestäm dess brännvidd.

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

s mobile Gigaset SL100 /150 colour Issued by Information and Communication mobile Haidenauplatz 1 D-81667 Munich

s mobile Gigaset SL100 /150 colour Issued by Information and Communication mobile Haidenauplatz 1 D-81667 Munich BA SL100/150 colour 01.04.2004 16:04 Uhr Seite 1 s mobile Issued by Informtion nd Communiction mobile Hidenupltz 1 D-81667 Munich Siemens AG 2004 All rights reserved. Subject to vilbility. Rights of modifiction

Läs mer

9. Bestämda integraler

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

Signalflödesmodellen. Två (gamla) exempel: Kvadratera alla jämna löv.

Signalflödesmodellen. Två (gamla) exempel: Kvadratera alla jämna löv. Strömmar (streams) De sista dagarna objekt med tillstånd modellerades som beräkningsobjekt med tillstånd. Isådana modeller är tiden modelerad (implicit) som en sekvens av tillstånd. För att kunna modellera

Läs mer

Språkkonventioner och redigering av tal.

Språkkonventioner och redigering av tal. Språkkonventioner och redigering av tal. Kap J3-1 Konventioner för olika språk hanteras med hjälp av klassen java.util.locale Ett objekt i denna klass beskriver en lokal konvention. Lokala konventioner

Läs mer

Textbearbetning i skalet och man-sidor

Textbearbetning i skalet och man-sidor Kapitel 5 Textbearbetning i skalet och man-sidor Vi har redan använt skalkommandon för att göra saker textfiler. Här kommer gomgång av sådana kommandon som vi redan använt, några nya varianter, samt ett

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

Reklamplatser som drar till sig uppmärksamhet och besökare till din monter på Fotomässan.

Reklamplatser som drar till sig uppmärksamhet och besökare till din monter på Fotomässan. PLTS ÖR EVENT LOO Reklmpltser som drr till sig uppmärksmhet och esökre till din monter på otomässn. Älvsjö 20 INORMTION Specifiktion för grfiskt mteril rfisk enheten ehöver h tryckfärdig originl senst

Läs mer

> VD har ordet: Frösunda satsar på anhörigfrågorna > Frösunda främjar kvinnors företagande i Indien > 5 frågor: Sofia Hägg-Jegebäck

> VD har ordet: Frösunda satsar på anhörigfrågorna > Frösunda främjar kvinnors företagande i Indien > 5 frågor: Sofia Hägg-Jegebäck > VD r ordet: Frösund stsr på nörigfrågorn > Frösund främjr kvinnors företgnde i Indien > 5 frågor: Sofi Hägg-Jegebäck APRIL 2015 Nyetsbld med ktuell informtion till dig som rbetr i Frösund. VD HAR ORDET

Läs mer

Matematisk statistik för B, K, N, BME och Kemister. Matematisk statistik slumpens matematik. Exempel: Utsläpp från Källby reningsverk.

Matematisk statistik för B, K, N, BME och Kemister. Matematisk statistik slumpens matematik. Exempel: Utsläpp från Källby reningsverk. Mtemtisk sttistik för B, K, N, BME och Kemister Föreläsning 1 John Lindström 1 september 2014 John Lindström - johnl@mths.lth.se FMS086/MASB02 F1 2/26 Exempel Tillämpningr Signlbehndling Mtemtisk sttistik

Läs mer

Generaliserade integraler

Generaliserade integraler Generliserde integrler Mtemtik Breddning 2.5 Frm till denn punkt hr vi endst studert integrler där funktionen som skll integrers vrit begränsd. Dessutom hr det intervll över vilket vi integrerr vrit begränst

Läs mer

Programmeringsteknik med C och Matlab

Programmeringsteknik med C och Matlab Programmeringsteknik med C och Matlab Kapitel 6: Filhantering Henrik Björklund Umeå universitet 13 oktober 2009 Björklund (UmU) Programmeringsteknik 13 oktober 2009 1 / 22 Textfiler Filer är sekvenser

Läs mer

MER MASSAGE - MINDRE LJUD

MER MASSAGE - MINDRE LJUD MR MSSG - MINR LJU Nytt unikt bottensystem med vttenmssge Nytt unikt system - dkr med ljusterpi System sic, ett något enklre mssgesystem Nytt system i xclusive serien Revolutionernde tyst mssge ger en

Läs mer

Kylfrysguide [Namn] Elektroskandia Sverige AB [år-månad-dag]

Kylfrysguide [Namn] Elektroskandia Sverige AB [år-månad-dag] Kylfrysguide [Nmn] Elektroskndi Sverige AB [år-månd-dg] Kylfrysguide Vilken kyl-frys sk du välj? Nturligtvis är det utrymmet som är det först tt t hänsyn till. Vnligst instlltionsbredd är 60 cm, men även

Läs mer

Deklarera en struct som kan användas för att representera en rät linje

Deklarera en struct som kan användas för att representera en rät linje Deklarera en struct som kan användas för att representera en rät linje Använd den I main för att deklarera en variabel som du initierar så att den representerar en linje som går genom punken (0,2) och

Läs mer

ITK:P1 Föreläsning 1. Programmering. Programmeringsspråket Java. Stark typning Explicit typning Strukturerat Hög säkerhet

ITK:P1 Föreläsning 1. Programmering. Programmeringsspråket Java. Stark typning Explicit typning Strukturerat Hög säkerhet ITK:P1 Föreläsning 1 Att programmera i språket Java DSV Peter Mozelius Programmering Olika typer av programmering som t ex: o Imperativ programmering (C, Pascal m fl) o Funktionell programmering (Lisp,

Läs mer

13.9.2006 Dnr 6/002/2006. Till pensionsstiftelser som bedriver tilläggspensionsskydd och är underställda lagen om pensionsstiftelser

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

Funktioner. Linda Mannila

Funktioner. Linda Mannila Funktioner Linda Mannila 13.11.2007 Vad kan vi nu? Primitiva datatyper Tal, strängar, booleska värden Samlingsdatatyp Listan Utskrift Indata Felhantering Intro till funktioner och moduler Villkorssatsen

Läs mer

Reklamplatser som drar till sig uppmärksamhet och besökare till din monter på Nordbygg.

Reklamplatser som drar till sig uppmärksamhet och besökare till din monter på Nordbygg. Reklmpltser som drr till sig uppmärksmhet och esökre till din monter på Nordygg. Älvsjö 20 INORMATION Är du intresserd v eller vill ok reklmpltser så kontkt: Susnne Rip, säljre, tel 0-9 3, susnne.rip@stockholmsmssn.se

Läs mer

VECKANS LILLA POSTKODVINST á 1.000 kronor Inom nedanstående postkoder vinner följande 172 lottnummer 1.000 kronor vardera:

VECKANS LILLA POSTKODVINST á 1.000 kronor Inom nedanstående postkoder vinner följande 172 lottnummer 1.000 kronor vardera: Dragningsresultat vecka 12-2015 Här nedan kan du se om du är en av de lyckliga vinnarna i veckans utlottning i Svenska PostkodLotteriet. När du har vunnit betalar vi automatiskt ut dina vinstpengar till

Läs mer