Forelesning 2. Boolsk algebra og logiske porter

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "Forelesning 2. Boolsk algebra og logiske porter"

Transkript

1 Forelesning 2 Boolsk algebra og logiske porter

2 Hovedpunkter Toverdi Boolsk algebra Huntington s postulater Diverse teorem Boolske funksjoner med sannhetstabell Forenkling av uttrykk (port implementasjon) Komplement av uttrykk Maksterm / minterm Flerinputsporter Designprosedyre med eksempler 2

3 Algebra, definisjon Algebraisk system: Mengde av elementer Et sett av operasjoner på elementene (funksjoner) som tilfredsstiller en liste av aksiomer/postulater Aksiom/postulat Regler som ikke skal bevises (utgangspunkt for algebraisk system) Eksempler på algebraiske system: Vanlig algebra, Boolsk algebra, matrise algebra, osv... Algebra - Studiet av algebraiske system 3

4 Digitale system, anvendelser Vanlig regning med tall: Beskrives av vanlig algebra Eksempler: ALU-PC Signalprosessorer osv... NB: vanlig algebra inkluderer også binære tall, siden eneste forskjell er representasjonen Logiske operasjoner: Beskrives av Boolsk algebra Eksempler: Generering av binære utfall gitt ett sett med binære hendelser Oppbygging av aritmetiske funksjoner 4

5 Hvorfor trenger vi en Boolsk algebra? Muliggjør design av komplekse digitale system Muliggjør analyse av komplekse digitale system Forenkling av logiske uttrykk - Gir enklere fysisk implementasjon 5

6 Eksempel: Vanlig algebra x + y Abstrakt begrep: kropp Mengden av reelle tall u v /7. -25, / /7 π.. 3 Liste av aksiomer

7 Boolsk algebra 7 x + y Generell mengde av element. s t. + og er generelle operasjoner Teoretisk konstruksjon brukt i mengdelære og statestikk George Boole 854 Liste av aksiomer (Huntington)

8 Toverdi Boolsk algebra Et konkret eksempel på Boolsk algebra (Shannon 938) x + y s t (C.E. Shannon 938) 8 + og symboliserer OR / AND Mengden av elementene og Shannon viste at Boolsk algebra var et veldig nyttig verktøy for digitale systemer. Huntington s postulater

9 Toverdi Boolsk algebra Definisjon: Mengde: {,} 2 operasjoner på mengden over: OR + AND Merk: +/ har ingenting med addisjon og multiplikasjon å gjøre x y AND x y OR x y x+y 9

10 Huntington postulater / toverdi Boolsk algebra P: Mengden {,} er lukket under + og lukket P2: x + = x x = x ident. el. P5: x + x = x x = komplem. P6: minst 2 el. P3: x + y = y + x x y = y x kommutativ P4: x (y+z) = x y + x z x+(y z) = (x+y) (x+z) distributiv Dualitet for postulatene: kan bytte med + hvis man bytter med Presedens: først utføres (), så, så og til slutt + E E

11 Teorem P2: x + = x x = x P5: x + x = x x = P4: x + (y z) = (x + y) (x + z) Teorem a: x + x = x Bevis: x + x = (x + x) P2 x + x = (x + x) (x + x ) x + x = x + (x x ) x + x = x + x + x = x P5 P4 P5 P2

12 Teorem P2: x + = x x = x P5: x + x = x x = P4: x (y + z) = x y + x z Teorem b: x x = x Bevis: x x = x x + P2 x x = x x + x x x x = x (x + x ) x x = x x x = x P5 P4 P5 P2 2

13 Teorem P2: x = x P3: x y = y x P5: x + x = P4: x+(y z) = (x+y) (x+z) Teorem 2a: x + = Bevis: x + = (x + ) P2 x + = (x + ) (x + x ) x + = x + x x + = x + x x + = P5 P4 P2 P5 3

14 Flere teorem Dualitet for ligninger utledet fra postulat: kan bytte med + hvis man bytter med Teorem 2b: x = Bevis: x + = dualitet av teorem 2a 4

15 Et siste, men sentralt teorem DeMorgans teorem (mye brukt): (x y) = x + y (x + y) = x y På invertert form: x y = (x + y ) x + y = (x y ) 5

16 Teorem/postulatliste x + = x x = x x + x = xx = x + y = y + x xy = yx x + (y+z) = (x+y) + z x (yz) = (xy)z x(y+z) = xy + xz x + (yz) = (x+y)(x+z) x + x = x x x = x x + = x = x + xy = x x(x+y) = x (x+y) = x y (xy) = x + y 6

17 Boolske funksjoner Tilordner en binær variabel F en verdi bestemt av verdien på en eller flere andre binære variabler. Eksempel: F = x + y z Direkte port-implementasjon: y y z 7

18 Sannhetstabell En boolsk funksjon kan visualiseres i en sannhetstabell Eksempel: F = x + y z En gitt funksjon har kun en sannhetstabell Men, en gitt sannhetstabell har uendelig mange funksjonsuttrykk Stikkord: forenkling av funksjonsuttrykk x y z F 8

19 Forenkling av uttrykk Eksempel: F 2 = x y z + x yz + xy Forenkling F 2 = x z + xy Prosedyre: F 2 = x z(y + y) + xy F 2 = x z + xy F 2 = x z + xy 9

20 Port-implementasjon av F 2 x y z x yz xy xy x z 2

21 Forenklingseksempler Eksempel: F = x(x +y) F = xx +xy F = +xy F = xy Eksempel: F = x+x y F = (x+x )(x+y) F = (x+y) F = x+y Eksempel: F = (x+y)(x+y ) F = x + (yy ) F = x + F = x 2

22 Forenklingseksempler Eksempel: F = xy+x z+yz F = xy+x z+yz(x+x ) F = xy+x z+xyz+x yz F = xy(+z)+x z(+y) F = xy+x z Eksempel: F = (x+y)(x +z)(y+z) F = (x+y)(x +z) Dualitet 22

23 Komplement av funksjon Inverterer begge sider, og bruker DeMorgan Eksempel: F = x yz +x y z F = (x yz +x y z) F = (x yz ) (x y z) F = (x+y +z)(x+y+z ) Eksempel: F = x(y z +yz) F = (x(y z +yz)) F = x +(y z +yz) F = x +(y z ) (yz) F = x +(y+z)(y +z ) 23

24 Minterm I en funksjon kan en binær variabel x opptre som x eller x En funksjon kan være gitt på sum av produkt form Eksempel: F = xy + xy + x Hvert produktledd som inneholder alle variablene kalles en minterm For to variable fins det 4 forskjellige mintermer: xy + xy + x y + x y 24 For 3 variable fins det 2 3 forskjellige mintermer: xyz + xyz + xy z + xy z +x yz + x yz + x y z + x y z

25 Maksterm En funksjon kan være gitt på produkt av sum form Eksempel: F = (x+y)(x+y )y Hvert summeledd som inneholder alle variablene kalles en maksterm For to variable fins det 4 forskjellige makstermer: (x+y)(x+y )(x +y)(x +y ) For n variable fins det 2 n forskjellige makstermer: 25

26 Sannhetstabell til mintermer Hvis man genererer en funksjon ut i fra sannhetstabellen får man en sum av mintermer Eksempel: F = x y z F x y z + xy z + xyz En sannhetstabell kan sees på som en liste av mintermer! 26

27 Notasjon Mintermer / maxtermer har notasjon m x / M x Funksjoner som bare består av sum/produkt av min/maxtermer (kanonisk form) har følgende notasjon Eksempel: F(x,y,z) = Σ(m 3, m 6 ) = Σ(3, 6) = x yz+xyz F(x,y,z) = Π(M 3, M 6 ) = Π(3, 6) = (x+y +z )(x +y +z) 27

28 Flerinputs-porter 28 Flerinputsimplementasjon av AND / OR kan lages direkte AND A B C F OR x y z F

29 Flerinputs-porter 29 Flerinputsimplementasjon av NAND / NOR kan ikke lages direkte Mulig løsning Mulig løsning F = (ABC) F = (x+y+z) NAND A B C F NOR x y z F

30 Flerinputs-porter Flerinputsimplementasjon av XOR (oddefunksjon) kan lages direkte F = x y z XOR A B C F 3

31 Designeksempel Styring av heis Inngangssignaler fra sensorer: K - Knapp trykket inn: / V - Overvekt: / D - Dør lukket: / Utgangssignal til aktuator: M - Motor på: / K V D M M = KV D K V D Kontroll logikk M 3

32 Designeksempel Implementasjon av kontroll logikken M = KV D V 32

33 Designeksempel Hva om man bare har 2-inputs NAND porter? M = KV D M = K (VV) D M = (VV) (DK) M = ((VV) (DK) ) 33

34 Designeksempel Hva om man bare har 2-inputs NAND/NOR porter? M = ((VV) (DK) ) DeMorgan: M = ( (VV) (DK) ) M = ( (VV) + (DK) ) M = (V+(DK) ) 34

35 Forenkling på portnivå Det er ikke alltid at det enkleste funksjonsuttrykket resulterer i den enkleste port-implementasjonen Ved forenkling på portnivå må man vite hvilke porter man har til rådighet, og så justere funksjonsuttrykket mot dette. (håndverk) 35

36 Generell design prosedyre. Bestem hvilke signal som er innganger og utganger 2. Sett opp sannhetstabell for alle inngangskombinasjoner 3. Generer funksjonsuttrykket som sum av mintermer 4. Tilpass /forenkle funksjonsuttrykket mot aktuelle porter 36

37 Oppsummering Boolsk algebra - Huntington postulat - Diverse teoremer Boolske funksjoner Minterm / maksterm / sannhetstabell Komplementer / DeMorgan Forenkling av uttrykk Port-implementasjoner Flerinputsporter Designprosedyre 37

INF1400. Digital teknologi. Joakim Myrvoll 2014

INF1400. Digital teknologi. Joakim Myrvoll 2014 INF1400 Digital teknologi Joakim Myrvoll 2014 Innhold 1 Forenkling av funksjonsuttrykk 3 1.1 Huntingtons postulater......................................... 3 1.2 DeMorgans...............................................

Detaljer

Datamaskiner og operativsystemer =>Datamaskinorganisering og arkitektur

Datamaskiner og operativsystemer =>Datamaskinorganisering og arkitektur Datamaskiner og operativsystemer =>Datamaskinorganisering og arkitektur Lærebok: Computer organization and architecture/w. Stallings. Avsatt ca 24 timers tid til forelesning. Lærestoffet bygger på begrepsapparat

Detaljer

Prosent- og renteregning

Prosent- og renteregning FORKURSSTART Prosent- og renteregning p prosent av K beregnes som p K 100 Eksempel 1: 5 prosent av 64000 blir 5 64000 =5 640=3200 100 p 64000 Eksempel 2: Hvor mange prosent er 9600 av 64000? Løs p fra

Detaljer

ITPE2400/DATS2400: Datamaskinarkitektur

ITPE2400/DATS2400: Datamaskinarkitektur ITPE2400/DATS2400: Datamaskinarkitektur Forelesning 6: Mer om kombinatoriske kretser Aritmetikk Sekvensiell logikk Desta H. Hagos / T. M. Jonassen Institute of Computer Science Faculty of Technology, Art

Detaljer

System av likninger. Den andre likningen løses og gir x=1, hvis man setter x=1 i første likning får man

System av likninger. Den andre likningen løses og gir x=1, hvis man setter x=1 i første likning får man System av likninger System av likninger er en mengde likninger med flere ukjente. I økonomiske sammenheng er disse svært vanlige ved optimering. Ofte må vi kreve deriverte lik null for å optimere. I kurset

Detaljer

RAPPORT LAB 3 TERNING

RAPPORT LAB 3 TERNING TFE4110 Digitalteknikk med kretsteknikk RAPPORT LAB 3 TERNING av June Kieu Van Thi Bui Valerij Fredriksen Labgruppe 201 Lab utført 09.03.2012 Rapport levert: 16.04.2012 FAKULTET FOR INFORMASJONSTEKNOLOGI,

Detaljer

Uke 4: z-transformasjonen

Uke 4: z-transformasjonen Uke 4: z-transformasjonen Jo Inge Buskenes Institutt for informatikk, Universitetet i Oslo INF3470/4470, høst 2011 2/26 Dagens temaer z-dometet; ett av tre domener z-transformasjonen; definisjon og egenskaper

Detaljer

PENSUM INF1400 H11. Joakim Myrvoll Johansen. Digital Design, M. Morris Mano, 4th edition

PENSUM INF1400 H11. Joakim Myrvoll Johansen. Digital Design, M. Morris Mano, 4th edition PENSUM INF1400 H11 Digital Design, M. Morris Mano, 4th edition Joakim Myrvoll Johansen 1 STIKKORDREGISTER: 2'er komplement s. 20 AND s. 25 Binær adder s. 34 Boolsk algebra s. 22, 26 CMOS s. 10 CPU s. 48

Detaljer

Digitalstyring sammendrag

Digitalstyring sammendrag Digitalstyring sammendrag Boolsk algebra A + A = 1 AA = 0 A + A = A AA = A A + 0 = A A 1 = A A + 1 = 1 A 0 = 0 (A ) = A A + B = B + A AB = BA A + (B + C) = (A + B) + C A(BC) = (AB)C A(B + C) = AB + AC

Detaljer

MIK 200 Anvendt signalbehandling, 2012. Lab. 5, brytere, lysdioder og logikk.

MIK 200 Anvendt signalbehandling, 2012. Lab. 5, brytere, lysdioder og logikk. Stavanger, 25. januar 2012 Det teknisknaturvitenskapelige fakultet MIK 200 Anvendt signalbehandling, 2012. Lab. 5, brytere, lysdioder og logikk. Vi skal i denne øvinga se litt på brytere, lysdioder og

Detaljer

Lær å bruke Microsoft Mathematics, Matematikk-tillegget i Word og WordMat. Av Sigbjørn Hals

Lær å bruke Microsoft Mathematics, Matematikk-tillegget i Word og WordMat. Av Sigbjørn Hals Lær å bruke Microsoft Mathematics, Matematikk-tillegget i Word og WordMat Av Sigbjørn Hals 1 Innhold Hva er matematikktillegget for Word?... 2 Nedlasting og installasjon av matematikktillegget for Word...

Detaljer

Lineær Algebra og Vektorrom. Eivind Eriksen. Høgskolen i Oslo, Avdeling for Ingeniørutdanning

Lineær Algebra og Vektorrom. Eivind Eriksen. Høgskolen i Oslo, Avdeling for Ingeniørutdanning Lineær Algebra og Vektorrom Eivind Eriksen Høgskolen i Oslo, Avdeling for Ingeniørutdanning c Eivind Eriksen 2005. Innhold Kapittel 1. Lineære likningssystemer 1 1.1. Lineære likningssystemer i to variable

Detaljer

0 5 & # 5 0 5 6 5.. ! # %! & (% ) % + 3 % / / 5!!87/ (92) 9:., 5 88 ( ;< 2) +, % 4!( <

0 5 & # 5 0 5 6 5.. ! # %! & (% ) % + 3 % / / 5!!87/ (92) 9:., 5 88 ( ;< 2) +, % 4!( < ! # %! & (% ) % & +, %. / 0 1 2 3 + 3% 4 & 0 5 & #5 0 5 6 5.. 0 7 & / / 5!!87/ (92) 9:., 588 (;

Detaljer

Andre funksjoner som NAND, NOR, XOR og XNOR avledes fra AND, To funksjoner er ekvivalente hvis de for alle input-kombinasjoner gir

Andre funksjoner som NAND, NOR, XOR og XNOR avledes fra AND, To funksjoner er ekvivalente hvis de for alle input-kombinasjoner gir 2 1 Dgens temer Dgens temer hentes fr kpittel 3 i Computer Orgnistion n Arhiteture Kort repetisjon fr forrige gng Komintorisk logikk Anlyse v kretser Eksempler på yggelokker Forenkling vh. Krnugh-igrm

Detaljer

Dagens temaer. 3 domener. Tema. Time 4: z-transformasjonen. z-dometet; ett av tre domener. Andreas Austeng@ifi.uio.no, INF3470

Dagens temaer. 3 domener. Tema. Time 4: z-transformasjonen. z-dometet; ett av tre domener. Andreas Austeng@ifi.uio.no, INF3470 Dagens temaer Time 4: z-transformasjonen Andreas Austeng@ifi.uio.no, INF3470 z-dometet; ett av tre domener z-transformasjonen; definisjon og egenskaper Ifi/UiO September 2009 H(z); systemfunksjonen og

Detaljer

KAPITTEL 3 Litt logikk og noen andre småting

KAPITTEL 3 Litt logikk og noen andre småting KAPITTEL 3 Litt logikk og noen andre småting Logikk er sentralt både i matematikk og programmering, og en innføring i de enkleste delene av logikken er hovedtema i dette kapitlet I tillegg ser vi litt

Detaljer

Løsningsforslag til 1. del av Del - EKSAMEN

Løsningsforslag til 1. del av Del - EKSAMEN Løsningsforslag til 1. del av Del - EKSAMEN Emnekode: ITD13012 Emne: Datateknikk Dato: 27. November 2012 Eksamenstid: kl 9:00 til kl 12:00 Hjelpemidler: 4 sider (A4) (2 ark) med egne notater. Ikke-kummuniserende

Detaljer

v : T, kan bare ha verdi av typen T. n =0 slyfes alltid parentesene. Typet uttrykkssprak type representerer en verdimengde. variabel, deklarert funksjon, herunder karakteriseres syntaktisk ved a angi navn

Detaljer

Logikk. Utsagn. Kapittel 1. Kapittel 1 LOGIKK Side 1

Logikk. Utsagn. Kapittel 1. Kapittel 1 LOGIKK Side 1 Kapittel 1 Logikk Logikk er viktig i mange sammenhenger, for eksempel når vi skal argumentere for en sak, når vi skal bygge, programmere og bruke datamaskiner og når vi skal gjennomføre bevis i matematikken.

Detaljer

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall.

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall. Emne 12 Mengdelære En mengde er en samling elementer. Mengden er veldefinert hvis vi entydig kan avgjøre om et vilkårlig element tilhører mengden eller ikke. Mengder på listeform. Endelige mengder:, Uendelige

Detaljer

MAS 113 Digital Styring

MAS 113 Digital Styring MAS 113 Digital Styring Brukes Tre Andre grunnleggende funksjoner for åbeskrive som funksjoner : AND, i digitale OR og kretser NOT Boolsk NAND, NOR, algebra NOT En Boolsk funksjon kan beskrives enten XOR

Detaljer

ELE610 Prosjekter i robotteknikk, vår 2016.

ELE610 Prosjekter i robotteknikk, vår 2016. Stavanger, 1. desember 2015 Det teknisknaturvitenskapelige fakultet ELE610 Prosjekter i robotteknikk, vår 2016. Lab. 2, Logikk og Notch-filter. Innhold 0 Introduksjon 3 2 Oppgaver 4 2.1 Logisk funksjon...........................

Detaljer

Forelesning 22 MA0003, Mandag 5/11-2012 Invertible matriser Lay: 2.2

Forelesning 22 MA0003, Mandag 5/11-2012 Invertible matriser Lay: 2.2 Forelesning 22 M0003, Mandag 5/-202 Invertible matriser Lay: 2.2 Invertible matriser og ligningssystemet x b Ligninger på formen ax b, a 0 kan løses ved å dividere med a på begge sider av ligninger, noe

Detaljer

Øving 1: Busser, adressemodi, multiplekser og styreord

Øving 1: Busser, adressemodi, multiplekser og styreord Øving 1: Busser, adressemodi, multiplekser og styreord Del 1: Busser Besvar hver enkelt oppgave ved å sette ring rundt det svaralternativet du mener er riktig. For hvert enkelt spørsmål er det kun ett

Detaljer

Lineær algebra-oppsummering

Lineær algebra-oppsummering Kapittel 9 Lineær algebra-oppsummering Matriser 1 Matriser er et rektangulært sett av elementer ordnet i rekker og kolonner: a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij m n a m1 a n2 a mn 2 Kvadratisk matrise:

Detaljer

Likninger - en introduksjon på 8. trinn Hva er en likning og hva betyr å løse den?

Likninger - en introduksjon på 8. trinn Hva er en likning og hva betyr å løse den? side 1 Detaljert eksempel om Likninger - en introduksjon på 8. trinn Hva er en likning og hva betyr å løse den? Dette er et forslag til undervisningsopplegg der utgangspunktet er sentrale problemstillinger

Detaljer

Innhold DEL I MATEMATIKK SKOLEFAG OG KULTURARV 21

Innhold DEL I MATEMATIKK SKOLEFAG OG KULTURARV 21 Innhold Velkommen til studiet... 13 Oppbygning... 15 Sammenheng og helhet... 16 Pedagogisk struktur... 17 Lykke til med et spennende kurs... 19 DEL I MATEMATIKK SKOLEFAG OG KULTURARV 21 Kapittel 1 Tall...

Detaljer

Innhold DEL I MATEMATIKK SKOLEFAG OG KULTURARV.. 21

Innhold DEL I MATEMATIKK SKOLEFAG OG KULTURARV.. 21 Innhold Velkommen til studiet... 13 Oppbygning... 15 Sammenheng og helhet... 16 Pedagogisk struktur... 17 Lykke til med et spennende kurs... 19 DEL I MATEMATIKK SKOLEFAG OG KULTURARV.. 21 Kapittel 1 Tall...

Detaljer

Algebraiske morsomheter Vg1-Vg3 90 minutter

Algebraiske morsomheter Vg1-Vg3 90 minutter Lærerveiledning Passer for: Varighet: Algebraiske morsomheter Vg1-Vg3 90 minutter Algebraiske morsomheter er et skoleprogram hvor elevene kan bruke forskjellige matematiske modeller i praktiske undersøkende

Detaljer

Dagens tema. Dagens tema hentes fra kapittel 3 i Computer Organisation and Architecture. Sekvensiell logikk. Flip-flop er. Tellere og registre

Dagens tema. Dagens tema hentes fra kapittel 3 i Computer Organisation and Architecture. Sekvensiell logikk. Flip-flop er. Tellere og registre Dagens tema Dagens tema hentes fra kapittel 3 i Computer Organisation and Architecture Sekvensiell logikk Flip-flop er Tellere og registre Design av sekvensielle kretser (Tilstandsdiagram) 1/19 Sekvensiell

Detaljer

Datamaskinarkitektur våren 2009

Datamaskinarkitektur våren 2009 Datamaskinarkitektur våren 2009 Forelesning 1: Introduksjon til kurset T. M. Jonassen Department of Computer Science Faculty of Engineering Oslo University College 05. Januar 2009 Outline 1 Oversikt 2

Detaljer

Rapport. Lab 1. Absoluttverdikrets - portkretser

Rapport. Lab 1. Absoluttverdikrets - portkretser TFE4105 Digitalteknikk og datamaskiner Rapport Lab 1 Absoluttverdikrets - portkretser av Even Wiik Thomassen Broen van Besien Gruppe 193 Lab utført: 8. september 2004 Rapport levert: 12. november 2004

Detaljer

TALL. 1 De naturlige tallene. H. Fausk

TALL. 1 De naturlige tallene. H. Fausk TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke

Detaljer

LO118D Forelesning 3 (DM)

LO118D Forelesning 3 (DM) LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle

Detaljer

Kapittel 4: Logikk (predikatlogikk)

Kapittel 4: Logikk (predikatlogikk) MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 10. februar 2009 (Sist oppdatert: 2009-02-11

Detaljer

Løsningsforslag til 1. del av Del - EKSAMEN

Løsningsforslag til 1. del av Del - EKSAMEN Løsningsforslag til 1. del av Del - EKSAMEN Emnekode: ITD13012 Emne: Datateknikk Dato: 13. Desember 2013 Eksamenstid: kl 9:00 til kl 12:00 Hjelpemidler: 4 sider (A4) (2 ark) med egne notater. Ikke-kummuniserende

Detaljer

Nummer 8-10. H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400. www.aschehoug.no

Nummer 8-10. H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400. www.aschehoug.no Nummer 8-10 H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400 www.aschehoug.no Hvorfor styrker man algebra i skolen? Det klages over at begynnerstudenter ved ulike høgskoler/universiteter har

Detaljer

Tallregning og algebra

Tallregning og algebra 30 Tallregning og algebra Mål for opplæringen er at eleven skal kunne tolke, bearbeide og vurdere det matematiske innholdet i ulike tekster bruke matematiske metoder og hjelpemidler til å løse problemer

Detaljer

Manual for wxmaxima tilpasset R2

Manual for wxmaxima tilpasset R2 Manual for wxmaxima tilpasset R Om wxmaxima wxmaxima er en utvidet kalkulator som i tillegg til å regne ut alt en vanlig kalkulator kan regne ut, også regner symbolsk. Det vil si at den kan forenkle uttrykk,

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel MAT1030 Diskret matematikk Forelesning 26: Trær Sist forelesning snakket vi i hovedsak om trær med rot, og om praktisk bruk av slike. rot Dag Normann Matematisk Institutt, Universitetet i Oslo barn barn

Detaljer

Problemløsing. Treningshefte foran Niels Henrik Abels matematikk-konkurranse. Einar Andreas Rødland 199X

Problemløsing. Treningshefte foran Niels Henrik Abels matematikk-konkurranse. Einar Andreas Rødland 199X Problemløsing Treningshefte foran Niels Henrik Abels matematikk-konkurranse Einar Andreas Rødland 199X Innhold 1 Innledning 3 2 Logikk og beviser 3 3 Geometri 5 4 Reductio ad absurdum 7 5 Induksjonsbevis

Detaljer

1 OM PLS-ER... 3. 1.1 Historikk... 4 1.1.1 Utviklingen de senere år... 6. 1.2 Kort om oppbygning... 8 1.2.1 Inn- og Utganger... 11

1 OM PLS-ER... 3. 1.1 Historikk... 4 1.1.1 Utviklingen de senere år... 6. 1.2 Kort om oppbygning... 8 1.2.1 Inn- og Utganger... 11 Innholdsfortegnelse 1 OM PLS-ER... 3 1.1 Historikk... 4 1.1.1 Utviklingen de senere år... 6 1.2 Kort om oppbygning... 8 1.2.1 Inn- og Utganger... 11 1.3 Kort om virkemåte... 15 1.3.1 Prosesskunnskap...

Detaljer

Forelesning nr.4 INF 1410

Forelesning nr.4 INF 1410 Forelesning nr.4 INF 1410 Flere teknikker for kretsanalyse og -transformasjon 1 Oversikt dagens temaer inearitet Praktiske Ekvivalente Nortons Thévenins Norton- og superposisjonsprinsippet (virkelige)

Detaljer

MAT1030 Forelesning 7

MAT1030 Forelesning 7 MAT1030 Forelesning 7 Logikk, predikatlogikk Dag Normann - 9. februar 2010 (Sist oppdatert: 2010-02-09 14:24) Kapittel 4: Logikk (predikatlogikk) Predikatlogikk Vi brukte hele forrige uke til å innføre

Detaljer

Komplekse tall og komplekse funksjoner

Komplekse tall og komplekse funksjoner KAPITTEL Komplekse tall og komplekse funksjoner. Komplekse tall.. Definisjon av komplekse tall. De komplekse tallene er en utvidelse av de reelle tallene. Dvs at de komplekse tallene er en tallmengde som

Detaljer

RAMMER FOR MUNTLIG EKSAMEN I MATEMATIKK ELEVER 2015

RAMMER FOR MUNTLIG EKSAMEN I MATEMATIKK ELEVER 2015 RAMMER FOR MUNIG EKSAMEN I MAEMAIKK EEVER 2015 Fagkoder: MA1012, MA1014, MA1016, MA1018, MA1101,MA1105, MA1106, MA1110, REA3021, REA3023, REA3025, REA3027, REA3029 Årstrinn: Vg1, Vg2 og Vg3 Gjelder for

Detaljer

SAMMENDRAG OG FORMLER

SAMMENDRAG OG FORMLER SAMMENDRAG OG FORMLER SAMMENDRAG OG FORMLER Nye Mega 8A Kapittel A GEOMETRI LINJE, LINJESTYKKE OG STRÅLE linje stråle linjestykke VINKLER VINKELBEIN OG TOPPUNKT En vinkel har et toppunkt. Denne vinkelen

Detaljer

SafeLine VV3. Bruksanvisninger. Viser etasjer, piler og rullende tekstmeldinger.

SafeLine VV3. Bruksanvisninger. Viser etasjer, piler og rullende tekstmeldinger. SafeLine VV3 Bruksanvisninger Viser etasjer, piler og rullende tekstmeldinger. SafeLine VV3 Bruksanvisninger safeline.eu Innhold Installering og testing Montering 5 Tegn på displayet 6 Volumkontroll 7

Detaljer

wxmaxima Brukermanual for Matematikk 1T Bjørn Ove Thue

wxmaxima Brukermanual for Matematikk 1T Bjørn Ove Thue wxmaxima Brukermanual for Matematikk 1T Bjørn Ove Thue Om wxmaxima wxmaxima er en utvidet kalkulator som i tillegg til å regne ut alt en vanlig kalkulator kan regne ut, også regner symbolsk. Det vil si

Detaljer

Kompendium. Diskret matematikk og lineær algebra. 3. utgave. Anton Bjartnes. Høgskolen i Nord-Trøndelag Kompendium

Kompendium. Diskret matematikk og lineær algebra. 3. utgave. Anton Bjartnes. Høgskolen i Nord-Trøndelag Kompendium Kompendium Diskret matematikk og lineær algebra. utgave Anton Bjartnes Høgskolen i Nord-Trøndelag Kompendium Steinkjer 4 Diskret matematikk og lineær algebra. utgave Anton Bjartnes Høgskolen i Nord-Trøndelag

Detaljer

Litt enkel matematikk for SOS3003

Litt enkel matematikk for SOS3003 Litt enkel matematikk for SOS3003 Erling Berge 24 Aug 2004 Erling Berge 1 Om matematikk Matematikk er ikkje vanskeleg Det er eit språk for logikken. Det er lett å lære å lese Litt vanskelegare å forstå

Detaljer

REGEL 1: Addisjon av identitetselementer

REGEL 1: Addisjon av identitetselementer REGEL 1: Addisjon av identitetselementer Addisjon av identitetselementer a + 0 = a x + 0 = x Et identitetselement (nøytralt element) er et element som ikke medfører noen endring når det kombineres med

Detaljer

Øving 4 Egenverdier og egenvektorer

Øving 4 Egenverdier og egenvektorer Øving Egenverdier og egenvektorer En egenvektor til en matrise A er løsning av likningen A.x = Λ x hvor Λ er en konstant. Det betyr at virkningan av å multiplisere en matirse med en vektor gir en ny vektor

Detaljer

Gruppa består av studenter fra AU2: Espen Seljemo, Vidar Wensel, Torry Eriksen, Magnus Bendiksen

Gruppa består av studenter fra AU2: Espen Seljemo, Vidar Wensel, Torry Eriksen, Magnus Bendiksen Gruppa består av studenter fra AU: Espen Seljemo, Vidar Wensel, Torry Eriksen, Magnus Bendiksen Dette er et prosjekt som ble gitt i faget Digitalteknikk ved Høgskolen i Tromsø avd. Ingeniør, år 003. Prosjektet

Detaljer

Emne 13 Utsagnslogikk

Emne 13 Utsagnslogikk Emne 13 Utsagnslogikk Et utsagn er en erklæring som er entydig sann eller usann, men ikke begge deler. Noen eksempler på (ekte) utsagn: Utsagn : Gjøvik har bystatus er sann ( i alle fall pr. dags dato

Detaljer

Oppgaver som illustrerer alle teknikkene i 1.4 og 1.5

Oppgaver som illustrerer alle teknikkene i 1.4 og 1.5 Oppgaver som illustrerer alle teknikkene i 1.4 og 1.5 Gitt 3 punkter A 1,1,1,B 2,1,3,C 3,4,5 I Finne ligning for plan gjennom 3 punkt Lager to vektorer i planet: AB 1, 0,2 og AC 2,3, 4 Lager normalvektor

Detaljer

Løsningsforslag, midtsemesterprøve MA1103, 2.mars 2010

Løsningsforslag, midtsemesterprøve MA1103, 2.mars 2010 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 5 Løsningsforslag, midtsemesterprøve MA03,.mars 00 Oppgave Tegn figur og finn en parametrisering for skjæringskurven

Detaljer

De hele tall har addisjon, multiplikasjon, subtraksjon og lineær ordning, men ikke divisjon.

De hele tall har addisjon, multiplikasjon, subtraksjon og lineær ordning, men ikke divisjon. Innledning til Matematikk Hans Petter Hornæs, hans.hornaes@hig.no Det er ofte vanskelig å komme i gang et fag. Innledningsvis er det gjerne en del grunnleggende begreper som må på plass. Mange studenter

Detaljer

Øvingsforelesning TDT4105 Matlab

Øvingsforelesning TDT4105 Matlab Øvingsforelesning TDT4105 Matlab Øving 2. Pensum: Funksjoner, matriser, sannhetsuttrykk, if-setninger. Benjamin A. Bjørnseth 8. september 2015 2 Innhold Funksjoner Matriser Matriseoperasjoner Sannhetsuttrykk

Detaljer

Viktige læringsaktiviteter

Viktige læringsaktiviteter Viktige læringsaktiviteter Læringsaktiviteter som dekkes av Aktiviteter Stille spørsmål. Utvikle og bruke modeller. = dekkes Planlegge og gjennomføre undersøkelser. Analysere og tolke data. Bruke matematikk,

Detaljer

Magisk Matematikk. 75 minutter. Passer for: Varighet:

Magisk Matematikk. 75 minutter. Passer for: Varighet: Lærerveiledning Passer for: Varighet: Magisk Matematikk 9. - 10. trinn 75 minutter Magisk Matematikk er et skoleprogram som tar utgangspunkt i «magiske» talltriks i plenum som enkelt avsløres med algebra,

Detaljer

TDT4160 Datamaskiner Grunnkurs 2008. Gunnar Tufte

TDT4160 Datamaskiner Grunnkurs 2008. Gunnar Tufte 1 TDT4160 Datamaskiner Grunnkurs 2008 Gunnar Tufte 2 I dag Kva er inni 8051, P4 og UltraSparc Digital logic level (start kapitel 3) VIKTIG MELDING Alle som har brukt NTNU-passord for AoC pålogging må skifte

Detaljer

Ulikheter. Vi gir her eksempel på hvordan man kan finne ut hvornår ulikheter er sanne på forskjellige måter.

Ulikheter. Vi gir her eksempel på hvordan man kan finne ut hvornår ulikheter er sanne på forskjellige måter. Ulikheter. Vi gir her eksempel på hvordan man kan finne ut hvornår ulikheter er sanne på forskjellige måter. Dersom man ofte ikke er intressert i å finne eksakte løsninger kun sikkre interval, er ulikheter

Detaljer

Innlevering BYPE2000 Matematikk 2000 HIOA Obligatorisk innlevering 3 Innleveringsfrist Torsdag 24. april 2014 før forelesningen Antall oppgaver: 9

Innlevering BYPE2000 Matematikk 2000 HIOA Obligatorisk innlevering 3 Innleveringsfrist Torsdag 24. april 2014 før forelesningen Antall oppgaver: 9 Innlevering BYPE000 Matematikk 000 HIOA Obligatorisk innlevering 3 Innleveringsfrist Torsdag 4. april 014 før forelesningen Antall oppgaver: 9 1 Regn ut determinanten til følgende matriser. (Det er også

Detaljer

Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen. Digitalt verktøy for Sigma R1. Geogebra

Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen. Digitalt verktøy for Sigma R1. Geogebra Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen Digitalt verktøy for Geogebra Innhold 1 Om Geogebra 4 2 Regning 4 2.1 Tallet e...................................... 4 3 Sannsynlighetsregning

Detaljer

Revidert veiledning til matematikk fellesfag. May Renate Settemsdal Nasjonalt Senter for Matematikk i Opplæringen Lillestrøm 14.

Revidert veiledning til matematikk fellesfag. May Renate Settemsdal Nasjonalt Senter for Matematikk i Opplæringen Lillestrøm 14. Revidert veiledning til matematikk fellesfag May Renate Settemsdal Nasjonalt Senter for Matematikk i Opplæringen Lillestrøm 14.oktober 2013 Hvorfor ny veiledning Revidert læreplan matematikk fellesfag

Detaljer

IT1101 Informatikk basisfag 4/9. Praktisk. Oppgave: tegn kretsdiagram. Fra sist. Representasjon av informasjon binært. Ny oppgave

IT1101 Informatikk basisfag 4/9. Praktisk. Oppgave: tegn kretsdiagram. Fra sist. Representasjon av informasjon binært. Ny oppgave IT Informatikk basisfag 4/9 Sist gang: manipulering av bits I dag: Representasjon av bilde og lyd Heksadesimal notasjon Organisering av data i hovedminne og masselager (elektronisk, magnetisk og optisk

Detaljer

Brannscenarier Hvilke scenarier må analyseres? Hvordan velge analysemetode?

Brannscenarier Hvilke scenarier må analyseres? Hvordan velge analysemetode? Brannscenarier Hvilke scenarier må analyseres? Hvordan velge analysemetode? Trondheim 2012 Audun Borg Agenda Brannscenario Komparative analyser Preaksepterte scenarioer Risikoanalyse Analysemetoder Typiske

Detaljer

STE 6219 Digital signalbehandling Løsning til kontinuasjonseksamen

STE 6219 Digital signalbehandling Løsning til kontinuasjonseksamen HØGSKOLEN I NARVIK Institutt for data-, elektro-, og romteknologi Masterstudiet EL/RT Side av 4 STE 629 Digital signalbehandling Løsning til kontinuasjonseksamen Tid: Fredag 03.08.2007, kl: 09:00-2:00

Detaljer

Manual for wxmaxima tilpasset R1

Manual for wxmaxima tilpasset R1 Manual for wxmaxima tilpasset R1 Om wxmaxima wxmaxima er en utvidet kalkulator som i tillegg til å regne ut alt en vanlig kalkulator kan regne ut, også regner symbolsk. Det vil si at den kan forenkle uttrykk,

Detaljer

LEGO NXT. Lærerveiledning

LEGO NXT. Lærerveiledning Lærerveiledning LEGO NXT Passer for: Antall elever: Varighet: 8. - 10. trinn Hel klasse 150 minutter LEGO NXT er et skoleprogram hvor elevene skal bygge en robot ved hjelp av byggebeskrivelser og programmere

Detaljer

Kapittel 5. Trær og nettverk. 5.1 Trær og Fibonacci-følgen

Kapittel 5. Trær og nettverk. 5.1 Trær og Fibonacci-følgen Kapittel 5 Trær og nettverk Vi har sett at anvendelser av differenslikninger studerer fenomener som skjer i adskilte tidsrom, dvs. vi ser på diskrete anvendelser (jfr. Seksjon 1.3). I dette kapittelet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3440 / INF 4440 Signalbehandling Eksamensdag: 27. oktober 2003 10. november 2003 Tid for eksamen: 12.00 12.00 Oppgavesettet

Detaljer

Skisse av den ideelle læreplan i matematikk

Skisse av den ideelle læreplan i matematikk ved Anita Valenta, Mona Nosrati, Roberth Åsenhus og Kjersti Wæge Skisse av den ideelle læreplan i matematikk Formål med faget Matematikk er en del av den globale kulturarven vår. Mennesket har til alle

Detaljer

Reguleringsutstyr. Kapittel 3. 3.1 Prosessregulatorer

Reguleringsutstyr. Kapittel 3. 3.1 Prosessregulatorer Kapittel 3 Reguleringsutstyr Dette underkapitlet gir en oversikt over forskjellig reguleringsutstyr i form av kommersielle regulatorer og (prosess)styringssystemer og liknende, det vil si det utstyret

Detaljer

Sandefjordskolen BREIDABLIKK UNGDOMSSKOLE ÅRSPLAN FOR FORESATTE MATTE 10.TRINN SKOLEÅR 2015-2016. Side 1 av 9

Sandefjordskolen BREIDABLIKK UNGDOMSSKOLE ÅRSPLAN FOR FORESATTE MATTE 10.TRINN SKOLEÅR 2015-2016. Side 1 av 9 Sandefjordskolen BREIDABLIKK UNGDOMSSKOLE ÅRSPLAN FOR FORESATTE MATTE 10.TRINN SKOLEÅR 2015-2016 Side 1 av 9 Periode 1: UKE 34-UKE 39 Tall og Algebra Analysere sammensatte problemstillinger, identifisere

Detaljer

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 ) For å finne største felles divisor (gcd) kan vi begrense oss til N, sidenfor alle a, b Z, harvi gcd(a, b) =gcd( a, b ). I prinsippet, dersom vi vet at a = p t 1 kan vi se at 1 p t 2 2 p t n og b = p s

Detaljer

Hva forskes det på i matematikk i Norge idag?

Hva forskes det på i matematikk i Norge idag? Hva forskes det på i matematikk i Norge idag? En populærvitenskapelig oversikt Geir Ellingsrud UiO 18. september 2014 Advarsel! Størrelsesorden NFR evaluerte matematisk forskning i Norge i 2011 ved de

Detaljer

MA1301 Tallteori Høsten 2014

MA1301 Tallteori Høsten 2014 MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................

Detaljer

Litt enkel matematikk for SOS3003

Litt enkel matematikk for SOS3003 Litt enkel matematikk for SOS3003 Erling Berge Fall 2009 Erling Berge 1 Om matematikk Matematikk er ikkje vanskeleg Det er eit språk for logikken. Det er lett å lære og å lese Det kan vere litt vanskelegare

Detaljer

Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen. Digitalt verktøy for Sigma R1. TI-Nspire CAS

Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen. Digitalt verktøy for Sigma R1. TI-Nspire CAS Øgrim Bakken Pettersen Skrindo Dypbukt Mustaparta Thorstensen Thorstensen Digitalt verktøy for TI-Nspire CAS Innhold 1 Om TI-Nspire 4 2 Regning 4 2.1 Noen forhåndsdefinerte variabler......................

Detaljer

Guri A. Nortvedt Institutt for lærerutdanning og skoleforskning. Revidert læreplan i matematikk

Guri A. Nortvedt Institutt for lærerutdanning og skoleforskning. Revidert læreplan i matematikk Guri A. Nortvedt Institutt for lærerutdanning og skoleforskning Revidert læreplan i matematikk Læreplan i matematikk Skoleforordningen 1734 Regning og matematikk Dagliglivets matematikk Grunnleggende ferdigheter

Detaljer

Læringsmuligheter (OTL) og prestasjoner i matematikk på 8. trinn

Læringsmuligheter (OTL) og prestasjoner i matematikk på 8. trinn Læringsmuligheter (OTL) og prestasjoner i matematikk på 8. trinn Denne presentasjonen bygger på kapittel 4 i boka L.S. Grønmo & T. Onstad (red.): Opptur og nedtur. Analyser av TIMSS-data for Norge og Sverige.

Detaljer

Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 2003

Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 2003 Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 003 Denne prøveeksamenen har samme format som den virkelige eksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. Første del av eksamen

Detaljer

Magisk Matematikk 9. - 10. trinn, Vg1 75 minutter

Magisk Matematikk 9. - 10. trinn, Vg1 75 minutter Lærerveiledning Passer for: Varighet: Magisk Matematikk 9. - 10. trinn, Vg1 75 minutter Magisk Matematikk er et skoleprogram som tar utgangspunkt i «magiske» talltriks i plenum som dere kan jobbe videre

Detaljer

TOPOLOGI. Dan Laksov

TOPOLOGI. Dan Laksov Forum för matematiklärare TOPOLOGI Dan Laksov Institutionen för Matematik, 2009 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Topologi Dan Laksov Notater for Forum för Matematiklärare. Høst

Detaljer

INF 4130. 8. oktober 2009. Dagens tema: Uavgjørbarhet. Neste uke: NP-kompletthet

INF 4130. 8. oktober 2009. Dagens tema: Uavgjørbarhet. Neste uke: NP-kompletthet INF 4130 8. oktober 2009 Stein Krogdahl Dagens tema: Uavgjørbarhet Dette har blitt framstilt litt annerledes tidligere år Se Dinos forelesninger fra i fjor. I år: Vi tenker mer i programmer enn i Turing-maskiner

Detaljer

TI dsforsinkelse i kjeder med logiske porter. Beregning av

TI dsforsinkelse i kjeder med logiske porter. Beregning av el 6: Tidsforsinkelse i logiske kjeder NGVR ERG I. Innhold TI dsforsinkelse i kjeder med logiske porter. eregning av optimalt antall porter i en kjede. Logisk effort, og tidsforsinkelse i komplementære

Detaljer

INF3430/4431. VHDL byggeblokker og testbenker

INF3430/4431. VHDL byggeblokker og testbenker INF3430/4431 VHDL byggeblokker og testbenker Entity/architecture Innhold Strukturelle design (nettliste) Generics Configurations Operatorer-Operator prioritet (precedence) Datatyper Bit / IEEE1164 std_ulogic

Detaljer

Matematikk 1000. Øvingeoppgaver i numerikk leksjon 1 Å komme i gang

Matematikk 1000. Øvingeoppgaver i numerikk leksjon 1 Å komme i gang Matematikk 1000 Øvingeoppgaver i numerikk leksjon 1 Å komme i gang I denne øvinga skal vi bli litt kjent med MATLAB. Vi skal ikkje gjøre noen avanserte ting i dette oppgavesettet bare få et visst innblikk

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 1: Kapittel 1 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 17. januar 2008 Velkommen til plenumsregning for MAT1030 Torsdager 10:15 12:00 Gjennomgang

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 4: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 27. januar 2010 (Sist oppdatert: 2010-01-27 12:47) Kapittel 4: Logikk (fortsettelse) MAT1030 Diskret

Detaljer

EKSAMENSOPPGÅVE I TFE4110 DIGITALTEKNIKK MED KRINSTEKNIKK

EKSAMENSOPPGÅVE I TFE4110 DIGITALTEKNIKK MED KRINSTEKNIKK Side 1 av 15 Noregs teknisk-naturvitskaplege universitet Institutt for elektronikk og telekommunikasjon EKSAMENSOPPGÅVE I TFE4110 DIGITALTEKNIKK MED KRINSTEKNIKK - Fagleg kontakt under eksamen: Peter Svensson:

Detaljer

Tall. Binære regnestykker. Binære tall positive, negative heltall, flytende tall

Tall. Binære regnestykker. Binære tall positive, negative heltall, flytende tall Tall To måter å representere tall Som binær tekst Eksempel: '' i ISO 889-x og Unicode UTF-8 er U+ U+, altså Brukes eksempelvis ved innlesing og utskrift, i XML-dokumenter og i programmeringsspråket COBOL

Detaljer

og variasjon av parameterene Oppsummering.

og variasjon av parameterene Oppsummering. Inhomogene differensiallikninger av andre orden Ubestemte koeffisienters metode og variasjon av parameterene Oppsummering. MAT-INF1100 October 30, 2007 NYTT TEMA Innhomogene likninger: Oppdeling i partikulær

Detaljer

matematikk? Arne B. Sletsjøe Gyldendal 04.11.2010 Universitetet i Oslo Trenger man digitale verktøy for å lære matematikk? A.B.

matematikk? Arne B. Sletsjøe Gyldendal 04.11.2010 Universitetet i Oslo Trenger man digitale verktøy for å lære matematikk? A.B. Trenger man Det er mange mulige forklaringer på hvorfor begynnerstudentene på universiteter og høgskoler har dårligere basisferdigheter i matematikk nå enn tidligere. Vi ser på denne problemstillingen

Detaljer

Dagens temaer. Fra kapittel 4 i Computer Organisation and Architecture. Kort om hurtigminne (RAM) Organisering av CPU: von Neuman-modellen

Dagens temaer. Fra kapittel 4 i Computer Organisation and Architecture. Kort om hurtigminne (RAM) Organisering av CPU: von Neuman-modellen Dagens temaer Fra kapittel 4 i Computer Organisation and Architecture Kort om hurtigminne (RAM) Organisering av CPU: von Neuman-modellen Register Transfer Language (RTL) Instruksjonseksekvering Pipelining

Detaljer

Områder Kompetansemål Operasjonaliserte læringsmål Tema/opplegg (eksempler, forslag), ikke obligatorisk Tall og algebra

Områder Kompetansemål Operasjonaliserte læringsmål Tema/opplegg (eksempler, forslag), ikke obligatorisk Tall og algebra FAGPLANER Breidablikk ungdomsskole FAG: Matte TRINN: 9.trinn Områder Kompetansemål Operasjonaliserte læringsmål Tema/opplegg (eksempler, forslag), ikke obligatorisk Tall og algebra Eleven skal kunne -

Detaljer

Funksjoner i flere variable

Funksjoner i flere variable Kapittel 5 Funksjoner i flere variable Vi er ferdig med en-variabel-teorien, og vi kan begynne å jobbe med funksjoner i flere variable. Det første vi skal gjøre er å gå gjennom den samme analysen vi gjør

Detaljer

Hurtigstart. Hva er GeoGebra? Noen fakta

Hurtigstart. Hva er GeoGebra? Noen fakta Hurtigstart Hva er GeoGebra? En dynamisk matematisk programvare som er lett å ta i bruk Er egnet til læring og undervisning på alle utdanningsnivå Binder interaktivt sammen geometri, algebra, tabeller,

Detaljer