OBS! Prøveeksamen med syntaks på tirsdag! Kursusgang 8
|
|
- Anna Olsen
- 5 år siden
- Visninger:
Transkript
1 Kursusgang 8 OBS! Prøveeksamen med syntaks på tirsdag! Kursusgang 8 Matematik Arkæologi Eksempel Semantik Bims (Basic Imperative Statements / Begrænset Imperativt Sprog) Abstrakt syntaks Transitionssystemer Definition Big-step semantik for aritmetiske udtryk Small-step semantik for Aexp Eksempel Samme Eskempel - Big step Big-step-semantik for Boolske udtryk Hovedelementerne i en semantik
2 Matematik Læs kapitel to. Arkæologi Semantik i programmeringssprog, ALGOL60 er indirekte en katalysator til semantikken. ALGOL63 var en forbedring af ALGOL60 efter kommentarer fra udviklere. Donald Knuth, definerer tex, som LaTeX er bygget på. Eksempel Semantik integer procedure awkward begin x := x + 1; (ændrer værdi af global variabel x) awkward := 3; end x := 5.. x + awkward (*udtrykker giver 8 ved evaluering fra venstre eller 9 ved evaluering fra højre*) Skal være maskinuafhængig Skal fange alle aspekter af adfærd Skal kunne danne grundlag for implementation (= være en standard) Kunne være rart at have en tilsvarende beskrivelse for et programs adfærd. - Denotationel semantik (Scott & Strachey) [Funktioner] - Strukturel operationel semantik (Plokin, Milner) [Transitionssystemer] - Aksiomatisk semantik (Hoare) [Logik] - Algebraisk semantik (OBJ) [Universel algebra] De fire semantikker er ikke rivaler! De beskriver blot tingene på forskellige måder, med hver deres styrker. Bims (Basic Imperative Statements / Begrænset Imperativt Sprog) Abstrakt syntaks (Beskriver programmets struktur, dvs. ikke dan denne findes frem til.)
3 - Syntaktiske kategorier - n (metavariable for Num) Num (numeraler) - x, y, (metavariable for Var) Var (variabler) - a Aexp (aritmetiske udtryk) - b Bexp (boolske udtryk) - S Stm (statements/kommandoer) - Opbygningsregler kaldes et sammensat udtryk kaldes de umiddelbare bestanddele kaldes et basisudtryk Hvad er dette udtryks umiddelbare bestanddele? Svar: og Det er et aritmetisk udtryk på formen, og. Transitionssystemer Definition Et transitionssystem er et tripel, er mængden af konfigurationer, er transitionsrelation og er slutkonfigurationer.
4 Big-step semantik for aritmetiske udtryk Ide: Transitioner er på formen Her (og kun idag!) skelner vi mellem numeraler og tal ved at sætte streg under numeraler. Regler: Hvis og så Skrives formelt således: sidebetingelse [add]
5 [sub] [mult] I dag: Aexp - (dvs. uden variabler!) [num] Her er en funktion Til hver numeral giver den tilsvarende talværdi, f.eks.. Vores transitionssystem for Aexp er er givet ved reglerne findes, hvis kan bevises ved brug af reglerne. skal have et derivationstræ. [num] [num] [num] [add] [mult] [num] [plus] [mult] Small-step semantik for Aexp Transitioner på formen
6 eller betegner et lille evalueringsskridt Udtryk kan nu være delvist evaluerede ; f.eks. som Så konfigurationssystemet er Aexp + (mængden af delvist evaluerede udtryk) er givet ved regler: [add 1 ] [add 2 ] [add 3 ] (Tilsvarende regler for subtraktion og multiplikation) [parent 1 ] [parent 2 ] [num] hvis er værdierne Eksempel [add 3 ] [multi 2 ]
7 Samme Eksempel - Big step [num] [add] [mult] Small-step og big-step semantikker udtrykker det samme Sætning: Det gælder for alle : hvis og kun hvis ( evalueret i et antal skridt til ) Big-step-semantik for Boolske udtryk Transitionssystem ( ) U givet ved regler [equal 1 ] hvis [equal 2 ] hvis (regler for < udeladt her) [not 1 ]
8 [not 2 ] [and 1 ] [and 2 ] [and 3 ] OBS! Denne regel er ikke kompositionel! Syntakselementer i præmisserne er ikke umiddelbare bestanddele af konklusions syntaksdele! Konstruktionen af derivationstræet slutter aldrig Hovedelementerne i en semantik Hvad består en semantik af et sprog af? (i operationel semantik) Abstrakt syntaks Syntaktiske kategorier Opbygningsregler Definition af et transitionssystem Definition af Definition af, Transitionsregler der definerer
1 Opsumering fra tidligere. 2 Dagsorden 3 BIMS. 4 Programtilstande. Statements/kommandoer (Stm) i bims. 3.1 Abstrakt syntaks for bims
1 Opsumering fra tidligere Hvis A er kontekstfrit, S er der et p > 0 s Alle s A hvor s p kan splittes op som s = uvxyz så argument 1-3 holder A er ikke kontekstfrit, hvis for ethvert bud på p kan findes
Læs mereDat 2/F6S: Syntaks og semantik 2005 Centrale emner og eksamenspensum
Dat 2/F6S: Syntaks og semantik 2005 Centrale emner og eksamenspensum Hans Hüttel 14. juni 2005 Indhold 1 Centrale emner 1 2 Fuldt pensum 2 3 Reduceret pensum 3 3.1 Hvad er fjernet her?........................
Læs merePilen ved træets rod. Hans Hüttel
Pilen ved træets rod Hans Hüttel Foråret 2004 2 Forord Endnu et år er gået, og endnu en ny udgave af Pilen ved træets rod ser dagens lys. Dette er 2004-udgaven af bogen, der er blevet til i forbindelse
Læs mere1 Program for forelæsningen
1 Program for forelæsningen Udvidelser af Bims (Kontrolstrukturer) Repeat-løkker For-løkker Non-determinisme God Ond parallelitet Alle emner hører under semantisk ækvivalens. 1.0.1 Fra tidligere.. Bims
Læs mereRettelser til Pilen ved træets rod
Rettelser til Pilen ved træets rod Hans Hüttel Pr. 12. juni 2003 Nedenstående rettelser er indsamlet af mig selv, Peter Poulsen, Martin Maach og ikke mindst Lars Schunk i løbet af foråret 2003. Simple
Læs mereSproget 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 mereDat 2/BAIT6/SW4: Syntaks og semantik En manual for studerende
Dat 2/BAIT6/SW4: Syntaks og semantik En manual for studerende Hans Hüttel Foråret 2011 Indhold Indhold 1 1 Kurset er lavet om! 1 2 Kursets indhold 2 2.1 Kursets emner................................ 2
Læs mere26 Programbeviser I. Noter. PS1 -- Programbeviser I. Bevis kontra 'check af assertions' i Eiffel. Betingelser og bevisregler.
26 Programbeviser I. Bevis kontra 'check af assertions' i Eiffel. Betingelser og bevisregler. Hvad er programverifikation? Bevisregel for 'tom kommando'. Bevisregel for assignment. Bevisregler for selektive
Læs meredynamisk geometriprogram regneark Fælles mål På MULTIs hjemmeside er der en oversigt over, hvilke Fælles Mål der er sat op for arbejdet med kapitlet.
Algebra og ligninger - Facitliste Om kapitlet I dette kapitel om algebra og ligninger skal eleverne lære at regne med variable, få erfaringer med at benytte variable Elevmål for kapitlet Målet er, at eleverne:
Læs mereHenrik Bulskov Styltsvig
Matematisk logik Henrik Bulskov Styltsvig Datalogiafdelingen, hus 42.1 Roskilde Universitetscenter Universitetsvej 1 Postboks 260 4000 Roskilde Telefon: 4674 2000 Fax: 4674 3072 www.dat.ruc.dk Disposition
Læs mereBaggrundsnote 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 mereElementær Matematik. Mængder og udsagn
Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er
Læs merePython 3 kursus lektion 1:
Python 3 kursus lektion 1: Her laves et nyt program Her køre programmet! Her skrives koden: Gem (CTRL-s) Tryk F5 (for at køre) www.madsmatik.dk d.14-01-2016 1/5 At skrive til skærmen: Hello World Man kan
Læs mereEn 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 mereDat 2/F6S/SW4: Syntaks og semantik En manual for studerende
Dat 2/F6S/SW4: Syntaks og semantik En manual for studerende Hans Hüttel Foråret 2010 Indhold Indhold 1 1 Om denne manual 1 2 Om kursets indhold 2 2.1 Hvilke emner rummer kurset?.................. 2 2.2
Læs mere3 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 mereSproget 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 mereSproget Limba. Til brug i G1 og K1. Dat1E 2003
Sproget Limba Til brug i G1 og K1 Dat1E 2003 Abstract Limba er et simpelt imperativt sprog med hoballokerede tupler. Dette dokument beskriver uformelt Limbas syntaks og semantik samt en fortolker for Limba,
Læs mereNoter 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 mereMatematik. 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 mereFælles Mål Danmarks privatskoleforening den 15.01.2014
Fælles Mål Danmarks privatskoleforening den 15.01.2014 Baggrund Nationale undersøgelser Fælles Mål er for omfattende, diffuse, ikke prioriterede og i nogle tilfælde for brede. Fælles Mål kobles ikke til
Læs mereJavaScript. 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 mere4 Basal Objekt-orienteret Programmering I.
4 Basal Objekt-orienteret Programmering I. Klasser i forhold til abstrakte datatyper og record-typer. Variable og operationer. Klasse-interfaces. Klasser og typer. Klasse-instantiering og initialisering.
Læs mereSip2Sep. Gruppe d206a Jakob Svane Knudsen Mikkel Larsen Pedersen Simon Nicholas M Tinggaard Rune Leth Wejdling
Sip2Sep DAT2-projekt, Aalborg Universitet Institut for Datalogi Gruppe d206a Jakob Svane Knudsen Mikkel Larsen Pedersen Simon Nicholas M Tinggaard Rune Leth Wejdling Institut for Datalogi Titel: Sip2Sep
Læs mereProgrammering, 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 mereFormler & algebra - Fase 2 Omskriv & beregn med variable
Navn: Klasse: Formler algebra - Fase Omskriv beregn med variable Vurdering fra til 5 (hvor 5 er højst) Læringsmål Selv Lærer Beviser og forslag til forbedring. Jeg kan opstille en linjes ligning, når jeg
Læs mereTal 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 mereOversigt 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 mereKortspil. - Card Language - SW409f14. Projekt Rapport. Aalborg Universitet Institut for Datalogi Selma Lagerlöfs Vej 300 DK-9220 Aalborg
Kortspil - Card Language - Projekt Rapport SW409f14 Aalborg Universitet Institut for Datalogi Selma Lagerlöfs Vej 300 DK-9220 Aalborg Copyright Aalborg University 2014 Institut for Datalogi Selma Lagerlöfs
Læs mereFormler & algebra - Fase 3 Sammenligne algebraiske udtryk
Navn: Klasse: Formler algebra - Fase 3 Sammenligne algebraiske udtryk Vurdering fra 1 til 5 (hvor 5 er højst) Læringsmål Selv Lærer Beviser og forslag til forbedring 1. Jeg kan vurdere og bevise, om to
Læs mereProgram for de næste 3 1/4 dobbeltlektion
Matricer Program for de næste 3 1/4 dobbeltlektion Tirsdag 3. september 11.00 12.00: Afsnit 8.1, 8.2, 8.3 og 8.5 Torsdag 5. september 12.30 16.15 12.30 14.15: Opgaveregning lokale 261/409 14.30: Vi mødes
Læs mereUdsagnslogik. Anker Mørk Thomsen. 6. december 2013
Udsagnslogik Anker Mørk Thomsen 6. december 2013 Logiske Udsagn Sætningstyper Spørgende (interrogative): Hvor længe bliver du i byen? Befalinger (imperative): Gå tilvenstre efter næste sving? Ønsker (optative):
Læs mereInduktive 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 mereFFM Matematik pop-up eftermiddag. CFU, UCC 11. Maj 2015
FFM Matematik pop-up eftermiddag CFU, UCC 11. Maj 2015 Formål Deltagerne har: Kendskab til Forenklede Fælles Måls opbygning Kendskab til tankegangen bag den målstyrede undervisning i FFM Kendskab til læringsmål
Læs mereForenklede Fælles mål
Forenklede Fælles mål Dansma København okt 2014 1 EVA rapport 2012 Undersøgelse af læreres brug af Fælles Mål i dansk og mat 4. og 7. klasse: Lærerne er ikke målstyrede i den måde, de planlægger og tilrettelægger
Læs mereIntroduktion til prædikatlogik
Introduktion til prædikatlogik Torben Braüner Datalogisk Afdeling Roskilde Universitetscenter 1 Plan Symbolisering af sætninger Syntaks Semantik 2 Udsagnslogik Sætningen er den mindste syntaktiske enhed
Læs mereProgrammering for begyndere Lektion 2. Opsamling mm
Lektion 2 Opsamling mm God tone Der er indlagt spørge sessioner Lektion 2 - Agenda Programmering for Lidt ændringer til teknikken, herunder hvordan du genser en lektion Lidt generelle tilbagemeldinger
Læs mereProgrammering i C. Kursusintroduktion. Lektion september Målgruppe 2 Indhold 3 Form 4 Materiale. Målgruppe Indhold Form Materiale
Programmering i C Lektion 1 16. september 2008 Målgruppe Indhold Form Materiale Kursusintroduktion 1 Målgruppe 2 Indhold 3 Form 4 Materiale 2 / 21 Målgruppe Indhold Form Materiale Folk der har styr på
Læs mereIntroduktion til den afledede funktion
Introduktion til den afledede funktion Scenarie: Rutsjebanen Tilsigtede viden Bredere kompetencemål Nødvendige matematiske forudsætninger Tid Niveau Materialer til rådighed At give en forståelse for konceptet
Læs mereGrafmanipulation. Frank Nasser. 14. april 2011
Grafmanipulation Frank Nasser 14. 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 er
Læs mereDe 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 mereLogik. 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 mereFolkeskolereformen nye muligheder Hotel Nyborg Strand 23.04.2014
Folkeskolereformen nye muligheder Hotel Nyborg Strand 23.04.2014 Nationale mål, resultatmål og Fælles Mål Tre nationale mål 1. Folkeskolen skal udfordre alle elever, så de bliver så dygtige, de kan 2.
Læs mereÅ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 mereDatalogi OB, Efterår 2002 OH er, forelæsning 3/9-2002 - forstå datastrukturer og algoritmer (teoretisk forståelse og intuition)
Datalogi OB, Efterår 2002 OH er, forelæsning 3/9-2002 Datastrukturer og algoritmer Henning Christiansen henning@ruc.dk http://www.ruc.dk/~henning Formål: at kunne - forstå datastrukturer og algoritmer
Læs mereFibonacci 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 mereLæseplan for valgfaget teknologiforståelse
Læseplan for valgfaget teknologiforståelse (forsøg) Indhold Indledning 3 Trinforløb for 7.- 9. klassetrin 4 Design 4 Programmering 5 Indledning Valgfaget teknologiforståelse er etårigt og kan vælges i
Læs mereForenklede 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 mereTypes, tokens og rationalisme i matematikkens filosofi
Types, tokens og rationalisme i matematikkens filosofi Klaus Frovin Jørgensen Afdelingen Filosofi og Videnskabsteori, RUC 6. marts, 2010 1 / 29 Hilbert og den aksiomatiske metode David Hilbert (1862-1943)
Læs mereIntroduktion 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 mereSymbolbehandlingskompetencen 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 mere1 Grundbegreber. Noter. Stilarter i programmering og sprog. Syntaks og semantik. Datatyper. Kontrolstrukturer. Udtryk. Abstraktioner.
1 Grundbegreber. Stilarter i programmering og sprog. Syntaks og semantik. Datatyper. Kontrolstrukturer. Udtryk. Abstraktioner. Parametermekanismer. Blokke og navnebindinger. Scope og scoperegler. 3 Parallelle
Læs mereCrash Course i Programmering. HumTek, RUC
Crash Course i Programmering HumTek, RUC Kursus mål At give en basal introduktion til programmering i sproget Processing At give et overblik over sprogets potentiale At have det sjovt :-) Kursus form Meget
Læs merePython programmering. Per Tøfting. MacFest
Python programmering MacFest 2005 Per Tøfting http://pertoefting.dk/macfest/ Indhold Måder at afvikle Python program på Variabler Data typer Tal Sekvenser Strenge Tupler Lister Dictionaries Kontrolstrukturer
Læs mereEksempel 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 mereI denne artikel vil du ved hjælp af arrays kunne afrunde et decimaltal til et helt tal.
Denne guide er oprindeligt udgivet på Eksperten.dk Afrund til helt tal I denne artikel vil du ved hjælp af arrays kunne afrunde et decimaltal til et helt tal. Skrevet den 03. Feb 2009 af tjomsen I kategorien
Læs mereGrundlæ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 mereMichel Mandix (2014) INDHOLDSFORTEGNELSE:... 2
MATEMATIK NOTAT 02 - ARITMETIK & ALGEBRA AF: CAND. POLYT. MICHEL MANDIX SIDSTE REVISION: AUGUST 2017 Aritmetik og Algebra Side 2 af 16 Indholdsfortegnelse: INDHOLDSFORTEGNELSE:... 2 ARITMETIK... 3 REGNEARTERNE...
Læs mereAppendiks 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 mereEVALUERING I SURVEYXACT TRIN FOR TRIN
EVALUERING I SURVEYXACT TRIN FOR TRIN LÆR AT TACKLE 2015 KOMITEEN FOR SUNDHEDSOPLYSNING 1 INDLEDNING Komiteen for Sundhedsoplysning stiller SurveyXact et internetbaseret redskab til kvalitetssikring til
Læs merefortsætte høj retning mellem mindre over større
cirka (ca) omtrent overslag fortsætte stoppe gentage gentage det samme igen mønster glat ru kantet høj lav bakke lav høj regel formel lov retning højre nedad finde rundt rod orden nøjagtig præcis cirka
Læs mereTal. 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 mereRegning. Mike Vandal Auerbach ( 7) 4x 2 y 2xy 5. 2x + 4 = 3. (x + 3)(2x 1) = 0. (a + b)(a b) a 2 + b 2 2ab.
Mike Vandal Auerbach Regning + 6 ( 7) (x + )(x 1) = 0 x + = 7 + x y xy 5 7 + 5 (a + (a a + b ab www.mathematicus.dk Regning 1. udgave, 018 Disse noter er en opsamling på generelle regne- og algebraiske
Læs mereKapitel 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 mereRegularitet & Automater Eksamensnotater
Regularitet & Automater Eksamensnotater Michael Lind Mortensen, 20071202, DAT4 10. juni 2008 Indhold 1 Regulære udtryk (1.5 & 3.1) 4 1.1 Disposition............................ 4 1.2 Noter...............................
Læs mereSkriftlig eksamen, Programmer som Data Onsdag 6. januar Spørgsmål 1 (20 %): Regulære udtryk og automater
Skriftlig eksamen, Programmer som Data Onsdag 6. januar 2010 Dette eksamenssæt har 5 sider. Tjek med det samme at du har alle siderne. Eksamens varighed er 4 timer. Der er fire spørgmål. For at få fuldt
Læs mereGrundlæ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 mereFormativ brug af folkeskolens prøver. Den skriftlige prøve i matematik i 10. klasse, FP10, maj 2018
Formativ brug af folkeskolens prøver Den skriftlige prøve i matematik i 10. klasse, FP10, maj 2018 1 Til matematiklæreren i 10. klasse Dette er en rapport om den skriftlige prøve i matematik maj 2018.
Læs mereNoter til Perspektiver i Matematikken
Noter til Perspektiver i Matematikken Henrik Stetkær 25. august 2003 1 Indledning I dette kursus (Perspektiver i Matematikken) skal vi studere de hele tal og deres egenskaber. Vi lader Z betegne mængden
Læs mereSyntaks og syntaksgenkendelse, særligt regulære udtryk og tilstandsmaskiner og lidt om anvendelser i bioinformatik
Datalogi C, RUC Forelæsning 22. november 2004 Henning Christiansen Syntaks og syntaksgenkendelse, særligt regulære udtryk og tilstandsmaskiner og lidt om anvendelser i bioinformatik Dagens program Hvad
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Uddannelse Fag og niveau Lærer(e) Hold Termin hvori undervisningen afsluttes: maj-juni 2012 Københavns
Læs mereØ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 mereDokumentation af programmering i Python 2.75
Dokumentation af programmering i Python 2.75 Af: Alexander Bergendorff Jeg vil i dette dokument, dokumentere det arbejde jeg har lavet i løbet opstarts forløbet i Programmering C. Jeg vil forsøge, så vidt
Læs mereAlgebra. 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 mereFørste del af rapporten består af et diagram, der viser, hvor mange point eleverne på landsplan fik i de enkelte opgaver.
Til matematiklæreren Dette er en rapport omtaler prøven med hjælpemidler maj 2016. Rapporten kan bruges til at evaluere dit arbejde med klassen og få ideer til dit arbejde med kommende klasser i overbygningen.
Læs mereAlgebra 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 mereOm matematisk logik. Henning Christiansen, Troels Andreasen
Om matematisk logik Henning Christiansen, Troels Andreasen Contents 1 Indledning 3 2 Propositionel logik 5 2.1 Propositionelle logiksprog..................... 5 2.1.1 Syntaks...........................
Læs mereMatematikbog i 50 erne. Hvad er matematik anno 2015? Matematikbog 60 erne. Matematikbog 70 80 erne 07-05-2015. Bent Lindhardt 1
Matematikbog i 50 erne Hvad er matematik anno 2015? En bonde sælger en sæk kartofler for 40 kr. Fremstillingsomkostningerne er 4/5 af salgsindtægterne. 2 Hvor stor er fortjenesten? 1 Bent Lind hard t Matematikbog
Læs mereEvaluering 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 mereMaple. Skærmbilledet. Vi starter med at se lidt nærmere på opstartsbilledet i Maple. Værktøjslinje til indtastningsområdet. Menulinje.
Maple Dette kapitel giver en kort introduktion til hvordan Maple 12 kan benyttes til at løse mange af de opgaver, som man bliver mødt med i matematiktimerne på HHX. Skærmbilledet Vi starter med at se lidt
Læs mereErrata pr. 1. sept Rettelser til Ypsilon 1. udgave, 1. oplag
Errata pr. 1. sept. 2009 Rettelser til Ypsilon 1. udgave, 1. oplag Rettelserne herunder er foretaget i 2. oplag af bogen. Desuden forekommer der mindre rettelser i 2. oplag, som ikke er medtaget her, da
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Uddannelse Fag og niveau Lærer(e) Hold Termin hvori undervisningen afsluttes: maj-juni 2011 Københavns
Læs mereGö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 mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Uddannelse Fag og niveau Lærer(e) Hold Termin hvori undervisningen afsluttes: maj-juni 2015 Københavns
Læs mereProgression frem mod skriftlig eksamen
Progression frem mod skriftlig eksamen Ikke alle skal have 12 Eksamensopgavernes funktion i det daglige og til eksamen Progression i sættet progression i den enkelte opgave Hvornår inddrages eksamensopgaver
Læs mereKapital- og rentesregning
Rentesregning Rettet den 28-12-11 Kapital- og rentesregning Kapital- og rentesregning Navngivning ved rentesregning I eksempler som Niels Oles, hvor man indskyder en kapital i en bank (én gang), og banken
Læs merePRØV! mundtlig til undervisningen og prøvesituationen
PRØV! mundtlig til undervisningen og prøvesituationen - Teoretisk grundlag for prøverne - Liste med links - Portalen: PRØV!Mundtlig matematik Niveau 1 vedrører viden om objekter, definitioner, tekniske
Læs mereIntroduktion til Domæneteori
Introduktion til Domæneteori 1995 Mads Rosendahl Datalogisk Institut Københavns Universitet Disse noter er skrevet til Introduktionskurset i Semantik afholdt første gang i efteråret 1992. Noterne er siden
Læs mere22 Hobe. Noter. PS1 -- Hobe. Binære hobe. Minimum-hob og maximum-hob. Den abstrakte datatype minimum-hob. Opbygning af hobe. Operationen siv-ned.
22 Hobe. Binære hobe. Minimum-hob og maximum-hob. Den abstrakte datatype minimum-hob. Opbygning af hobe. Operationen siv-ned. Indsættelse i hobe. Sletning af minimalt element i hobe. Repræsentation. 327
Læs mereMattip om. Færdighedsregning på mellemtrinnet. Du skal øve: Kan ikke Kan næsten Kan. Addition (plusstykker) Subtraktion (minusstykker)
Mattip om Færdighedsregning på mellemtrinnet Du skal øve: Addition (plusstykker) Kan ikke Kan næsten Kan Subtraktion (minusstykker) Multiplikation (gangestykker) Division (delestykker) Decimaltal (blandede
Læs mereMathcad Survival Guide
Mathcad Survival Guide Mathcad er en blanding mellem et tekstbehandlingsprogram (Word), et regneark (Ecel) og en grafisk CAS-lommeregner. Programmet er velegnet til matematikopgaver, fysikrapporter og
Læs mere3 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 mereLineær Algebra, kursusgang
Lineær Algebra, 2018 1. kursusgang Lisbeth Fajstrup Institut for Matematiske Fag Aalborg Universitet LinAlg September 2018 Velkommen til Lineær algebra Kursusholder - Lisbeth Fajstrup. Kontor: Skjernvej
Læs mereFunktioner og ligninger
Eleverne har både i Kolorit på mellemtrinnet og i Kolorit 7 matematik grundbog arbejdet med funktioner. I 7. klasse blev funktionsbegrebet defineret, og eleverne arbejdede med forskellige måder at beskrive
Læs mereBoolesk 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 mereEVALUERING I SURVEYXACT TRIN FOR TRIN
EVALUERING I SURVEYXACT TRIN FOR TRIN LÆR AT TACKLE 2015 KOMITEEN FOR SUNDHEDSOPLYSNING 1 INDLEDNING Komiteen for Sundhedsoplysning stiller SurveyXact et internetbaseret redskab til kvalitetssikring til
Læs mereMS Visual Studio Basic 2010. En kort vejledning
Du kan hente programmet gratis her: MS Visual Studio Basic 2010 Express http://www.microsoft.com/visualstudio/eng/downloads#d-2010-express Tryk på Install Now og følg vejledningen. Indholdsfortegnelse
Læs mereGrundlæ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 mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Termin hvori undervisningen afsluttes: maj-juni 2012 Københavns Tekniske Skole, HTX Vibenhus Uddannelse
Læs mereLineæ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