Regularitet og Automater

Størrelse: px
Starte visningen fra side:

Download "Regularitet og Automater"

Transkript

1 Plan dregaut 2007 Regularitet og Automater Hvad er Regularitet og Automater? Praktiske oplysninger om kurset Ugens emner Introduktion til ugens opgaver 2 Regularitet og Automater Formål med kurset: at præsentere matematiske teknikker og centrale begreber, der anvendes i datalogi rekursive definitioner, induktionsbeviser formelle sprog modeller for beregnelighed regularitet ( egenskaber som generelt kendetegner beregningsprocesser i it-systemer med begrænset mange tilstande ) fundament for andre kurser Logik og Beregnelighed, Oversættelse, Sprog og Semantik, Søgning og Optimering,... Tekstgenkendelse Specificere og genkende tekststrenge søgning i tekster (Unix grep) leksikalsk analyse i oversættere (flex) HTML input validering (PowerForms)... Konkret anvendelse af regulære udtryk og endelige automater 3 4

2 HTML formularer HTML formularer indeholder input-felter, hvor brugeren kan indtaste tekststrenge Eks.: datoer telefonnumre CPR-numre adresser URL er... 5 HTML input validering Brugeren må ikke indtaste ugyldige strenge Den traditionelle løsning: Programmer input validering i JavaScript (til browseren så input valideres løbende mens formularen udfyldes), og Java (til serveren for det tilfælde at browseren ikke udfører JavaScript-koden) Problemer: det er svært at programmere JavaScript, der virker på alle (nyere) browsere vi skal skrive den samme kode i to forskellige sprog store dele af koden skal skrives igen og igen... 6 Den datalogiske løsning Regulære udtryk 1. Analysér problemområdet 2. Design et domæne-specifikt højniveau sprog 3. Lav en oversætter, der genererer JavaScript- og Java-koden fra højniveau specifikationer Sproget PowerForms er udviklet efter denne metode input-felter beskrives med regulære udtryk, der oversættes til endelige automater 7 Et alfabet er en endelig mængde af tegn En streng er en endelig sekvens af tegn fra alfabetet Et sprog er en mængde af strenge Et regulært udtryk beskriver et sprog: Ø den tomme mængde af strenge Λ mængden bestående af den tomme streng a Σ mængden bestående af en enkelt streng, som er det ene tegn a fra alfabetet Σ r 1 +r 2 de strenge der beskrives af r 1 eller r 2 r 1 r 2 de strenge der kan opdeles i to dele, så venstre del beskrives af r 1 og højre del af r 2 r* de strenge der kan opdeles i et antal dele, der hver beskrives af r 8

3 Eksempler på regulære udtryk Et mere realistisk eksempel Gyldige datoer, telefonnumre, CPR-numre, adresser, URL er,... Strenge over alfabetet Σ={0,1} af lige længde: ( )* eller: ((0+1)(0+1))* Strenge over alfabetet Σ={0,1} med ulige antal 1 er: 0*10*(10*10*)* eller: 0*1(0*10*1)*0* eller:... 9 Floating-point tal (i Pascal): alfabet: Σ={0,1,2,3,4,5,6,7,8,9,+,-,.,E} eksempler på gyldige strenge: E forkortelser: d d + d*d s Λ+++- samlet udtryk: sd + (.d + +.d + Esd + + Esd + ) 10 Genkendelse af strenge Endelige automater Givet et regulært udtryk r og en streng x, hvordan undersøger vi om x matcher r? Den naive løsning: Vi prøver os frem, afhængigt af strukturen af r Ø matcher intet Λ matcher kun den tomme streng a Σ matcher kun strengen a r 1 +r 2 matcher x hvis r 1 eller r 2 matcher x r 1 r 2 opdel x så x=x 1 x 2 på alle mulige måder, check om der eksisterer en opdeling så r 1 matcher x 1 og r 2 matcher x 2 r* opdel x så x=x 1 x 2...x n på alle mulige måder, check om der eksisterer en opdeling så r matcher x i for alle i=1...n Det virker! men er håbløst ineffektivt En endelig automat, der genkender strenge over alfabetet Σ={0,1} med ulige antal 1 er: Automaten læser strengen ét tegn ad gangen, fra venstre mod højre Hver tilstand repræsenterer en viden om den læste delstreng Hvis automaten ender i en accept-tilstand, så accepteres(=genkendes) strengen 12

4 Kleenes sætning Regulære udtryk og endelige automater har samme udtrykskraft Konstruktive beviser: ethvert regulært udtryk kan oversættes til en ækvivalent endelig automat enhver endelig automat kan oversættes til et ækvivalent regulært udtryk PowerForms eksempel Lad R være et regulært udtryk, der svarer til gyldige datoer på form dd/mm-åååå Oversæt R til en ækvivalent endelig automat F Repræsenter F som et JavaScript-program, der kan svare på om en streng x er accepteret ikke accepteret, men der er en sti til accept ikke accepteret og ingen sti til accept PowerForms eksempel 29/02 29/ Endelige automater til modellering af systemer Endelige automater er også nyttige uden regulære udtryk Endelige automater kan modellere systemer og egenskaber De teoretiske resultater om endelige automater kan bruges til at kombinere modeller og verificere om et givet system har en given egenskab 15 16

5 Verifikation Beregnelighed En endelig automat, der modellerer en togsimulator (fra VisualSTATE): Input PROGRAM Output 1421 del-automater transitioner 2981 inputs 2667 outputs 3204 lokale tilstande ialt antal tilstande: Input og Output er strenge PROGRAM er en algoritme, der kører på en maskine Eks.: Givet et naturligt tal N som input, maskinen beregner N 2 som output Virker toget? Beslutningsproblemer Beslutningsproblemer og sprog Ethvert beslutningsproblem P er et sprog: L = { de strenge x, hvor svaret på P er ja } Input PROGRAM ja/nej Hvis vi ignorerer effektivitet, så kan ethvert beregningsproblem omformuleres som et beslutningsproblem Eks.: Givet to naturlige tal N og M som input, maskinen svarer ja hvis og kun hvis M=N 2 Ethvert sprog L er et beslutningsproblem: P: er input x i L? 19 20

6 Eksempler på beslutningsproblemer Givet en streng, er den en gyldig dato på form dd/mm-åååå? er den et syntaktisk korrekt Java program? er den et primtal? er den en konfiguration i skak hvor det er muligt for hvid at vinde? er den et semantisk korrekt Java-program? er den en syntaktisk korrekt sætning i dansk? er den en litterær klassiker? Endelige automater som model for beregnelighed Vi vil studere følgende emne: Hvilke problemer kan afgøres af en maskine med endeligt meget hukommelse? Med andre ord: Hvilke sprog kan genkendes af endelige automater? vi vil kun se på formelle sprog og veldefinerede problemer Mere generelle modeller for beregnelighed Klasser af formelle sprog Turing-maskiner: endelige automater med adgang til en uendeligt stor notesblok kan udføre vilkårlige algoritmer (Church-Turing-tesen) svarer til uindskrænkede grammatikker (hvor endelige automater svarer til regulære grammatikker) Pushdown-automater: endelige automater med adgang til en vilkårligt stor stak (last-in-first-out) anvendes ofte i parsere i oversættere svarer til kontekstfri grammatikker klassen af alle sprog (over et givet alfabet) de regulære sprog de endelige sprog de rekursivt numerable sprog (svarer til Turing-maskiner) de kontekstfri sprog 23 24

7 Hvorfor nøjes med endelige automater? Klassen af regulære sprog har mange pæne egenskaber: afgørlighed (f.eks, givet en FA M, accepterer den nogen strenge overhovedet? ) lukkethed (snit, forening,...) Til sammenligning: Ved Turing-maskiner er næsten alt uafgørligt (Rices sætning: alt interessant vedrørende sproget for en Turing-maskine er uafgørligt ) Pushdown-automater / kontekstfri grammatikker: en mellemting, både med udtrykskraft og afgørlighedsegenskaber Uafgørlighed Her er et lille program: while (x 1) { if (even(x)) x = x/2; else x = 3*x+1; } Terminerer programmet for alle input x>0? Ja eller nej? Tilsyneladende ja, men ingen har endnu bevist det! Men vi kan bevise, at der ikke findes et program (=en Turing-maskine), der kan afgøre det generelle problem givet et program P, terminerer P på alle input? Plan Hvad er Regularitet og Automater? Praktiske oplysninger om kurset Ugens emner Introduktion til ugens opgaver Praktiske oplysninger om kurset Kursushjemmeside Forelæsninger Anders Møller tirsdage 11-14, uge (påskeferie uge 15) Studiecafé torsdage Holdøvelser 2 timer pr. uge, mandag torsdag (i den følgende uge) 27 28

8 Hold og instruktorer Materiale Hold 1: mandag 16-18, Johnni Hold 2: torsdag 9-11, Brian Hold DA2: mandag onsdag 8-10, Sigurd Hold DA3: tirsdag 9-11, Kasper Hold DA4: mandag 12-14, Brian John Martin Introduction to Languages and the Theory of Computation 3. udgave, McGraw-Hill, 2002 ISBN: eller opgaver på ugesedlerne Aktivitet 3 timers forelæsning 2 timers studiecafé 2 timers holdøvelser 8 timers hjemmearbejde! ialt: 15 timer pr. uge Der forventes, at man læser de angivne kapitler i bogen løser opgaverne (brug instruktorerne!) Opgaver Teoretiske opgaver udfordrer forståelsen af det gennemgåede materiale øvelse i typisk datalogisk matematik Programmeringsprojekt (dregaut Java-pakken) implementation af de gennemgåede algoritmer, der udledes af konstruktive beviser supplement til teoretiske opgaver øvelse i Java-programmering 31 32

9 Afleveringsopgaver Hver uge vil der blive stillet en obligatorisk afleveringsopgave Tidsfrist aftales med instruktor Disse opgaver er simple check -opgaver Plan for kurset Uge 14: Introduktion, Regulære udtryk Uge 16: Endelige automater Uge 17: Nondeterminisme Uge 18: Minimering af automater Uge 19: Lukketheds- og afgørlighedsegenskaber Uge 20: Kontekstfri grammatikker Uge 21: Introduktion til Turing-maskiner, Afslutning Eksamen Mundtlig, ekstern censur, 13-skalaen 20 min. per person, uden forberedelsestid For at kunne indstilles til eksamen skal man have godkendt besvarelser af de obligatoriske opgaver Eksamen Formålet med kurset at den studerende skal opnå følgende kompetencer: referere den basale terminologi (strenge, sprog, klasser af sprog, samt basale operationer på disse) beskrive basale abstrakte sprogformalismer (regulære udtryk, endelige automater, regulære grammatikker, kontekstfri grammatikker) - fra intuitivt niveau og konkrete eksempler til formel notation og generelle definitioner beskrive egenskaber ved formalismerne, bl.a. ækvivalens, begrænsninger og beslutningsprocedurer forklare og udføre algoritmer, der oversætter mellem formalismerne eller afgør beslutningsproblemer - fra konkrete eksempler til generelle og formelle beskrivelser bevise og analysere egenskaber ved formalismerne (ved hjælp af konstruktive beviser og induktionsbeviser) - fra intuitivt niveau til formelle detaljer. 35 Eksamen vil vurdere i hvor høj grad den studerende besidder disse kompetencer 36

10 Plan Hvad er Regularitet og Automater? Praktiske oplysninger om kurset Ugens emner Introduktion til ugens opgaver Ugens emner Regulære udtryk [Martin, kap. 1.5, 3.1] specifikation og genkendelse af tekststrenge strenge, sprog, rekursive definitioner, induktionsbeviser regulære udtryk, regulære sprog Java: dregaut.regexp klassen Alfabeter, strenge og sprog Et alfabet Σ er en endelig mængde (af tegn/symboler) eks.: Σ={a,b,c} En streng x er en endelig sekvens af tegn fra alfabetet eks.: x=abba Λ repræsenterer den tomme streng (strengen af længde 0), Λ Σ Et sprog L er en (vilkårlig) mængde af strenge eks.: L={Λ,cab,abba} Σ* er mængden af alle strenge over Σ dvs. L Σ* hvis L er et sprog over Σ eks.: hvis Σ={a,b,c} så er Σ*={Λ,a,b,c,aa,ab,ac,aaa,aab,...} Konkatenering af strenge Hvis x,y Σ*, så er x y (konkateneringen af x og y) den streng, der fremkommer ved at sætte tegnene i x før tegnene i y Eks.: hvis x=abb og y=a, så er x y=abba y x=aabb Bemærk: x Λ=Λ x=x for alle x x y skrives ofte xy (uden ) 39 40

11 Konkatenering af sprog Hvis L 1,L 2 Σ*, så er L 1 L 2 (konkateneringen af L 1 og L 2 ) defineret ved L 1 L 2 = {x y x L 1 y L 2 } Eks.: Hvis Σ={0,1,2,a,b,c} og L 1 ={Λ,10,212} L 2 ={cab,abba} så er L 1 L 2 ={cab,10cab,212cab,abba,10abba,212abba} Bemærk: L {Λ} = {Λ} L = L for alle L L Ø = Ø L = Ø for alle L Kleene stjerne L k = LL L konkatenering af k forekomster af L L 0 = {Λ} L* = U i=0... L i (Kleene stjerne af L) L + = L*L L 1 L 2 skrives ofte L 1 L 2 (uden ) Rekursive definitioner En definition er rekursiv, hvis den refererer til sig selv Eks.: Fibonacci f: ΙΝ ΙΝ 1 hvis n=0 eller n=1 f(n) = f(n-1)+f(n-2) ellers Enhver selv-reference skal referere til noget mindre og føre til endeligt mange selvreferencer En rekursiv definition af strenge x er en streng over alfabetet Σ, dvs. x Σ*, hvis x = Λ, eller x = y a hvor y Σ* og a Σ (underforstået: Σ* er den mindste mængde, der opfylder dette) Eksempel: abc = (((Λ a) b) c) Σ* (hvor Σ={a,b,c,d}) 43 44

12 Syntaks af regulære udtryk Mængden R af regulære udtryk over Σ er den mindste mængde, der indeholder følgende: Ø Λ a for hver a Σ (r 1 +r 2 ) hvor r 1,r 2 R (r 1 r 2 ) hvor r 1,r 2 R (r*) hvor r R Semantik af regulære udtryk Sproget L(r) af et regulært udtryk r defineres i strukturen af r: L(Ø) = Ø L(Λ) = {Λ} L(a) = {a} L( (r 1 +r 2 ) ) = L(r 1 ) L(r 2 ) L( (r 1 r 2 ) ) = L(r 1 )L(r 2 ) L( (r*) ) = (L(r))* Regulære sprog Definition: Et sprog S er regulært hvis og kun hvis der eksisterer et regulært udtryk r hvor L(r)=S Parenteser i regulære udtryk Forening og konkatenering er associative, så vi vælger at tillade f.eks. at(a+(b+c)) kan skrives a+b+c at(a(bc)) kan skrives abc Vi definerer præcedens for operatorerne: * binder stærkest konkatenering binder middel + binder svagest eks.: (a+((b*)c)) kan skrives a+b*c 47 48

13 Eksempel Betragt følgende regulære udtryk r over alfabetet {0,1}: r = (1+Λ)001 På grund af parentesreglerne er dette det samme som r = ((((1+Λ)0)0)1) Så sproget for r er L(r) = ((({1} {Λ}){0}){0}){1}) = {1001,001} Quiz! 1. Hvad betyder {a,bc}*? 2. Hvad er betingelsen for at et sprog S er regulært? Reverse-operatoren Givet en streng x Σ*, definer reverse(x) i strukturen af x: reverse(λ) = Λ reverse(ya) = a(reverse(y)) hvor y Σ*, a Σ Eksempel: reverse(123) =... = 321 Reverse på sprog Givet et sprog L Σ*, definer Reverse(L) = { reverse(x) x L } Eksempel: Hvis L={Λ,123,abc} så er Reverse(L)={Λ,321,cba} 51 52

14 Rekursive definitioner og induktionsbeviser Rekursive definitioner giver ofte anledning til induktionsbeviser Hvis vi skal bevise noget på form for alle X gælder P(X), hvor mængden af X er er defineret rekursivt, så kan vi prøve bevisteknikken induktion i strukturen af X Et induktionsbevis Påstand: Hvis S er et regulært sprog, så er Reverse(S) også regulært (dvs. de regulære sprog er lukkede under Reverse) Bevis: S er regulært, så der eksisterer et regulært udtryk r så L(r)=S Vi vil vise ved induktion i strukturen af r, at der eksisterer et regulært udtryk r hvor L(r )=Reverse(L(r)), hvilket medfører, at Reverse(S) er regulært Basis Induktionsskridt r = Ø: vælg r = Ø L(r ) = Ø = Reverse(Ø) = Reverse(L(r)) r = Λ: vælg r = Λ... r = a hvor a Σ: vælg r = a For alle deludtryk s af r kan vi udnytte induktionshypotesen: der eksisterer et regulært udtryk s hvor L(s )=Reverse(L(s)) r = r 1 +r 2 hvor r 1,r 2 R : vælg r = r 1 +r 2 hvor r 1 og r 2 er givet af i.h.... r = r 1 r 2 hvor r 1,r 2 R : vælg r = r 2 r 1... r = r 1 * hvor r 1 R : vælg r = (r 1 )*... Lemma 1: x,y Σ*: reverse(xy)= reverse(y)reverse(x) bevis: induktion i strukturen (eller længden) af y Lemma 2: i 0,E Σ*: Reverse(E i ) = (Reverse(E)) i bevis: induktion i i 56

15 Konstruktive beviser Bemærk at dette induktionsbevis indeholder en algoritme til givet et regulært udtryk for S at konstruere et regulært udtryk for Reverse(S) Sådanne beviser kaldes konstruktive Husk altid både konstruktionen og beviset for dens korrekthed Input: et regulært udtryk r Algoritme Definer en rekursiv funktion REV ved: REV(Ø) = Ø REV(Λ) = Λ REV(a) = a, hvor a Σ REV(r 1 +r 2 ) = REV(r 1 ) + REV(r 2 ) REV(r 1 r 2 ) = REV(r 2 ) REV(r 1 ) REV(r 1 *) = (REV(r 1 ))* Output: det regulære udtryk REV(r) dregaut.regexp Java-repræsentation af regulære udtryk Speciel syntax: # betyder Ø % betyder Λ Resume Alfabeter, strenge, sprog Regulære udtryk og regulære sprog Rekursive definitioner, induktionsbeviser, konstruktive beviser Java: dregaut.regexp klassen Alfabetet angives som en mængde af Unicode tegn 59 60

16 Opgaver [Martin]: Læs, forstå og konstruer regulære udtryk Ekstraopgaver: Regulære udtryk for URL er og -adresser Java: Ingen programmering før næste uge (kig evt. på javadoc-dokumentationen af hør mere om dregaut-pakken) induktionsbeviser Ugens finurlige opgave: til STUDIECAFÉ Vis ved strukturel induktion i regulære udtryk at klassen af regulære sprog er lukket under Prefix Afleveringsopgave: Bevis at enhver streng i sproget af det regulære udtryk ((a+λ)cbc)* har et lige antal c er 61

Seminar 1 Regularitet og Automater 28/1-2012

Seminar 1 Regularitet og Automater 28/1-2012 Seminar 1 Regularitet og Automater 28/1-2012 Jesper Gulmann Henriksen jgh@wincubate.net Agenda Introduktion Hvad er Regularitet og Automater? Praktiske Oplysninger om Kurset Regulære Udtryk + Øvelser Induktion

Læs mere

En karakteristik af de regulære sprog. Ugens emner. FA minimering [5.1-5.2] MyHill-Nerode-sætningen en algoritme til minimering af FA er

En karakteristik af de regulære sprog. Ugens emner. FA minimering [5.1-5.2] MyHill-Nerode-sætningen en algoritme til minimering af FA er Ugens emner FA minimering [.-.] MyHill-Nerode-sætningen en algoritme til minimering af FA er En karakteristik af de regulære sprog Et sprog L er regulært hvis og kun hvis L beskrives af et regulært udtryk

Læs mere

Matematisk induktion

Matematisk induktion Induktionsbeviser MT01.0.07 1 1 Induktionsbeviser Matematisk induktion Sætninger der udtaler sig om hvad der gælder for alle naturlige tal n N, kan undertiden bevises ved matematisk induktion. Idéen bag

Læs mere

Dynamisk programmering

Dynamisk programmering Dynamisk programmering Dynamisk programmering Et algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Har en hvis lighed med divide-and-conquer: Begge opbygger løsninger til større problemer

Læs mere

Programmering 2. dprog2 E2012. http://www.cs.au.dk/dprog2/

Programmering 2. dprog2 E2012. http://www.cs.au.dk/dprog2/ Programmering 2 dprog2 E2012 http://www.cs.au.dk/dprog2/ Læringsmål Deltagerne skal ved afslutningen af kurset kunne: forklare og anvende både basale og videregående elementer af et moderne programmeringssprog,

Læs mere

01017 Diskret Matematik E12 Alle bokse fra logikdelens slides

01017 Diskret Matematik E12 Alle bokse fra logikdelens slides 01017 Diskret Matematik E12 Alle bokse fra logikdelens slides Thomas Bolander 1 Udsagnslogik 1.1 Formler og sandhedstildelinger symbol står for ikke eller og ( A And) hvis... så... hvis og kun hvis...

Læs mere

Programmering, algoritmik og matematik en nødvendig sammenblanding?

Programmering, algoritmik og matematik en nødvendig sammenblanding? Programmering, algoritmik og matematik en nødvendig sammenblanding? Oplæg til IDA møde, 29. november 2004 Martin Zachariasen DIKU 1 Egen baggrund B.Sc. i datalogi 1989; Kandidat i datalogi 1995; Ph.D.

Læs mere

Introduktion Til Konkurrenceprogrammering

Introduktion Til Konkurrenceprogrammering Introduktion Til Konkurrenceprogrammering Søren Dahlgaard og Mathias Bæk Tejs Knudsen {soerend,knudsen}@di.ku.dk Version 0.1 Indhold Indhold i Introduktion 1 1 Palindromer 3 1.1 Introduktion til Python...............

Læs mere

Skriftlig eksamen, Programmer som Data Onsdag 5. januar 2011

Skriftlig eksamen, Programmer som Data Onsdag 5. januar 2011 Skriftlig eksamen, Programmer som Data Onsdag 5. januar 2011 Version 1.1 af 2011-01-28 Dette eksamenssæt har 7 sider. Tjek med det samme at du har alle siderne. Eksamens varighed er 4 timer. Der er fire

Læs mere

Baggrundsnote om logiske operatorer

Baggrundsnote om logiske operatorer Baggrundsnote om logiske operatorer Man kan regne på udsagn ligesom man kan regne på tal. Regneoperationerne kaldes da logiske operatorer. De tre vigtigste logiske operatorer er NOT, AND og. Den første

Læs mere

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42 Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder

Læs mere

DM502. Peter Schneider-Kamp (petersk@imada.sdu.dk) http://imada.sdu.dk/~petersk/dm502/

DM502. Peter Schneider-Kamp (petersk@imada.sdu.dk) http://imada.sdu.dk/~petersk/dm502/ DM502 Peter Schneider-Kamp (petersk@imada.sdu.dk) http://imada.sdu.dk/~petersk/dm502/ 1 DM502 Bog, ugesedler og noter De første øvelser Let for nogen, svært for andre Kom til øvelserne! Lav opgaverne!

Læs mere

Dynamisk programmering. Flere eksempler

Dynamisk programmering. Flere eksempler Dynamisk programmering Flere eksempler Eksempel 1: Længste fælles delstreng Alfabet = mængde af tegn: {a,b,c,...,z}, {A,C,G,T}, {,1} Streng = sekvens x 1 x 2 x 3... x n af tegn fra et alfabet: helloworld

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS August 2012 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

Introduktion til C programmering

Introduktion til C programmering Introduktion til C programmering Rasmus Erik Voel Jensen Uge 17 voel@math.ku.dk Dagens forelæsning Formalia Indledende programmering, main, include, printf, variable, scanf, if-else, statements, eksempler

Læs mere

PHP 3 UGERS FORLØB PHP, MYSQL & SQL

PHP 3 UGERS FORLØB PHP, MYSQL & SQL PHP 3 UGERS FORLØB PHP, MYSQL & SQL Uge 1 & 2 Det basale: Det primære mål efter uge 1 og 2, er at få forståelse for hvordan AMP miljøet fungerer i praksis, og hvordan man bruger PHP kodesproget til at

Læs mere

Skriftlig Eksamen Diskret Matematik (DM528)

Skriftlig Eksamen Diskret Matematik (DM528) Skriftlig Eksamen Diskret Matematik (DM528) Institut for Matematik & Datalogi Syddansk Universitet Tirsdag den 20 Januar 2009, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug

Læs mere

Induktive og rekursive definitioner

Induktive og rekursive definitioner Induktive og rekursive definitioner Denne note omhandler matematiske objekter, som formelt er opbygget fra et antal basale byggesten, kaldet basistilfælde eller blot basis, ved gentagen brug af et antal

Læs mere

CV for Lasse Nielsen

CV for Lasse Nielsen CV for Lasse Nielsen Lasse Nielsen 16. marts 2008 Personlig Data Mit navn er Lasse Nielsen, jeg er født den 17 Juni 1981 på Holbæk sygehus. Min adresse er Rektorparken 18, 7. tv. (Lokal 073) 2450 København

Læs mere

Åben uddannelse, Efterår 1996, Oversættere og køretidsomgivelser

Åben uddannelse, Efterår 1996, Oversættere og køretidsomgivelser 3/10/96 Seminaret den 26/10 vil omhandle den sidste fase af analysen og de første skridt i kodegenereringen. Det drejer sig om at finde betydningen af programmet, nu hvor leksikalsk og syntaktisk analyse

Læs mere

Matematik i AT (til elever)

Matematik i AT (til elever) 1 Matematik i AT (til elever) Matematik i AT (til elever) INDHOLD 1. MATEMATIK I AT 2 2. METODER I MATEMATIK OG MATEMATIKKENS VIDENSKABSTEORI 2 3. AFSLUTTENDE AT-EKSAMEN 3 4. SYNOPSIS MED MATEMATIK 4 5.

Læs mere

Afsnittet er temmelig teoretisk. Er du mere til det praktiske, går du blot til det næste afsnit.

Afsnittet er temmelig teoretisk. Er du mere til det praktiske, går du blot til det næste afsnit. Afsnittet er temmelig teoretisk. Er du mere til det praktiske, går du blot til det næste afsnit. XML (eng. extensible Markup Language) XML er en måde at strukturere data på i tekstform. På samme måde som

Læs mere

Gödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931

Gödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931 Kommentar til 1 Gödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931 Denne afhandling af den 24-årige Kurt Gödel er blevet en klassiker. Det er vist den eneste

Læs mere

Hvad er et tal? Dan Saattrup Nielsen

Hvad er et tal? Dan Saattrup Nielsen 12 Det filosofiske hjørne Hvad er et tal? Dan Saattrup Nielsen Det virker måske som et spøjst spørgsmål, men ved nærmere eftertanke virker det som om, at alle vores definitioner af tal refererer til andre

Læs mere

Computeren repræsenterer en teknologi, som er tæt knyttet til den naturvidenskabelige tilgang.

Computeren repræsenterer en teknologi, som er tæt knyttet til den naturvidenskabelige tilgang. Den tekniske platform Af redaktionen Computeren repræsenterer en teknologi, som er tæt knyttet til den naturvidenskabelige tilgang. Teknologisk udvikling går således hånd i hånd med videnskabelig udvikling.

Læs mere

Spilstrategier. 1 Vindermængde og tabermængde

Spilstrategier. 1 Vindermængde og tabermængde Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende type: Spil der spilles af to spillere A og B som skiftes til at trække, A starter, og hvis man ikke kan trække har man tabt. Der

Læs mere

Martin Geisler. Uge 49, 2001

Martin Geisler. Uge 49, 2001 Min dintprog-browser Martin Geisler Uge 49, 2001 Resumé Dette dokument beskriver tankerne bag min dintprog-browser, en browser skrevet i Java der skal kunne fortolke en mindre delmængde af HTML 4, kaldet

Læs mere

IMADAs Fagråd. Evalueringsrapport. Matematik & Datalogi. 2. juni 2011. Kontaktpersoner

IMADAs Fagråd. Evalueringsrapport. Matematik & Datalogi. 2. juni 2011. Kontaktpersoner Evalueringsrapport Matematik & Datalogi 2. juni 2011 Kontaktpersoner Christian Kudahl - chkud08@student.sdu.dk Maria Buhl Hansen - marih09@student.sdu.dk Indhold Indhold 2 1 Indledning 4 1.1 Matematik-økonomi.......................

Læs mere

FSFIs lynguide til DFRs elektronisk bevissystem

FSFIs lynguide til DFRs elektronisk bevissystem FSFIs lynguide til DFRs elektronisk bevissystem Dette er en kort guide i anvendelsen af Dansk Førstehjælpsråd elektroniske bevissystem. Guiden viser og forklarer hvordan du som instruktør og medlem af

Læs mere

Grafer og graf-gennemløb

Grafer og graf-gennemløb Grafer og graf-gennemløb Grafer En mængde V af knuder (vertices). En mængde E V V af kanter (edges). Dvs. ordnede par af knuder. Figur: Terminologi: n = V, m = E (eller V og E (mis)bruges som V og E ).

Læs mere

Encoding:...1 Et tegn sæt (character set):...1 UTF-8 og UTF-16 (Unicode):...2

Encoding:...1 Et tegn sæt (character set):...1 UTF-8 og UTF-16 (Unicode):...2 Encoding:...1 Et tegn sæt (character set):...1 UTF-8 og UTF-16 (Unicode):...2 Encoding: Vi har tidligere set på spørgsmålet om et XML dokuments encoding. Det er generelt altid en god ide at gemme et dokument

Læs mere

Medfødt grammatik. Chomskys teori om sprogtilegnelse efterlader to store stridspunkter i forståelsen af børnesprog:

Medfødt grammatik. Chomskys teori om sprogtilegnelse efterlader to store stridspunkter i forståelsen af børnesprog: Medfødt grammatik I slutningen af 1950 erne argumenterede lingvisten Noam Chomsky for, at sprogets generativitet måtte indeholde nogle komplekse strukturer. Chomskys argumentation bestod primært af spørgsmålet

Læs mere

Kædebrøker. b 0 f.eks. 3 b 0 + a 1. f.eks. 3 + 1 b 1 7. a 1. b 1 + a f.eks. 3 + 1 7 + 1. f.eks. 3 + b 1 + a 2 7 + Notation: a 2 b 2 + an.

Kædebrøker. b 0 f.eks. 3 b 0 + a 1. f.eks. 3 + 1 b 1 7. a 1. b 1 + a f.eks. 3 + 1 7 + 1. f.eks. 3 + b 1 + a 2 7 + Notation: a 2 b 2 + an. Kædebrøker Naturvidenskabsfestivalen 2006 foredrag på Herning htx, 26. september Flemming Topsøe Institut for Matematiske Fag, Københavns Universitet b 0 f.eks. 3 b 0 + a 1 f.eks. 3

Læs mere

TW 2011/12. Fag: Matematik Klasse: 9. Mandag, Tirsdag, fredag. Formål for faget matematik:

TW 2011/12. Fag: Matematik Klasse: 9. Mandag, Tirsdag, fredag. Formål for faget matematik: TW 2011/12 Fag: Matematik Klasse: 9. Mandag, Tirsdag, fredag Formål for faget matematik: Formålet med undervisningen er, at eleverne udvikler matematiske kompetencer og opnår viden og kunnen således, at

Læs mere

HTML5 fortsat: Underside, links og tekstelementer på din hjemmeside

HTML5 fortsat: Underside, links og tekstelementer på din hjemmeside Webdesign og webkommunikation, formiddagshold (hold 1), IT Universitetet, forår 2012. Øvelse 2, individuel øvelse HTML5 fortsat: Underside, links og tekstelementer på din hjemmeside 1. Lidt om hvad du

Læs mere

Guide til lektielæsning

Guide til lektielæsning Guide til lektielæsning Gefions lærere har udarbejdet denne guide om lektielæsning. Den henvender sig til alle Gefions elever og er relevant for alle fag. Faglig læsning (=lektielæsning) 5- trinsmodellen

Læs mere

Fibonacci følgen og Det gyldne snit

Fibonacci følgen og Det gyldne snit Fibonacci følgen og Det gyldne snit af John V. Petersen Indhold Fibonacci... 2 Fibonacci følgen og Binets formel... 3... 4... 6... 6 Bevis for Binets formel... 7 Binets formel fortæller os, at...... 9...

Læs mere

OM BEVISER. Poul Printz

OM BEVISER. Poul Printz OM BEVISER Poul Printz Enhver, der har stiftet bekendtskab med matematik selv å et relativt beskedent niveau, er klar over, at matematiske beviser udgør et meget væsentligt element af matematikken. De

Læs mere

Kapitel 9. Optimering i Microsoft Excel 97/2000

Kapitel 9. Optimering i Microsoft Excel 97/2000 Kapitel 9 Optimering i Microsoft Excel 97/2000 9.1 Indledning... 164 9.2 Numerisk løsning af ligninger... 164 9.3 Optimering under bibetingelser... 164 9.4 Modelformulering... 165 9.5 Gode råd ommodellering...

Læs mere

1. HVAD ER HOT POTATOES? 2. HVAD BESTÅR HOT POTATOES AF? 3. HVAD KOSTER HOT POTATOES? 4. SOFTWARE- OG HARDWAREKRAV.

1. HVAD ER HOT POTATOES? 2. HVAD BESTÅR HOT POTATOES AF? 3. HVAD KOSTER HOT POTATOES? 4. SOFTWARE- OG HARDWAREKRAV. Hot Potatoes 1. Hvad er Hot Potatoes?...2 2. Hvad består Hot Potatoes af?...2 3. Hvad koster Hot Potatoes?...2 4. Software- og hardwarekrav...2 5. Versioner....3 6. Indstillinger...3 Ny, Åbn, Gem, Gem

Læs mere

Kontraktbaseret Design. Anker Mørk Thomsen

Kontraktbaseret Design. Anker Mørk Thomsen Kontraktbaseret Design Anker Mørk Thomsen 5. marts 2014 -2 Kontraktbaseret Design Anker Mørk Thomsen 1. udgave ISBN: 9788740491500 Forord Bogen er blevet til gennem undervisning i faget Kontraktbaseret

Læs mere

Indhold 1 Compilerens opbygning 2 Leksikalsk analyse 3 Grammatikker 4 LL-parsing 5 LR-parsing 6 Det abstrakte syntaks-træ 7 Attribut-grammatikker

Indhold 1 Compilerens opbygning 2 Leksikalsk analyse 3 Grammatikker 4 LL-parsing 5 LR-parsing 6 Det abstrakte syntaks-træ 7 Attribut-grammatikker Indhold 1 Compilerens opbygning 4 1.1 Compilerensfunktion... 4 1.2 Fasericompileringen... 4 1.3 TinyogC-... 7 2 Leksikalsk analyse 9 2.1 Strengeogsprog... 9 2.2 Regulæreudtryk... 10 2.3 Deterministiskeendeligeautomater...

Læs mere

BOSK F2011, 1. del: Induktion

BOSK F2011, 1. del: Induktion P(0) ( n N. P(n) P(n + 1) ) = ( n N. P(n) ) February 15, 2011 Summa summarum Vi får et tip om at følgende kunne finde på at holde for n N: n N. n i = n(n + 1). 2 Vi husker at summation læses meget som

Læs mere

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk matx.dk Algebra Dennis Pipenbring, 10. februar 2012 nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende

Læs mere

BAAN IVc. Brugervejledning til BAAN Data Navigator

BAAN IVc. Brugervejledning til BAAN Data Navigator BAAN IVc Brugervejledning til BAAN Data Navigator En udgivelse af: Baan Development B.V. P.O.Box 143 3770 AC Barneveld Holland Trykt i Holland Baan Development B.V. 1997. Alle rettigheder forbeholdes.

Læs mere

Algoritmeskabeloner: Sweep- og søgealgoritmer C#-version

Algoritmeskabeloner: Sweep- og søgealgoritmer C#-version Note til Programmeringsteknologi Akademiuddannelsen i Informationsteknologi Algoritmeskabeloner: Sweep- og søgealgoritmer C#-version Finn Nordbjerg 1/9 Indledning I det følgende introduceres et par abstrakte

Læs mere

MODELSÆT 2; MATEMATIK TIL LÆREREKSAMEN

MODELSÆT 2; MATEMATIK TIL LÆREREKSAMEN MODELSÆT ; MATEMATIK TIL LÆREREKSAMEN Forberedende materiale Den individuelle skriftlige røve i matematik vil tage udgangsunkt i følgende materiale:. En diskette med to regnearks-filer og en MathCad-fil..

Læs mere

Komplekse tal og rækker

Komplekse tal og rækker Komplekse tal og rækker John Olsen 1 Indledning Dette sæt noter er forelæsningsnoter til foredraget Komplekse tal og rækker. Noterne er beregnet til at blive brugt sammen med foredraget. I afsnit 2 bliver

Læs mere

Appendiks 6: Universet som en matematisk struktur

Appendiks 6: Universet som en matematisk struktur Appendiks 6: Universet som en matematisk struktur En matematisk struktur er et meget abstrakt dyr, der kan defineres på følgende måde: En mængde, S, af elementer {s 1, s 2,,s n }, mellem hvilke der findes

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin August 2011 juni 2012 Institution Handelsgymnasiet Tradium, Rådmands Boulevard Uddannelse Fag og niveau Lærer(e)

Læs mere

Computerstøttet beregning

Computerstøttet beregning CSB 2009 p. 1/16 Computerstøttet beregning Lektion 1. Introduktion Martin Qvist qvist@math.aau.dk Det Ingeniør-, Natur-, og Sundhedsvidenskabelige Basisår, Aalborg Universitet, 3. februar 2009 people.math.aau.dk/

Læs mere

Limitations in Formal Systems and Languages

Limitations in Formal Systems and Languages Limitations in Formal Systems and Languages Abstract This thesis has two major aims. The first is to demonstrate the centrality of Cantor s diagonal argument in the proofs of the classical limitation results

Læs mere

Faculty of Health Sciences. Basal Statistik. Praktiske bemærkninger om kurset. Lene Theil Skovgaard. 1. september 2015

Faculty of Health Sciences. Basal Statistik. Praktiske bemærkninger om kurset. Lene Theil Skovgaard. 1. september 2015 Faculty of Health Sciences Basal Statistik Praktiske bemærkninger om kurset. Lene Theil Skovgaard 1. september 2015 1 / 19 Undervisningstider Forelæsninger tirsdag 10.15 13.00 for ca. 125 personer (i princippet)

Læs mere

Basal Statistik. Undervisningstider. Formål med kurset. Faculty of Health Sciences. Praktiske bemærkninger om kurset.

Basal Statistik. Undervisningstider. Formål med kurset. Faculty of Health Sciences. Praktiske bemærkninger om kurset. Faculty of Health Sciences Undervisningstider Basal Statistik Praktiske bemærkninger om kurset. Lene Theil Skovgaard 1. september 2015 Forelæsninger tirsdag 10.15 13.00 for ca. 125 personer (i princippet)

Læs mere

Tal. Vi mener, vi kender og kan bruge følgende talmængder: N : de positive hele tal, Z : de hele tal, Q: de rationale tal.

Tal. Vi mener, vi kender og kan bruge følgende talmængder: N : de positive hele tal, Z : de hele tal, Q: de rationale tal. 1 Tal Tal kan forekomme os nærmest at være selvfølgelige, umiddelbare og naturgivne. Men det er kun, fordi vi har vænnet os til dem. Som det vil fremgå af vores timer, har de mange overraskende egenskaber

Læs mere

Forén og find. Introduktion Hurtig find Hurtig forening Vægtet forening Stikompression Dynamiske sammenhængskomponenter.

Forén og find. Introduktion Hurtig find Hurtig forening Vægtet forening Stikompression Dynamiske sammenhængskomponenter. Forén og find Introduktion Hurtig find Hurtig forening Vægtet forening Stikompression Dynamiske sammenhængskomponenter Philip Bille Forén og find Introduktion Hurtig find Hurtig forening Vægtet forening

Læs mere

Tidsregistrering. Jacob E., Jacob H., Mathias, Mads H., Jonatan og Dan 3.4. Informationsteknologi B. Roskilde Tekniske Gymnasium 25-11-2014

Tidsregistrering. Jacob E., Jacob H., Mathias, Mads H., Jonatan og Dan 3.4. Informationsteknologi B. Roskilde Tekniske Gymnasium 25-11-2014 2014 Tidsregistrering Jacob E., Jacob H., Mathias, Mads H., Jonatan og Dan 3.4 Informationsteknologi B Roskilde Tekniske Gymnasium 25-11-2014 Indholdsfortegnelse 1 Indledning... 3 2 User stories... 3 3

Læs mere

Kursus i IT Sikkerhed

Kursus i IT Sikkerhed Kursus i IT Sikkerhed Ivan Damgård, Daimi, Århus Universitet Praktiske ting Kursushjemmeside www.daimi.au.dk/dsik Her findes noter, links til materiale, opgaver, m.v. Der bruges et sæt noter, der findes

Læs mere

Håndbog Til CPR services. Bilag 8 GCTP-standard m.m. CPR-kontoret

Håndbog Til CPR services. Bilag 8 GCTP-standard m.m. CPR-kontoret Håndbog Til CPR services Bilag 8 GCTP-standard m.m. CPR-kontoret Datavej 20, Postboks 269, 3460 Birkerød E-post: cpr@cpr.dk. Telefax 45 82 51 10. Hjemmeside: www.cpr.dk Side 2 af 14 Indholdsfortegnelse

Læs mere

Programmering i Javascript

Programmering i Javascript Programmering i Javascript 1. Introduktion HTML er et fortrinligt værktøj til at strukturere og præsentere information, men hvis web siderne skal være interaktive, så der kan reageres på brugerens handlinger,

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Termin 2013-2015 Institution Rybners Tekniske Gymnasium Uddannelse Fag og niveau Lærer(e) HTX Informationsteknologi B Jeppe Moritz Led Hold 3.E, Årgang 2012 Oversigt over undervisningsforløb

Læs mere

Kursusarbejde 2 Grundlæggende Programmering

Kursusarbejde 2 Grundlæggende Programmering Kursusarbejde 2 Grundlæggende Programmering Arne Jørgensen, 300473-2919 klasse dm032-1a 31. oktober 2003 Indhold 1. Kode 2 1.1. hotel.h.................................................... 2 1.2. hotel.cc...................................................

Læs mere

Fagårsplan 10/11 Fag: Matematik Klasse: 7.ABC Lærer: Henrik Stillits. Fagområde/ emne

Fagårsplan 10/11 Fag: Matematik Klasse: 7.ABC Lærer: Henrik Stillits. Fagområde/ emne Fagårsplan 10/11 Fag: Matematik Klasse: 7.ABC Lærer: Henrik Stillits. Fagområde/ emne Matematiske færdigheder Grundlæggende færdigheder - plus, minus, gange, division (hele tal, decimaltal og brøker) Identificer

Læs mere

Sådan kan du sende data fra din egen hjemmeside til JitBesked via en HTML-JDF.

Sådan kan du sende data fra din egen hjemmeside til JitBesked via en HTML-JDF. Sådan kan du sende data fra din egen hjemmeside til JitBesked via en HTML-JDF. Vejledningen her beskriver hvordan man opbygger en form i HTML og sender indholdet af felterne til JitBesked. Det kræver du

Læs mere

Curriculum Vitae for Per Odderskov.

Curriculum Vitae for Per Odderskov. Curriculum Vitae for Per Odderskov. Demografiske data Navn: Per Odderskov Bopæl: Nedergårds Alle 5, 8200 Århus N Født: 1957 Civil stand: Gift Nationalitet: Dansk Resume Jeg har en mangeårig baggrund som

Læs mere

Sommerskole. Greve Privatskole

Sommerskole. Greve Privatskole Sommerskole Greve Privatskole 30. juni - 4. juli 2014 SOMMERSKOLE I STORKØBENHAVN TalentCampDK afholder sommerskole i uge 27 på Greve Privatskole. Du modtager denne invitation, fordi din faglærer eller

Læs mere

Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393.

Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393. Broer, skak og netværk Side 1 af 6 Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393. Eksempler på praktiske anvendelser af matematik og nogle uløste problemer Indledning Figur

Læs mere

Produkt Modellering & Load til Microsoft Dynamics NAV

Produkt Modellering & Load til Microsoft Dynamics NAV Produkt Modellering & Load til Microsoft Dynamics NAV Send data fra et CAD-system, modellér de ønskede produktionsdata, og opret herefter stamdata automatisk i Dynamics NAV. Formål: Hovedformålet med PM&L

Læs mere

Meditation over Midterbinomialkoefficienten

Meditation over Midterbinomialkoefficienten 18 Juleeventyr Meditation over Midterbinomialkoefficienten En rusrejse fra en fjern juletid Frederik Ravn Klausen, Peter Michael Reichstein Rasmussen Ved juletid for ikke så længe siden faldt tre russer

Læs mere

Fra Computer til Virkelighed. TPE-kursus Elektroniske Systemer P1

Fra Computer til Virkelighed. TPE-kursus Elektroniske Systemer P1 Fra Computer til Virkelighed TPE-kursus Elektroniske Systemer P1 Fra Computer til Virkelighed En kort introduktion til kurset Systems Engineering Projektfaser Opsamling og opgave Om kurset Mål: at I lærer

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin August 2011 juni 2012 Institution Handelsgymnasiet Tradium, Rådmands Boulevard Uddannelse Fag og niveau Lærer(e)

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Termin 2014-2015 Institution Rybners Tekniske Gymnasium Uddannelse Fag og niveau Lærer(e) HTX Informationsteknologi B Jeppe Moritz Led Hold 2.E, Årgang 2013 Oversigt over undervisningsforløb

Læs mere

brikkerne til regning & matematik tal og algebra preben bernitt

brikkerne til regning & matematik tal og algebra preben bernitt brikkerne til regning & matematik tal og algebra 2+ preben bernitt brikkerne. Tal og algebra 2+ 1. udgave som E-bog ISBN: 978-87-92488-35-0 2008 by bernitt-matematik.dk Kopiering af denne bog er kun tilladt

Læs mere

RSA Kryptosystemet. Kryptologi ved Datalogisk Institut, Aarhus Universitet

RSA Kryptosystemet. Kryptologi ved Datalogisk Institut, Aarhus Universitet RSA Kryptosystemet Kryptologi ved Datalogisk Institut, Aarhus Universitet 1 Kryptering med RSA Her følger først en kort opridsning af RSA kryptosystemet, som vi senere skal bruge til at lave digitale signaturer.

Læs mere

5. Retorik; skrive taler, hvor man inddrager argumentation og de forskellige appelformer.

5. Retorik; skrive taler, hvor man inddrager argumentation og de forskellige appelformer. Skrivekompetencer Genrebevidsthed 1. Reproduktion: a. Lad elever reproducere genrer, fx i forbindelse med processkrivning. Eleverne kan bruge en eksemplarisk tekst (fx en undersøgelse, artikel etc.) som

Læs mere

Besvarelses forslag til Tag-hjemeksamen Vinteren 02 03

Besvarelses forslag til Tag-hjemeksamen Vinteren 02 03 IMFUFA Carsten Lunde Petersen Besvarelses forslag til Tag-hjemeksamen Vinteren 02 0 Hvor ikke andet er angivet er henvisninger til W.R.Wade An Introduction to analysis. Opgave a) Idet udtrykket e x2 cos

Læs mere

Manual til opsætning af Jit-klient version 2.0. Opsætning. Copyright Jit-Danmark ApS 2008. Find mere information på www.jitbesked.

Manual til opsætning af Jit-klient version 2.0. Opsætning. Copyright Jit-Danmark ApS 2008. Find mere information på www.jitbesked. Opsætning 1 Indholdsfortegnelse Sådan finder du indstillingerne...3 Generelt...5 Brugerstyring...6 Brugerstyring Enkeltbruger-system(standard)...7 Brugerstyring Flerbruger-system med Logon...8 Brugervedligeholdelse

Læs mere

Fag- og indholdsplan 9. kl.:

Fag- og indholdsplan 9. kl.: Fag- og indholdsplan 9. kl.: Indholdsområder: Tal og algebra: Tal - regneregler og formler Størrelser måling, beregning og sammenligning. Matematiske udtryk Algebra - teoretiske sammenhænge absolut og

Læs mere

Introduktion til MatLab Matematisk Modellering af Dynamiske Modeller ved Kasper Bjering Jensen, RUC, februar 2010

Introduktion til MatLab Matematisk Modellering af Dynamiske Modeller ved Kasper Bjering Jensen, RUC, februar 2010 Introduktion til MatLab Matematisk Modellering af Dynamiske Modeller ved Kasper Bjering Jensen, RUC, februar 2010 Computere er uvurderlige redskaber for personer der ønsker at arbejde med matematiske modeller

Læs mere

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde.

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde. Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske

Læs mere

IT SUMMER CAMP 2015. Dato for arr. og. dato for seneste tilmelding. bliver offentliggjort i maj. Ubuntu-Linux, Web-Server, Anvendte Web-Teknologier

IT SUMMER CAMP 2015. Dato for arr. og. dato for seneste tilmelding. bliver offentliggjort i maj. Ubuntu-Linux, Web-Server, Anvendte Web-Teknologier IT SUMMER CAMP 2015 Dato for arr. og dato for seneste tilmelding bliver offentliggjort i maj. uge z, x. / y. 2015 Ubuntu-Linux, Web-Server, og Basal Web-programmering En extensiv indføring i web-programmering

Læs mere

Projektbeskrivelse RSS Læser

Projektbeskrivelse RSS Læser HTX Roskilde 3.4 Projektbeskrivelse RSS Læser IT & Programmering Elev: Christian Pihlkjær Hjortshøj og Joans Henk Jensen Dato: 19-03-2013 1. Indledning Vi er i klasse 3.4 blevet introduceret til vores

Læs mere

MailMax / Web v4.1. Brugsvejledning til webmail. Copyright 2003 Gullestrup.net

MailMax / Web v4.1. Brugsvejledning til webmail. Copyright 2003 Gullestrup.net MailMax / Web v4.1 Copyright 2003 Gullestrup.net Log ind på webmailen Start med at gå ind på http://webmail.gullestrup.net i din browser. Indtast din Email-adresse samt Adgangskode, som hører til din konto.

Læs mere

Med TI-89 / TI-92 Plus kan du også sammenligne eller manipulere binære tal bit for bit.

Med TI-89 / TI-92 Plus kan du også sammenligne eller manipulere binære tal bit for bit. Kapitel 20: Talsystemer 20 Resumé af talsystemer... 344 Indtastning og omregning af talsystemer... 345 Udførelse af matematiske beregninger med hexadecimale og binære tal... 346 Sammenligning eller manipulation

Læs mere

3. klasse 6. klasse 9. klasse

3. klasse 6. klasse 9. klasse Børne- og Undervisningsudvalget 2012-13 BUU Alm.del Bilag 326 Offentligt Elevplan 3. klasse 6. klasse 9. klasse Matematiske kompetencer Status tal og algebra sikker i, er usikker i de naturlige tals opbygning

Læs mere

Studieordning for tilvalget på bachelorniveau i. It og sprog, 2013-ordningen

Studieordning for tilvalget på bachelorniveau i. It og sprog, 2013-ordningen Studieordning for tilvalget på bachelorniveau i It og sprog, 2013-ordningen Institut for Nordiske Studier og Sprogvidenskab Det Humanistiske Fakultet Københavns Universitet Indhold Kapitel 1. Hjemmel,

Læs mere

Grundlæggende regneteknik

Grundlæggende regneteknik Grundlæggende regneteknik Anne Ryelund, Mads Friis og Anders Friis 13. november 2014 Indhold Forord Indledning iii iv 1 Regning med brøker 1 1.1 Faktorisering i primtal.............................. 3

Læs mere

Programmering. Det rent og skært nødvendige, det elementært nødvendige! Morten Dam Jørgensen

Programmering. Det rent og skært nødvendige, det elementært nødvendige! Morten Dam Jørgensen Programmering Det rent og skært nødvendige, det elementært nødvendige! Morten Dam Jørgensen Oversigt Undervisningen Hvad er programmering Hvordan er et program organiseret? Programmering og fysik Nobelprisen

Læs mere

Matema10k. Matematik for hhx C-niveau. Arbejdsark til kapitlerne i bogen

Matema10k. Matematik for hhx C-niveau. Arbejdsark til kapitlerne i bogen Matema10k Matematik for hhx C-niveau Arbejdsark til kapitlerne i bogen De følgende sider er arbejdsark og opgaver som kan bruges som introduktion til mange af bogens kapitler og underemner. De kan bruges

Læs mere

var Send_til='bk@ef.dk'; EUD-tests Testpakken er gratis tilgængelig som en del af abonnementet på Undervisningsbanken. Om de enkelte tests

var Send_til='bk@ef.dk'; EUD-tests Testpakken er gratis tilgængelig som en del af abonnementet på Undervisningsbanken. Om de enkelte tests 1 EUD-tests EUD-tests Testpakken er gratis tilgængelig som en del af abonnementet på Undervisningsbanken. Pakken kan hentes fra adressen http://kurser.ef.dk/eud_test/eud_test.zip, og indeholder 5 forskellige

Læs mere

Evaluering af matematik undervisning

Evaluering af matematik undervisning Evaluering af matematik undervisning Udarbejdet af Khaled Zaher, matematiklærer 6-9 klasse og Boushra Chami, matematiklærer 2-5 klasse Matematiske kompetencer. Fællesmål efter 3.klasse indgå i dialog om

Læs mere

OFFENTLIGT KMD A/S EJ 0.0 NUMMERERET SLIDE 1 CCM USER GROUP 20.11.2013. KMD einvoicing. v/ Ole Sixhøi

OFFENTLIGT KMD A/S EJ 0.0 NUMMERERET SLIDE 1 CCM USER GROUP 20.11.2013. KMD einvoicing. v/ Ole Sixhøi OFFENTLIGT SLIDE 1 CCM USER GROUP 20.11.2013 KMD einvoicing v/ Ole Sixhøi AGENDA SLIDE 2 INTRODUKTION KMD einvoicing - Baggrunden - Ydelsen DESIGN OG FUNKTIONALITET LOGISK FLOW ARKITEKTUR KMD E-INVOICING

Læs mere

Flowchart og Nassi ShneidermanN Version. Et flowchart bruges til grafisk at tegne et forløb. Det kan fx være et programforløb for en microcontroller.

Flowchart og Nassi ShneidermanN Version. Et flowchart bruges til grafisk at tegne et forløb. Det kan fx være et programforløb for en microcontroller. Flowchart Et flowchart bruges til grafisk at tegne et forløb. Det kan fx være et programforløb for en microcontroller. Et godt program til at tegne flowcharts med er, EDGE-Diagrammer, eller Smartdraw.

Læs mere

Undervisningsbeskrivelse

Undervisningsbeskrivelse Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj-juni 10/11 Institution Frederikshavn Handelsskole Uddannelse Fag og niveau Lærer(e) Hold HHX Matematik

Læs mere

Programmering I Java/C#

Programmering I Java/C# Programmering I Java/C# Dit første projekt Datatekniker Intro to C# C# (C Sharp) Et enkelt, moderne, generelt anvendeligt, objektorienteret programmeringssprog Udviklet af Microsoft, ledet af danskeren

Læs mere

MODUL 8. Differensligninger. Forfattere: Michael ELMEGÅRD & Øistein WIND-WILLASSEN. Modulet er baseret på noter af Peter BEELEN.

MODUL 8. Differensligninger. Forfattere: Michael ELMEGÅRD & Øistein WIND-WILLASSEN. Modulet er baseret på noter af Peter BEELEN. MODUL 8 Differensligninger Forfattere: Michael ELMEGÅRD & Øistein WIND-WILLASSEN Modulet er baseret på noter af Peter BEELEN. 26. august 2014 2 Indhold 1 Introduktion 5 1.1 Rekursioner og differensligninger.........................

Læs mere

Multi kanal GSM porttelefon med adgangs kontrol

Multi kanal GSM porttelefon med adgangs kontrol Multi kanal GSM porttelefon med adgangs kontrol Model: MCI-3000V1 Funktioner: Metal tastatur. Robust anti-vandal enhed. Rustfrit stål dørstation. Nem installation kun fire ledninger. Anti-Vandal højttaler

Læs mere

Daglig brug af JitBesked 2.0

Daglig brug af JitBesked 2.0 Daglig brug af JitBesked 2.0 Indholdsfortegnelse Oprettelse af personer (modtagere)...3 Afsendelse af besked...4 Valg af flere modtagere...5 Valg af flere personer der ligger i rækkefølge...5 Valg af flere

Læs mere

Introduktion til ActionScript, fortsat

Introduktion til ActionScript, fortsat Introduktion til ActionScript, fortsat Kaspar Rosengreen Nielsen kaspar@interactivespaces.net i n t e r a c t i v e s p a c e s. n e t Kaspar Nielsen, kaspar@interactivespaces.net 1 Dagens program Opsamling

Læs mere