Baggrundsnote om logiske operatorer

Størrelse: px
Starte visningen fra side:

Download "Baggrundsnote om logiske operatorer"

Transkript

1 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 NOT har kun ét argument (og svarer til et fortegnsskift). Den er defineret ved sandhedstavlen p TRUE FALSE NOT p FALSE TRUE dvs. den skifter sandhedsværdi: TRUE bliver til FALSE og omvendt. Anvendes den to gange fås derfor identiteten: NOT (NOT p) = p Koder vi sandhedsværdierne med 0 (for FALSE) og 1 (for TRUE) svarer det til regneoperationen NOT p = 1 p De to andre logiske operatorer har begge netop to argumenter (og svarer lidt til regneoperationerne plus og gange). De er defineret ud fra sandhedstavlerne p q p AND q FALSE FALSE FALSE FALSE TRUE FALSE TRUE FALSE FALSE TRUE TRUE TRUE p q p q FALSE FALSE FALSE FALSE TRUE TRUE TRUE FALSE TRUE TRUE TRUE TRUE dvs. AND er kun sand, når begge udsagnene er sande, ligesom kun er falsk, når begge udsagnene er falske, dvs. er kun sand når mindst et af udsagnene er sandt. Koder vi igen sandhedsværdierne med 0 og 1 svarer det denne gang til regneoperationerne p AND q = p q p q = p + q p q Læg mærke til det ekstra led i regneoperationen svarende til, der altså ikke helt opfører sig som plus! Det ekstra led sikrer netop at 1 1 giver 1. Hvis dette led ikke havde været der, havde de logiske operationer opført sig fuldstændigt som gange og plus. 1

2 Det er nemt at anvende AND og flere gange I træk. Vi behøver ikke engang sætte parenteser (dvs. de opfylder den associative lov). Det samlede udsagn p 1 AND p 2 AND AND p n er sandt, netop når alle udsagnene er sande. Det samlede udsagn p 1 p 2 p n er falsk, netop når alle udsagnene er falske (og dermed sandt netop når mindst ét af deludsagnene er sande). De har altså så at sige modsat opførsel og kan derfor knyttes sammen via NOT operationen (hvor parenteserne på højre side rent faktisk er overflødige): NOT (p 1 AND p 2 AND AND p n ) = (NOT p 1 ) (NOT p 2 ) (NOT p n ) NOT (p 1 p 2 p n ) = (NOT p 1 ) AND (NOT p 2 ) AND AND (NOT p n ) Det er nemt at formalisere et sammensat udsagn som siger at mindst et af deludsagnene er sandt, idet det sammensatte udsagn p 1 p 2 p n jo netop betyder at mindst ét af udsagnene er sandt. Men det er svært at formalisere et sammensat udsagn som siger at højst et deludsagnene er sandt eller netop et af deludsagnene er sandt. Man kunne tro at det ville hjælpe at indføre den logiske operator X (exclusive or), dvs. enten eller, men ikke dem begge, med sandhedstavlen p q p X q FALSE FALSE FALSE FALSE TRUE TRUE TRUE FALSE TRUE TRUE TRUE FALSE dvs. X er sand netop når de to udsagn har forskellige sandhedsværdier. Koder vi sandhedsværdierne med 0 og 1 svarer det til regneoperationen p X q = p + q 2p q = p (1 q) + (1 p) q. Den virker fint på to udsagn, men anvender vi den på mange udsagn skal vi passe på. Ser vi fx på tre udsagn fås sandhedstavlen (hvor vi regner fra venstre mod højre): 2

3 p q p X q r p X q X r FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE TRUE TRUE FALSE TRUE TRUE FALSE TRUE FALSE TRUE TRUE TRUE FALSE TRUE FALSE TRUE FALSE TRUE TRUE FALSE TRUE TRUE FALSE TRUE TRUE FALSE FALSE FALSE TRUE TRUE FALSE TRUE TRUE Problemet ligger i den sidste række, hvor tre gange TRUE giver TRUE, fordi de to første giver FALSE! Udvides ræsonnement ser vi at det sammensatte udsagn p 1 X p 2 X X p n er sandt netop når der er et ulige antal sande deludsagn. Det er altså nemt at formalisere en regel om at et lige eller et ulige antal deludsagn er sande eller falske. Men nu var det jo i stedet for regler af typen: højst ét af deludsagnene eller netop ét af deludsagnene, der skulle være sande (eller falske). I stedet må vi så opbygge sådanne sammensatte udsagn fra bunden: Hvis vi fx vil opbygge et udsagn som at netop ét af udsagnene skal være sandt, så svarer det til at hævde følgende påstand: Enten er det p 1 som er sand og de øvrige deludsagn, som er falske eller også er det p 2 som er sand og de øvrige deludsagn som er falske eller også eller også er det p n som er sand og de øvrige deludsagn, som er falske Men det kan vi jo oversætte til følgende logiske udsagn: p 1 AND NOT p 2 AND NOT p 3 AND AND NOT p n or NOT p 1 AND p 2 AND NOT p 3 AND AND NOT p n or or NOT p 1 AND NOT p 2 AND NOT p 3 AND AND p n Hvis det er højst et af udsagnene som skal være sandt så må vi yderligere tilføje udsagnet NOT p 1 AND NOT p 2 AND AND p n der også tillader alle udsagnene at være falske. Læg i øvrigt mærke til, at vi ikke har haft brug for parenteser, fordi det er underforstået at AND binder hårdere end (ligesom gange binder hårdere end plus), ligesom det er underforstået at NOT binder hårdere end AND og. Det sidste varierer dog lidt fra computer algebra system til computer algebra system. Et fortegnsskift burde binde hårdere end gange og plus, men her skal man passe på! Fx vil mange computer algebra systemer give -2 4 = -16, fordi de lader potenser binde hårdere end fortegnsskift. Det samme gælder håndteringen af NOT-operatoren. 3

4 Ethvert sammensat udsagn kan nu omskrives på standardformen: ( AND AND AND ) ( AND AND AND ) hvor de enkelte argumenter enten er et deludsagn p eller dets negation NOT p. Det svarer til omskrivning af et algebraisk udtryk til en flerleddet størrelse, hvor de enkelte led består af produkter, og hvor leddene er bundet sammen af additioner. Standardformen er bl.a. bekvem fordi enhver sandhedstavle umiddelbart kan oversættes til et logisk udsagn på standardform (med andre ord: Sandhedstavlen er blot en anden repræsentation af standardformen). Vi kan fx se på sandhedstavlen: p q r Sammensat udsagn TRUE TRUE TRUE TRUE TRUE TRUE FALSE TRUE TRUE FALSE TRUE TRUE TRUE FALSE FALSE FALSE FALSE TRUE TRUE FALSE FALSE TRUE FALSE FALSE FALSE FALSE TRUE TRUE FALSE FALSE FALSE TRUE Vi starter da med at notere hvilke kombinationer, der giver TRUE (hvis der slet ikke er nogen er vi færdige, for så er der blot tale om det konstante udsagn FALSE): p q r Sammensat udsagn TRUE TRUE TRUE TRUE TRUE TRUE FALSE TRUE TRUE FALSE TRUE TRUE TRUE FALSE FALSE FALSE FALSE TRUE TRUE FALSE FALSE TRUE FALSE FALSE FALSE FALSE TRUE TRUE FALSE FALSE FALSE TRUE Til hver række, der giver TRUE knytter vi så et led, idet vi bruger p, hvis deludsagnet p har værdien TRUE og NOT p, hvis deludsagnet p har værdien FALSE osv. Så sandhedstabellen læses således: Det samlede udsagn er sandt, hvis der enten gælder at p er sand og q er sand og r er sand (1. række) p er sand og q er sand og r er falsk (2. række) p er sand og q er falsk og r er sand (3. række) p er falsk og q er falsk og r er sand (7. række) p er falsk og q er falsk og r er falsk (8. række) Men det kan vi jo så oversætte led for led: 4

5 p q r Sammensat udsagn TRUE TRUE TRUE TRUE p AND q AND r TRUE TRUE FALSE TRUE p AND q AND NOT r TRUE FALSE TRUE TRUE p AND NOT q AND r TRUE FALSE FALSE FALSE FALSE TRUE TRUE FALSE FALSE TRUE FALSE FALSE FALSE FALSE TRUE TRUE NOT p AND NOT q AND r FALSE FALSE FALSE TRUE NOT p AND NOT q AND NOT r Det sammensatte udsagn er altså givet ved p AND q AND r p AND q AND NOT r p AND NOT q AND r NOT p AND NOT q AND r NOT p AND NOT q AND NOT r De tre logiske operatorer NOT, AND og er altså tilstrækkelige til at opbygge et vilkårligt logisk udsagn. I kraft af identiteterne p q = NOT (NOT p AND Not q) p AND q = NOT (NOT p NOT q) kan man faktisk undvære enten eller AND (men ikke dem begge!). Men hvis man ønsker det kan man også nøjes med en enkelt binær operator, blot ikke AND (eller ). Inden vi viser det kan vi lige danne os et overblik over alle de mulige binære logiske operatorer. Der er præcis fire mulige kombinationer af sandhedsværdierne for p og q. Da hver af dem har netop to mulige sandhedsværdier bliver der i alt 2 4 = 16 mulige binære logiske operationer. Halvdelen af dem er symmetriske, dvs. de afhænger ikke af rækkefølgen for p og q, dvs. de skelner ikke mellem hvem af dem der er sand og hvem af dem der er falsk, idet tilfælde hvor den ene er sand og den anden falsk. p q T AND X N EQ CIMP IMP NOT NOT NAND F p q q p p q q p T T T T F F T T F F T T T T F F F F T F T F T F T F T F T F T F T F T F F T T F T F T F T F F T F T F T F T F F T F F T F T T F T T F F T T F F Her står N og NAND for negationen til og AND. Tilsvarende står EQ for Equivalent, hvilket er negationen til X og hævder at de to udsagn har samme sandhedsværdi (hvor X hævdede de havde modsat sandhedsværdi). Ækvivalensoperatoren EQ har samme problem som den eksklusive enten eller operation: Den kan ikke uden videre udvides til flere argumenter (uden at mi- 5

6 ste sin umiddelbare betydning, nemlig at alle argumenterne har samme sandhedsværdi). Endelig står IMP for imply (implikation), dvs. medfører kommandoen, hvor vi slutter forlæns fra p til q: Hvis p så q. Tilsvarende står CIMP for Converse implication, hvor vi slutter baglæns fra q til p, dvs. hvis q så p. Implikationen er en fuldstændig central logisk operator (og også den sværeste at tilegne sig), idet den indgår i formaliseringen af et matematisk bevis. Hvis vi fx vil bevise en sætning q kan vi gøre det direkte ved at gå ud fra en kendt sætning p og så vise at p medfører q: DIREKTE BEVIS: p AND (p IMP q) IMP q Tilsvarende kan vi vise en sætning q ved hjælp af et indirekte bevis, idet vi viser at den modsatte sætning NOT q medfører en modstrid med en kendt sætning p. INDIREKTE BEVIS: p AND (NOT q IMP NOT p) IMP q De to sidste operationer har ikke traditionelle navne, men der er selvfølgelig bare tale om negationerne til de to implikationer. Til slut vil vi se lidt på oversættelsen fra dagligdags sprog til logiske udsagn. En sådan oversættelse er behæftet med de samme tvetydigheder som alle andre oversættelser. Her noterer vi os bl.a. at man i almindelige sætninger ikke bruger parenteser som man gør i logiske udsagn, hvorfor rækkefølgen af operationerne kan være tvetydig. Oversættelsen er heller ikke entydig fordi det dagligdags sprog er mere fleksibelt og kan kæde udsagn sammen på flere måder. I stedet for at bruge 'og' kan man fx kæde flere deludsagn sammen ved at adskille dem med kommaer. Endelig er dagligdags ord ofte tvetydige. Fx er det uklart om en sætning af formen enten eller udelukker at begge deludsagnene kan være opfyldt. Vi kunne være tilbøjelige til at mene at brugen af ordet 'enten' typisk skærper sætningen og derfor udelukker at de begge kan være opfyldt, men praksis er ikke entydig. I logik fokuserer vi på (i modsætning til X), fordi den umiddelbart kan udvides til mange deludsagn uden at miste sin grundlæggende betydning. ikke NOT p enten eller p q både og p AND q hverken eller p N q = NOT (p q) hvis så p IMP q medfører p IMP q forudsat p CIMP q = q IMP p med mindre p NEQ q = p X q eller eller p 1 p 2 p 3 og og p 1 AND p 2 AND p 3 6

De rigtige reelle tal

De rigtige reelle tal De rigtige reelle tal Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Logik. Helge Elbrønd Jensen og Tom Høholdt Fortolket af Michael Elmegård og Øistein Wind-Willassen.

Logik. Helge Elbrønd Jensen og Tom Høholdt Fortolket af Michael Elmegård og Øistein Wind-Willassen. Logik Helge Elbrønd Jensen og Tom Høholdt Fortolket af Michael Elmegård og Øistein Wind-Willassen. 25. juni 2014 2 Indhold 1 Matematisk Logik 5 1.1 Udsagnslogik.................................... 5 1.2

Læs mere

Omskrivningsregler. Frank Nasser. 10. december 2011

Omskrivningsregler. Frank Nasser. 10. december 2011 Omskrivningsregler Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

16. december. Resume sidste gang

16. december. Resume sidste gang 16. december Resume sidste gang Abstrakt problem, konkret instans, afgørlighedsproblem Effektiv kodning (pol. relateret til binær kodning) Sprog L : mængden af instanser for et afgørlighedsproblem hvor

Læs mere

Funktionsterminologi

Funktionsterminologi Funktionsterminologi Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette

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

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

Noter til C# Programmering Selektion

Noter til C# Programmering Selektion Noter til C# Programmering Selektion Sætninger Alle sætninger i C# slutter med et semikolon. En sætning kontrollerer sekvensen i programafviklingen, evaluerer et udtryk eller gør ingenting Blanktegn Mellemrum,

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

Omskrivningsgymnastik

Omskrivningsgymnastik Omskrivningsgymnastik Frank Villa 29. december 2013 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

16. marts P NP. Essentielle spørgsmål: NP P? Et problem Q kaldes NP -fuldstændigt 1 Q NP 2 R NP : R pol Q. Resume sidste gang

16. marts P NP. Essentielle spørgsmål: NP P? Et problem Q kaldes NP -fuldstændigt 1 Q NP 2 R NP : R pol Q. Resume sidste gang 16. marts Resume sidste gang Abstrakt problem konkret instans afgørlighedsproblem Effektiv kodning (pol. relateret til binær kodning) Sprog L : mængden af instanser for et afgørlighedsproblem hvor svaret

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

Omskrivningsgymnastik

Omskrivningsgymnastik Omskrivningsgymnastik Frank Villa 16. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Matematiske metoder - Opgaver

Matematiske metoder - Opgaver Matematiske metoder - Opgaver Anders Friis, Anne Ryelund 25. oktober 2014 Logik Opgave 1 Find selv på tre udtalelser (gerne sproglige). To af dem skal være udsagn, mens det tredje ikke må være et udsagn.

Læs mere

Spilstrategier. Indhold. Georg Mohr-Konkurrencen. 1 Vindermængde og tabermængde 2. 2 Kopier modpartens træk 4

Spilstrategier. Indhold. Georg Mohr-Konkurrencen. 1 Vindermængde og tabermængde 2. 2 Kopier modpartens træk 4 Indhold 1 Vindermængde og tabermængde 2 2 Kopier modpartens træk 4 3 Udnyt modpartens træk 5 4 Strategityveri 6 5 Løsningsskitser 7 Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende

Læs mere

BOSK F2012, 1. del: Prædikatslogik

BOSK F2012, 1. del: Prædikatslogik ε > 0. δ > 0. x. x a < δ f (x) L < ε February 8, 2012 Prædikater Vi skal lære om prædikatslogik lad os starte med prædikater. Et prædikat er et orakel der svarer ja eller nej. Eller mere præcist: Prædikater

Læs mere

Løsning af simple Ligninger

Løsning af simple Ligninger Løsning af simple Ligninger Frank Nasser 19. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:

Læs mere

Grundlæggende matematiske begreber del 2 Algebraiske udtryk Ligninger Løsning af ligninger med én variabel

Grundlæggende matematiske begreber del 2 Algebraiske udtryk Ligninger Løsning af ligninger med én variabel Grundlæggende matematiske begreber del Algebraiske udtryk Ligninger Løsning af ligninger med én variabel x-klasserne Gammel Hellerup Gymnasium 1 Indholdsfortegnelse ALGEBRAISKE UDTRYK... 3 Regnearternes

Læs mere

Logik. Af Peter Harremoës Niels Brock

Logik. Af Peter Harremoës Niels Brock Logik Af Peter Harremoës Niels Brock December 2009 1 Indledning Disse noter om matematisk logik er en videreudbygning af det, som står i bogen MAT A [1]. Vi vil her gå lidt mere systematisk frem og være

Læs mere

Boolesk Algebra og det binære talsystem - temahæfte informatik. Oprindelse.

Boolesk Algebra og det binære talsystem - temahæfte informatik. Oprindelse. Boolesk Algebra og det binære talsystem - temahæfte informatik. I dette hæfte arbejdes der med to-tals systemet og logiske udtryk. Vi oplever at de almindelige regneregler også gælder her, og vi prøver

Læs mere

Andengradsligninger. Frank Nasser. 11. juli 2011

Andengradsligninger. Frank Nasser. 11. juli 2011 Andengradsligninger Frank Nasser 11. juli 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Matematik. 1 Matematiske symboler. Hayati Balo,AAMS. August, 2014

Matematik. 1 Matematiske symboler. Hayati Balo,AAMS. August, 2014 Matematik Hayati Balo,AAMS August, 2014 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 symboler.

Læs mere

BOSK F2011, 1. del: Udsagnslogik

BOSK F2011, 1. del: Udsagnslogik ( p q) p q February 1, 2011 Sandhedsværdier og udsagnsvariable I dag handler det om logiske udsagn. Mere præcist om de logiske udsagn vi kan bygge ud fra sandhedsværdier, udsagnsvariable og logiske konnektiver.

Læs mere

Teoretiske Øvelsesopgaver:

Teoretiske Øvelsesopgaver: Teoretiske Øvelsesopgaver: TØ-Opgave 1 Subtraktion division i legemer: Er subtraktion division med elementer 0 i legemer veldefinerede, eller kan et element b have mere end ét modsat element -b eller mere

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

Oprids over grundforløbet i matematik

Oprids over grundforløbet i matematik Oprids over grundforløbet i matematik Dette oprids er tænkt som en meget kort gennemgang af de vigtigste hovedpointer vi har gennemgået i grundforløbet i matematik. Det er en kombination af at repetere

Læs mere

JavaScript. nedarvning.

JavaScript. nedarvning. JavaScript er et sprog, der kan give en hjemmeside mere funktionalitet og gøre den interaktiv, så den reagerer på læsernes handlinger. CGI (Common Gateway Interface) har hidtil været de protokoller, man

Læs mere

Vinkelrette linjer. Frank Villa. 4. november 2014

Vinkelrette linjer. Frank Villa. 4. november 2014 Vinkelrette linjer Frank Villa 4. november 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Symbolbehandlingskompetencen er central gennem arbejdet med hele kapitlet i elevernes arbejde med tal og regneregler.

Symbolbehandlingskompetencen er central gennem arbejdet med hele kapitlet i elevernes arbejde med tal og regneregler. Det første kapitel i grundbogen til Kolorit i 8. klasse handler om tal og regning. Kapitlet indledes med, at vores titalssystem som positionssystem sættes i en historisk sammenhæng. Gennem arbejdet med

Læs mere

Eksempler på elevbesvarelser af gådedelen:

Eksempler på elevbesvarelser af gådedelen: Eksempler på elevbesvarelser af gådedelen: Elevbesvarelser svinger ikke overraskende i kvalitet - fra meget ufuldstændige besvarelser, hvor de fx glemmer at forklare hvad gåden går ud på, eller glemmer

Læs mere

Tal og algebra. I kapitlet arbejdes med følgende centrale matematiske begreber: algebra variable. Huskeliste: Tændstikker (til side 146) FRA FAGHÆFTET

Tal og algebra. I kapitlet arbejdes med følgende centrale matematiske begreber: algebra variable. Huskeliste: Tændstikker (til side 146) FRA FAGHÆFTET I kapitlet skal eleverne arbejde med fire forskellige vinkler på algebra de præsenteres på kapitlets første mundtlige opslag. De fire vinkler er algebra som et redskab til at løse matematiske problemer.

Læs mere

Kursus 02199: Programmering. Kontrol af programudførelsen. afsnit 3.1-3.5. if (indkomst > 267000) topskat = (indkomst-267000) * 0.

Kursus 02199: Programmering. Kontrol af programudførelsen. afsnit 3.1-3.5. if (indkomst > 267000) topskat = (indkomst-267000) * 0. Kursus 02199: Programmering afsnit 3.1-3.5 Anne Haxthausen IMM, DTU 1. Kontrol af programudførn (afsnit 3.1) 2. Valg-sætninger (if og switch) (afsnit 3.2 og 3.3) 3. Bloksætninger (afsnit 3.2) 4. Logiske

Læs mere

brikkerne til regning & matematik tal og algebra F+E+D preben bernitt

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

Læs mere

Algebra - Teori og problemløsning

Algebra - Teori og problemløsning Algebra - Teori og problemløsning, januar 05, Kirsten Rosenkilde. Algebra - Teori og problemløsning Kapitel -3 giver en grundlæggende introduktion til at omskrive udtryk, faktorisere og løse ligningssystemer.

Læs mere

Ordbog over Symboler

Ordbog over Symboler Ordbog over Symboler Frank Nasser 20. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette

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

En forståelsesramme for de reelle tal med kompositioner.

En forståelsesramme for de reelle tal med kompositioner. 1 En forståelsesramme for de reelle tal med kompositioner. af Ulrich Christiansen, sem.lekt. KDAS. Den traditionelle tallinjemodel, hvor tallene svarer til punkter langs tallinjen, dækker fornuftigt (R,

Læs mere

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Algebra med Bea Bea Kaae Smit nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende regler 7 3.1 Tal..........................

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

Symbolsprog og Variabelsammenhænge

Symbolsprog og Variabelsammenhænge Indledning til Symbolsprog og Variabelsammenhænge for Gymnasiet og Hf 1000 kr 500 0 0 5 10 15 timer 2005 Karsten Juul Brugsanvisning Du skal se i de fuldt optrukne rammer for at finde: Regler for løsning

Læs mere

Lineære differentialligningers karakter og lineære 1. ordens differentialligninger

Lineære differentialligningers karakter og lineære 1. ordens differentialligninger enote 11 1 enote 11 Lineære differentialligningers karakter og lineære 1. ordens differentialligninger I denne note introduceres lineære differentialligninger, som er en speciel (og bekvem) form for differentialligninger.

Læs mere

ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER

ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER INDHOLDSFORTEGNELSE 0. FORMELSAMLING TIL FORMLER OG LIGNINGER... 2 Tal, regneoperationer og ligninger... 2 Ligning med + - / hvor x optræder 1 gang... 3 IT-programmer

Læs mere

π er irrationel Frank Nasser 10. december 2011

π er irrationel Frank Nasser 10. december 2011 π er irrationel Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2 Affine rum I denne note behandles kun rum over R. Alt kan imidlertid gennemføres på samme måde over C eller ethvert andet legeme. Et underrum U R n er karakteriseret ved at det er en delmængde som er lukket

Læs mere

ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER

ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER ØVEHÆFTE FOR MATEMATIK C FORMLER OG LIGNINGER INDHOLDSFORTEGNELSE 0. FORMELSAMLING TIL FORMLER OG LIGNINGER... 2 Tal, regneoperationer og ligninger... 2 Isolere en ubekendt... 3 Hvis x står i første brilleglas...

Læs mere

Selvreference i begrænsningsresultaterne

Selvreference i begrænsningsresultaterne Selvreference i begrænsningsresultaterne Thomas Bolander, IMM, DTU. tb@imm.dtu.dk To pointer: (1) Der skal kun meget lidt udover selvreference til for at få de klassiske logiske begrænsningsresultater.

Læs mere

Forelæsning Uge 2 Torsdag

Forelæsning Uge 2 Torsdag Forelæsning Uge 2 Torsdag Java syntax og style guide Sætninger Simple sætninger (assignment, interne og eksterne metodekald) Sammensatte sætninger (blok, selektion, gentagelse) Udtryk og operatorer Brug

Læs mere

De fire elementers kostbare spejl

De fire elementers kostbare spejl Projekt.6 Lineær algebra moderne og klassisk kinesisk De fire elementers kostbare spejl "Som bekendt anses matematikken for at være en meget vigtig videnskab. Denne bog om matematik vil derfor være af

Læs mere

Matematisk argumentation

Matematisk argumentation Kapitlets omdrejningspunkt er matematisk argumentation, der især bruges i forbindelse med bevisførelse altså, når det drejer sig om at overbevise andre om, at matematiske påstande er sande eller falske.

Læs mere

Eksempel på den aksiomatisk deduktive metode

Eksempel på den aksiomatisk deduktive metode Eksempel på den aksiomatisk deduktive metode Et rigtig godt eksempel på et aksiomatisk deduktivt system er Euklids Elementer. Euklid var græker og skrev Elemeterne omkring 300 f.kr. Værket består af 13

Læs mere

Eleven kan handle med overblik i sammensatte situationer med matematik. Eleven kan anvende rationale tal og variable i beskrivelser og beregninger

Eleven kan handle med overblik i sammensatte situationer med matematik. Eleven kan anvende rationale tal og variable i beskrivelser og beregninger Kompetenceområde Efter klassetrin Efter 6. klassetrin Efter 9. klassetrin Matematiske kompetencer handle hensigtsmæssigt i situationer med handle med overblik i sammensatte situationer med handle med dømmekraft

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

3 Algebra. Faglige mål. Variable og brøker. Den distributive lov. Potenser og rødder

3 Algebra. Faglige mål. Variable og brøker. Den distributive lov. Potenser og rødder 3 Algebra Faglige mål Kapitlet Algebra tager udgangspunkt i følgende faglige mål: Variable og brøker: kende enkle algebraiske udtryk med brøker og kunne behandle disse ved at finde fællesnævner. Den distributive

Læs mere

Om brugen af matematiske tegn og objekter i en god matematisk fremstilling

Om brugen af matematiske tegn og objekter i en god matematisk fremstilling Om brugen af matematiske tegn og objekter i en god matematisk fremstilling af Petur Birgir Petersen Et særpræg ved matematik som videnskab er den udstrakte brug af symboler. Det er vigtigt at symbolerne

Læs mere

tal og algebra F+E+D brikkerne til regning & matematik preben bernitt

tal og algebra F+E+D brikkerne til regning & matematik preben bernitt brikkerne til regning & matematik tal og algebra F+E+D preben bernitt brikkerne til regning & matematik tal og algebra E+D ISBN: 978-87-92488-35-0 2. udgave som E-bog 2012 by bernitt-matematik.dk Denne

Læs mere

Diskrete Matematiske Metoder. Jesper Lützen

Diskrete Matematiske Metoder. Jesper Lützen Diskrete Matematiske Metoder Jesper Lützen Juni 2013 ii Indhold Introduktion. ix 0.1 Den aksiomatisk-deduktive metode................. ix 0.2 Diskret matematik; hvad er det?.................. x 1 Tal,

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

og til summer af stambrøker. Bemærk: De enkelte brøker kan opskrives på flere måder som summer af stambrøker.

og til summer af stambrøker. Bemærk: De enkelte brøker kan opskrives på flere måder som summer af stambrøker. Hvad er en brøk? Når vi taler om brøker i dette projekt, mener vi tal på formen a, hvor a og b er hele tal (og b b 0 ), fx 2,, 3 og 3 7 13 1. Øvelse 1 Hvordan vil du forklare, hvad 7 er? Brøker har været

Læs mere

3 Algebraisk Specifikation af Abstrakte Datatyper.

3 Algebraisk Specifikation af Abstrakte Datatyper. 3 Algebraisk Specifikation af Abstrakte Datatyper. Specifikation kontra program. Bestanddele af en algebraisk specifikation. Klassificering af funktioner i en ADT. Systematisk definition af ligninger.

Læs mere

Matematik - undervisningsplan Årsplan 2015 & 2016 Klassetrin: 9-10.

Matematik - undervisningsplan Årsplan 2015 & 2016 Klassetrin: 9-10. Form Undervisningen vil veksle mellem individuelt arbejde, gruppearbejde og tavleundervisning. Materialer Undervisningen tager udgangspunkt i følgende grundbøger og digitale lærings- og undervisningsplatforme.

Læs mere

Ligningsløsning som det at løse gåder

Ligningsløsning som det at løse gåder Ligningsløsning som det at løse gåder Nedenstående er et skærmklip fra en TI-Nspirefil. Vi ser at tre kræmmerhuse og fem bolsjer balancerer med to kræmmerhuse og 10 bolsjer. Spørgsmålet er hvor mange bolsjer,

Læs mere

VisiRegn: En e-bro mellem regning og algebra

VisiRegn: En e-bro mellem regning og algebra Artikel i Matematik nr. 2 marts 2001 VisiRegn: En e-bro mellem regning og algebra Inge B. Larsen Siden midten af 80 erne har vi i INFA-projektet arbejdet med at udvikle regne(arks)programmer til skolens

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

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

Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI. Modellering

Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI. Modellering MULTI 7 Forenklede Fælles Mål Oversigt over Forenklede Fælles Mål i forbindelse med kapitlerne i MULTI Kapitel 1 Læs og skriv matematik Eleven kan kommunikere mundtligt og skriftligt med og om matematik

Læs mere

Euklids algoritme og kædebrøker

Euklids algoritme og kædebrøker Euklids algoritme og kædebrøker Michael Knudsen I denne note vil vi med Z, Q og R betegne mængden af henholdsvis de hele, de rationale og de reelle tal. Altså er { m } Z = {..., 2,, 0,, 2,...} og Q = n

Læs mere

Asymptoter. for standardforsøgene i matematik i gymnasiet. 2003 Karsten Juul

Asymptoter. for standardforsøgene i matematik i gymnasiet. 2003 Karsten Juul Asymptoter for standardforsøgene i matematik i gymnasiet 2003 Karsten Juul Indledning om lodrette asymptoter Lad f være funktionen bestemt ved =, 2. 2 Vi udregner funktionsværdierne i nogle -værdier der

Læs mere

Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80)

Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80) Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80) Opgave 1 Vi skal tegne alle de linjestykker, der forbinder vilkårligt valgte punkter blandt de 4 punkter. Gennem forsøg finder

Læs mere

Nogle grundlæggende begreber

Nogle grundlæggende begreber BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element

Læs mere

Kvadratiske matricer. enote Kvadratiske matricer

Kvadratiske matricer. enote Kvadratiske matricer enote enote Kvadratiske matricer I denne enote undersøges grundlæggende egenskaber ved mængden af kvadratiske matricer herunder indførelse af en invers matrix for visse kvadratiske matricer. Det forudsættes,

Læs mere

ALMINDELIGT ANVENDTE FUNKTIONER

ALMINDELIGT ANVENDTE FUNKTIONER ALMINDELIGT ANVENDTE FUNKTIONER I dette kapitel gennemgås de almindelige regnefunktioner, samt en række af de mest nødvendige redigerings- og formateringsfunktioner. De øvrige redigerings- og formateringsfunktioner

Læs mere

Matematisk Metode Notesamling

Matematisk Metode Notesamling Matematisk Metode Notesamling Anders Bongo Bjerg Pedersen Stud.Scient, Matematisk Institut, KU 21. november 2005 Bemærkninger til noterne: Hosliggende noter er fra faget Matematisk Metode, afholdt i blok

Læs mere

Skriftlig Eksamen Beregnelighed (DM517)

Skriftlig Eksamen Beregnelighed (DM517) Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Torsdag den 1 November 212, kl. 1 14 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af computer

Læs mere

Forenklede Fælles Mål. Matematik i marts 27. marts 2014

Forenklede Fælles Mål. Matematik i marts 27. marts 2014 Forenklede Fælles Mål Matematik i marts 27. marts 2014 Læringskonsulenter klar med bistand Side 2 Forenklede Fælles Mål hvad ligger der i de nye mål? Hvorfor nye Fælles Mål? Hvorfor? Målene bruges generelt

Læs mere

Spilstrategier, Kirsten Rosenkilde, september 2007 1. Spilstrategier

Spilstrategier, Kirsten Rosenkilde, september 2007 1. Spilstrategier Spilstrategier, Kirsten Rosenkilde, september 2007 1 1 Spilstrategier Spilstrategier De spiltyper vi skal se på her, er spil af følgende type: Spil der spilles af to spillere A og B som skiftes til at

Læs mere

Sproget Rascal (v. 2)

Sproget Rascal (v. 2) Sproget Rascal (v. 2) Til brug i K1 på kurset Oversættere Opdateret 29/11 2004 Abstract Rascal er et simpelt Pascal-lignende imperativt sprog. Dette dokument beskriver uformelt Rascals syntaks og semantik

Læs mere

Regulære udtryk og endelige automater

Regulære udtryk og endelige automater Regulære udtryk og endelige automater Regulære udtryk: deklarative dvs. ofte velegnede til at specificere regulære sprog Endelige automater: operationelle dvs. bedre egnet til at afgøre om en given streng

Læs mere

Oversættere. Vejledende løsninger til Skriftlig eksamen onsdag d. 20. april 2005

Oversættere. Vejledende løsninger til Skriftlig eksamen onsdag d. 20. april 2005 Københavns Universitet Naturvidenskabelig Embedseksamen Oversættere Vejledende løsninger til Skriftlig eksamen onsdag d. 20. april 2005 Eksamenstiden er to timer. Opgavernes vægt i procent er angivet ved

Læs mere

Matricer og lineære ligningssystemer

Matricer og lineære ligningssystemer Matricer og lineære ligningssystemer Grete Ridder Ebbesen Virum Gymnasium Indhold 1 Matricer 11 Grundlæggende begreber 1 Regning med matricer 3 13 Kvadratiske matricer og determinant 9 14 Invers matrix

Læs mere

Årsplan for 2.kl i Matematik

Årsplan for 2.kl i Matematik Årsplan for 2.kl i Matematik Vi følger matematiksystemet "Matematrix". Her skal vi i år arbejde med bøgerne 2A og 2B. Eleverne i 2. klasse skal i 2. klasse gennemgå de fire regningsarter. Specielt skal

Læs mere

Tal og Regneoperationer

Tal og Regneoperationer Tal og Regneoperationer Frank Villa 3. juli 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Kapitel 3 Betinget logik i C#

Kapitel 3 Betinget logik i C# Kapitel 3 i C# er udelukkende et spørgsmål om ordet IF. Det er faktisk umuligt at programmere effektivt uden at gøre brug af IF. Du kan skrive små simple programmer. Men når det bliver mere kompliceret

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

Hvad er svært ved beviser for gymnasieelever - og kan vi gøre noget ved det?

Hvad er svært ved beviser for gymnasieelever - og kan vi gøre noget ved det? Hvad er svært ved beviser for gymnasieelever - og kan vi gøre noget ved det? Fredag den 18. marts 2011 13:00-14:15 Auditorium F, bygn. 1534 Matematiklaboratoriet, bygn. 1536 Hvad er svært ved beviser?

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS Juli 2013 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

Hjerner i et kar - Hilary Putnam. noter af Mogens Lilleør, 1996

Hjerner i et kar - Hilary Putnam. noter af Mogens Lilleør, 1996 Hjerner i et kar - Hilary Putnam noter af Mogens Lilleør, 1996 Historien om 'hjerner i et kar' tjener til: 1) at rejse det klassiske, skepticistiske problem om den ydre verden og 2) at diskutere forholdet

Læs mere

Lineære sammenhænge. Udgave 2. 2009 Karsten Juul

Lineære sammenhænge. Udgave 2. 2009 Karsten Juul Lineære sammenhænge Udgave 2 y = 0,5x 2,5 2009 Karsten Juul Dette hæfte er en fortsættelse af hæftet "Variabelsammenhænge, 2. udgave 2009". Indhold 1. Lineære sammenhænge, ligning og graf... 1 2. Lineær

Læs mere

1 Om funktioner. 1.1 Hvad er en funktion?

1 Om funktioner. 1.1 Hvad er en funktion? 1 Om funktioner 1.1 Hvad er en funktion? Man lærer allerede om funktioner i folkeskolen, hvor funktioner typisk bliver introduceret som maskiner, der tager et tal ind, og spytter et tal ud. Dette er også

Læs mere

Den sproglige vending i filosofien

Den sproglige vending i filosofien ge til forståelsen af de begreber, med hvilke man udtrykte og talte om denne viden. Det blev kimen til en afgørende ændring af forståelsen af forholdet mellem empirisk videnskab og filosofisk refleksion,

Læs mere

På en digital indgang kan en computer kun se forskel på, om en kontakt er tændt eller slukket. Men til gengæld er den hurtig og god til at regne.

På en digital indgang kan en computer kun se forskel på, om en kontakt er tændt eller slukket. Men til gengæld er den hurtig og god til at regne. Boolesk Algebra og det binære talsystem - temahæfte informatik Dette temahæfte introducerer to-talsystemet og logiske udtryk (Boolesk algebra). Vi oplever, at de almindelige regneregler også gælder i to-talsystemet,

Læs mere

Hvad er formel logik?

Hvad er formel logik? Kapitel 1 Hvad er formel logik? Hvad er logik? I daglig tale betyder logisk tænkning den rationelt overbevisende tænkning. Og logik kan tilsvarende defineres som den rationelle tænknings videnskab. Betragt

Læs mere

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013 Punktmængdetopologi Mikkel Stouby Petersen 1. marts 2013 I kurset Matematisk Analyse 1 er et metrisk rum et af de mest grundlæggende begreber. Et metrisk rum (X, d) er en mængde X sammen med en metrik

Læs mere

Bogstavregning. En indledning for stx og hf. 2008 Karsten Juul

Bogstavregning. En indledning for stx og hf. 2008 Karsten Juul Bogstavregning En indledning for stx og hf 2008 Karsten Juul Dette hæfte træner elever i den mest grundlæggende bogstavregning (som omtrent springes over i lærebøger for stx og hf). Når elever har lært

Læs mere

Navn: Klasse: HTx1A Opgaver: 008, 009, 013, 015 & 018 Afleveringsdato: Uge 38: 18-09-2014

Navn: Klasse: HTx1A Opgaver: 008, 009, 013, 015 & 018 Afleveringsdato: Uge 38: 18-09-2014 Sæt 02 Tal og algebra Navn: Klasse: HTx1A Opgaver: 008, 009, 013, 015 & 018 Afleveringsdato: Uge 38: 18-09-2014 Rettes: Karakter: Rettes ikke: Set og godkendt: Samlet elevtid: 85 min. = 1,45 timer Sæt

Læs mere

APPENDIX A INTRODUKTION TIL DERIVE

APPENDIX A INTRODUKTION TIL DERIVE APPENDIX A INTRODUKTION TIL DERIVE z x y z=exp( x^2 0.5y^2) CAS er en fællesbetegnelse for matematikprogrammer, som foruden numeriske beregninger også kan regne med symboler og formler. Det betyder: Computer

Læs mere

FlexMatematik B. Introduktion

FlexMatematik B. Introduktion Introduktion TI-89 er fra start indstillet til at åbne skrivebordet med de forskellige applikationer, når man taster. Almindelige regneoperationer foregår på hovedskærmen som fås ved at vælge applikationen

Læs mere

Sproget Six. Til brug i rapportopgaven på kurset Oversættere. Vinter 2006. Abstract

Sproget Six. Til brug i rapportopgaven på kurset Oversættere. Vinter 2006. Abstract Sproget Six Til brug i rapportopgaven på kurset Oversættere Vinter 2006 Abstract Six er baseret på det sprog, der vises i figur 6.2 og 6.4 i Basics of Compiler Design. Den herværende tekst beskriver basissproget

Læs mere

BRP Tal. Om computer-repræsentation og -manipulation. Logaritmer

BRP Tal. Om computer-repræsentation og -manipulation. Logaritmer BRP 13.9.2006 Tal. Om computer-repræsentation og -manipulation. Logaritmer 1. Opgaverne til i dag dækker det meste af stoffet 2. Resten af stoffet logaritmer binære træer 3. Øvelse ny programmeringsopgave

Læs mere

Matematik. Grundforløbet. Mike Auerbach (2) Q 1. y 2. y 1 (1) x 1 x 2

Matematik. Grundforløbet. Mike Auerbach (2) Q 1. y 2. y 1 (1) x 1 x 2 Matematik Grundforløbet (2) y 2 Q 1 a y 1 P b x 1 x 2 (1) Mike Auerbach Matematik: Grundforløbet 1. udgave, 2014 Disse noter er skrevet til matematikundervisning i grundforløbet på stx og kan frit anvendes

Læs mere

Fejlkorligerende køder Fejlkorrigerende koder

Fejlkorligerende køder Fejlkorrigerende koder Fejlkorligerende køder Fejlkorrigerende koder Olav Geil Skal man sende en fødselsdagsgave til fætter Børge, så pakker man den godt ind i håb om, at kun indpakningen er beskadiget ved modtagelsen. Noget

Læs mere