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

Størrelse: px
Begynne med side:

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

Transkript

1 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 vil vi, under mottoet Jo mer man kan jo bedre, ta for oss et par litt større eksempler som viser flere diskrete anvendelser. ( Jo mer man kan jo bedre : hvis man gjenkjenner et matematisk objekt som kan modellere et fenomen man studerer, er det meget nyttig å vite at det fins en teori for dette objektet som man kan bruke.) Vi skal innføre noen diskrete matematiske objekter som allerede har vist seg å dukke opp i mange sammenhenger, og kanskje de en dag vil dukke opp igjen i ny forskning når man minst venter det. Det er alltid morsomt å treffe gamle kjente: Det kan få uventede konsekvenser, og i ytterste konsekvens føre samfunnet videre. 5.1 Trær og Fibonacci-følgen Det første objektet vi skal se på er et tre. Slike objekter dukker for eksempel opp i informatikk (organisering av informasjon, søketrær, kalling av prosedyrer), kjemi (klassifisering av molekyler, spesielt hydrokarboner), biologi (populasjonsgenetikk) og elektriske kretser. Definisjon 5.1 Et tre (eller en tre-graf) er en samling av punkter og linjestykker der hvert par av punkter har høyst ett linjestykke mellom seg, der vi kan gå 94

2 fra et vilkårlig punkt til et annet ved å følge linjestykkene og der vi ikke har noen sykler: En samling av punkter og linjestykker mellom punktene danner en sykel hvis man kan gå fra et punkt og komme tilbake til samme punkt ved å følge linjestykkene nøyaktig én gang. Eksempel 5.2 a) er et tre (med 5 punkter og 4 linjestykker) b) er ikke et tre (ett av punktene har ingen linjestykker inn til seg) c) er ikke et tre (vi har 3 punkter og 3 linjestykker som danner en sykel) d) er ikke et tre (vi har flere enn ett linjestykke mellom to av punktene) La oss igjen ta for oss Fibonaccis kaninproblem (se Eksempel 1.11): Vi starter med et par kaniner som vi kaller B for barn. Neste måned er de blitt voksne, og vi kaller da paret V. Siden vi antar at kaninene ikke dør (...), vil de voksne forbli voksne. Så hvis vi for hver generasjon (måned) som går lager en horisontal linje (som vi 95

3 kan gjøre siden vi er i en diskret situasjon), vil en B gi opphav til følgende linje bestående av sin direkte etterkommer V (kalt B-linjen ): generasjon : B generasjon 1: V generasjon 2: V generasjon 3: V. Kaninproblemet sier at hver V produserer en B. Det betyr at for hver V får vi en B som direkte etterkommer, og dermed vil vi få en B-linje for hver av V -ene. Det gir følgende tegning (frem til generasjon 7): x x 1 x 2 x 3 x 4 x 5 x 6 x 7 B V V 1 B V B V V B V V 1 B V B V V 1111 B V B V V B V V B V B V V B V V B V V V 1 11 V B V V B V B V V B B V B V B V B V 96

4 Vi lar x n være antall kaniner etter n måneder. På tegningen har vi skrevet inn x,..., x 7 for å markere generasjonene. For eksempel er x 6 = 13 (8 V -er pluss 5 B-er, siden dette jo er x 5 + x 4 ). Hvis vi vil kan vi innføre et punkt for hver av B-ene og V -ene, og få et tre (sjekk!). Dermed ser vi at informasjonen i kanin-problemet lar seg organisere ved hjelp av en (uendelig) tre-struktur! Vi kaller tegningen ovenfor (uten x,..., x 7 ) for Fibonacci-treet (av generasjon 7). Fibonacci-følgen 1, 1, 2, 3, 5, 8, 13, 21, 34,... er som kjent gitt ved differenslikningen x n+2 = x n+1 + x n, x = 1, x 1 = 1, og denne dukker opp overalt. Søk gjerne på nettet, og dere vil finne mange eksempler som viser det. (Vi har allerede møtt noen i oppgaver og eksempler.) La oss utforske Fibonacci-treet for å se om det finnes noe interessant å hente der. Vi observerer at Fibonacci-treet kun består av to symboler. Da vil det ofte være ganske nærliggende å innføre og 1, dvs. vi bytter ut B med V med 1 i Fibonacci-treet. Da får vi følgende tre (av generasjon 7): 97

5 x x 1 x 2 x 3 x 4 x 5 x 6 x Bemerkning 5.3 Betegnelsen Fibonacci-tre brukes gjerne om et annet tre enn vårt tre, men vi synes betegnelsen passer til vårt tre også (se gjerne på nettet hvilket tre som oftest kalles Fibonacci-treet). Vi observerer at det dukker opp mønstre av -ere og 1-ere i Fibonaccitreet. Ut av mønstre av tall kan vi ofte lage følger! Følgen vi får her lurer i bakgrunnen i flere sammenhenger (hørt det før?), for eksempel når datamaskiner skal regne ut Fibonacci-tall. La oss se litt nærmere på det: I linjen for x 7 i Fibonacci-treet med -ere og 1-ere leser vi av tallene (i rekkefølgen gitt av tegningen) (5.1) Dette er et av leddene i en følge {k n } med -ere og 1-ere som vi får ved å starte med k =, k 1 = 1, 98

6 og deretter definere k n for n 2 som tallene i k n 1 etterfulgt av tallene i k n 2. Det gir følgende ledd: k 2 er tallene i k 1 etterfulgt av tallene i k (i den rekkefølgen), dvs. og Videre får vi k 2 = 1 }{{} k 3 = 1 }{{} }{{} k 1 k }{{} 1. k 2 k 1 k 4 = og k 5 = (sjekk at k 7 blir tallene gitt i (5.1)!), så følgen {k n } starter med leddene, 1, 1, 1, 11, 11,... Vi ser at leddene x n i Fibonacci-følgen gir summen av antall -ere og 1-ere i k n : {x n } = 1, 1, 2, 3, 5, 8,... Hvis vi skal få en datamaskin til å regne ut leddene i Fibonacci-følgen, gjør vi følgende: Vi forteller den (ved å skrive et program) at: for ethvert n, n naturlig tall, skal du gi oss f(n) der f() = 1, f(1) = 1 og f(n) = f(n 1) + f(n 2). Hvis vi gir maskinen et tall n, hvilket regnestykke utfører den da, og hvor lang tid tar det? For hvert Fibonacci-tall vi spør om, vil den, ifølge dette programmet starte fra bunnen hver gang, dvs. den husker ikke (har ikke tatt vare på) Fibonacci-tall som den eventuelt har regnet ut før. Hvis den for eksempel skal regne ut x 3, regner den ut f(3) = f(2) + f(1) = (f(1) + f()) + f(1) = (1 + 1) + 1 = 3, 99

7 dvs. datamaskinen må kalle (lokke) på f() én gang og f(1) to ganger, og utføre 2 addisjoner. Hvis vi erstatter B (dvs. ) med f() og V (dvs. 1), med f(1) i Fibonaccitreet, og i tillegg erstatter x n med f(n) (gjør det!), får vi et kalle-tre for programmet som regner ut Fibonacci-tallene. Med kalle-tre mener vi en oversiktlig måte å organisere kallingen av f() og f(1) på, for eksempel kan vi da lese av regnestykket f(5) = f(1) + f() + f(1) + f(1) + f() + f(1) + f() + f(1). Da ser vi også at vi må utføre x n 1 addisjoner for å regne ut f(n), siden vi setter + mellom x n tall. Forøvrig har vi at leddene i {k n }, når vi ser bort fra k, egentlig gir oss én uendelig lang følge av -ere og 1-ere som starter med (5.2) (fortsett denne litt til!). Denne følgen (5.2) kalles gjerne kanin-følgen eller den gylne følgen. Kanskje du møter den igjen en vakker dag? Eller kanskje du kan bruke den til noe? 5.2 Boolsk algebra og nettverk Vi går rett på denne seksjonen med å påstå at MAT1 er et morsomt kurs. (5.3) Dette er en påstand som kan være sann eller usann, alt etter hvem man spør. Vi kan altså ikke gi påstanden (5.3) en sannhetsverdi, dvs. si om den er usann eller sann. 1

8 Hvis vi imidlertid påstår at Bestått MAT1 gir 1 studiepoeng, (5.4) får vi en påstand som er sann (siden dette er vedtatt av Det matematisknaturvitenskapelige fakultet ved Universitetet i Oslo). Vi kan altså gi påstanden (5.4) sannhetsverdien sann. Slike påstander kalles utsagn. Definisjon 5.4 Et utsagn er en påstand som kan gis en sannhetsverdi. Et utsagn har to mulige sannhetsverdier; usann eller sann, og i boolsk algebra er det disse vi regner med, dvs. boolsk algebra er regning med utsagn og to symboler. Man kan bruke u for usann og s for sann, og regne med u og s, men vi vil bruke tall, og skal bruke for usann 1 for sann og regne med og 1. Det er flere operasjoner vi kan gjøre med utsagn. Vi vil trenge følgende: Vi kan nekte et utsagn ved å bruke ordet IKKE. For eksempel er nektelsen av utsagnet (5.4) utsagnet Bestått MAT1 gir ikke 1 studiepoeng, (5.5) eventuelt Det er ikke slik at bestått MAT1 gir 1 studiepoeng. Definisjon 5.5 Hvis p er et utsagn, kalles utsagnet ikke p for negasjonen til p, og med symboler skriver vi p. Utsagnet (5.5) er sant når (5.4) er usant, og usant når (5.4) er sant. Denne setningen kan sammenfattes i en såkalt sannhetsverditabell. Tabellen for negasjon er p p 1 (5.6) 1 1

9 I tabellen leser vi altså av sannhetsverdien til p når vi har gitt sannhetsverdien til p. Som vi observerte i vårt eksempel: når p er usann (), er p sann (1), og når p er sann (1), er p usann (). Vi kan sette sammen to utsagn ved å bruke ordet OG. Definisjon 5.6 Hvis p og q er to utsagn, kalles utsagnet p og q for konjunksjonen (=sammenknytning) av p og q. Vi skriver p q. Sannhetsverditabellen for konjunksjon er p q p q (5.7) Når vi knytter sammen to utsagn p og q ved hjelp av OG, får vi altså et utsagn som kun er sant hvis både p og q er sanne, ellers er det usant. Eksempel 5.7 Utsagnet Bestått MAT1 gir 1 sp OG kurset har 6 timer forelesning i uka (5.8) består av utsagnene p : Bestått MAT1 gir 1 sp og q : Kurset har 6 timer forelesning i uka. Vi vet at p er sann, og at q er usann, dermed blir utsagnet (5.8) usant. Vi kan også sette sammen to utsagn ved å bruke ordet ELLER. Definisjon 5.8 Hvis p og q er utsagn, kalles utsagnet p eller q for disjunksjonen (=adskillelsen) av p og q. Vi skriver p q. Sannhetsverdita- 12

10 bellen for disjunksjon er p q p q (5.9) Utsagnet p eller q er altså sant når enten p eller q eller begge er sant, og usant kun hvis både p og q er usanne. Eksempel 5.9 Utsagnet (5.8) der vi bytter ut OG med ELLER, blir nå et sant utsagn, siden utsagnet p : Bestått MAT1 gir 1sp er sant. Ved hjelp av IKKE, OG og ELLER kan vi lage flere utsagn og regne ut sannhetsverditabeller for disse ved hjelp av tabellene (5.6), (5.7) og (5.9): Eksempel 5.1 La oss se på utsagnet p q. Når er dette utsagnet sant? Vi setter opp følgende sannhetsverditabell (forklaring følger): p q p p q Utsagnet inneholder grunnutsagnene p og q (rett og slett bokstavene som forekommer i utsagnet), og i de to første kolonnene skriver vi opp de mulige kombinasjonene av sannhetsverdier vi kan ha for p og q. I de videre kolonnene regner vi ut sannhetsverdiene til mellomutsagnene som forekommer, dvs. utsagnene vi trenger for å lage utsagnet vi er interessert i. I dette tilfellet er det p, der vi bruker tabell (5.6). Tilslutt kan vi regne ut sannhetsverdiene til p q ved å bruke tabell (5.7) på kolonne 3 og 2 (sjekk!). 13

11 Utsagnet p q er altså sant når p er usant og q er sant, og ellers usant. Vi kan også ha flere grunnutsagn som settes sammen. Det gir bare flere muligheter, men samme regning: Eksempel 5.11 La oss finne sannhetsverdiene til utsagnene (p q) r og p (q r), og sammenligne dem: p q r p q q r (p q) r p (q r) Da ser vi for eksempel at (p q) r er sant når r er sant eller når både p og q er sanne. Videre ser vi at de to utsagnene (p q) r og p (q r) har ulike sannhetsverdier i to tilfeller (hvilke?). Vi kan danne utsagnet om at to utsagn er ekvivalente ved å bruke uttrykket HVIS OG BARE HVIS. Definisjon 5.12 Hvis p og q er to utsagn kalles utsagnet p hvis og bare hvis q for ekvivalensen av p og q, og vi skriver p q. Sannhetsverditabellen for ekvivalens er p q p q

12 Vi ser altså at utsagnet p q er sant når både p og q er sanne, og når både p og q er usanne. Ellers er utsagnet usant. Eksempel 5.13 Regnereglene våre gir at 3 = = 2 er sant (siden p : 3 = og q : 3 1 = 2 begge er sanne). Utsagnet = = 3 er også sant (hvorfor?). Bemerkning 5.14 Når vi gjør utregninger, for eksempel løser likninger, og ellers i matematikken, lurer boolsk algebra i bakgrunnen hele tiden. Ekvivalens er en meget nyttig operasjon. Vi tar et par eksempler: Eksempel 5.15 Hvis vi regner ut sannhetsverdiene til (p q) og p q, får vi at de er like: p q p q (p q) p q p q dvs. at utsagnene (p q) og p q begge er sanne eller begge er usanne, dermed blir utsagnet (p q) p q alltid sant! Det betyr at (p q) og p q sier det samme, og vi kan dermed erstatte det ene med det andre og omvendt. Vi skal snart se eksempel på bruk av dette. 15

13 Det er mange ekvivalenser som alltid er sanne. Her er et eksempel til: Eksempel 5.16 Vi regner ut sannhetsverditabellen til utsagnet (p q) ( p q): p q p q p q p q (p q) ( p q) Vi ser at utsagnet (p q) ( p q) er sant for alle sannhetsverdier av p og q. (erstatt gjerne p og q med noen konkrete utsagn, for eksempel p : 17. mai faller alltid på en lørdag og q : 1. påskedag faller alltid på en søndag, eller bruk matematiske utsagn, og sjekk tabellen mot disse!) Vi skal nå gjøre bruk av disse regningene og se et eksempel på en diskret teori som beskriver samspill mellom nerveceller. (Eksempelet er inspirert av en artikkel av John McConnell, se Tillegg D.) Nerveceller kalles også nevroner, og vi skal bruke ordet nevron (siden det er litt kortere). Teorien gjør bruk av boolsk algebra og har mye til felles med såkalt switching teori for (kunstige) nevrale nettverk med binære logiske porter i informatikken. (Assosiasjoner til kunstig intelligens er heller ikke så langt unna. Hjernen har nerveceller, datamaskinen har transistorer.) Vi skal altså innføre matematikk for å etterligne hvordan nevroner i kroppen vår fungerer. Nevroner kan blant annet stimuleres av ytre faktorer eller andre nevroner. Teorien vi skal se på vil være en mulig modell for hvordan vi reagerer på kulde og varme: For eksempel har vi varmesensoriske nevroner i huden. Når armen din kommer i kontakt med en glovarm kjele, fører dette til at sensornevronene tenner på alle plugger og stimulerer nødnevroner som er i nesten direkte kontakt med motoriske nevroner som gir instruks til armmusklene dine om 16

14 at armen må flyttes NÅ. En varmeflaske gir (vanligvis) ikke samme reaksjon. La oss se på en mulig teori som kan beskrive samspillet der nevroner stimuleres av nevroner. Når vi skal lage matematikk av fenomener vi observerer og studerer, må vi vite litt om selve fenomenet, og vi må som vanlig gjøre antagelser og forenklinger. Som en enkel modell på et nevron har vi at det består av to komponenter cellekropp (med mottagere) akson med sendere (her to stk.) dvs. et nevron kan tegnes skjematisk som Et nevron stimuleres i cellekroppenden, så kanaliseres stimuli gjennom aksonet og sendes videre via senderne. Nevronene står ikke i direkte kontakt med hverandre, men aksonet til et stimulerende nevron fins i nærheten av cellekroppen til mottakernevronet. Gapet mellom nevronene kalles synapse: synapse Det er flere viktige aspekter ved nevronstimulering som gjør at vi kan lage matematikk av dette fenomenet: Nevronstimulering er enveis, dvs. hvis nevron N er stimulert kan det stimulere nevron S, men ikke omvendt. Stimuleringen skjer ved at et kjemisk stoff siver over synapsen. Siden det kommer over 3 elektrokjemiske ladninger gjennom nevronet i sekundet, vil selve stimuleringen ta lang tid i forhold til tiden et stimuli bruker gjennom nevronet, så vi innfører en tidsenhet. Det gjør at vi får en diskret situasjon. 17

15 Vi lar én tidsenhet være tiden det tar for et stimulert nevron å stimulere neste nevron. For eksempel betyr da tiden t + 3 at vi er ved tiden 3 tidsenheter (eller synaptiske forsinkelser) etter tiden t. Hvis styrken på et stimuli er mindre enn en viss verdi (varmeflaske), vil (sensor)nevronet ikke klare å stimulere nevroner i nærheten, men hvis styrken er over et visst nivå vil nevronene i nærheten stimuleres (glovarm kjele), dvs. vi har alt eller ingenting. I vår modell bruker vi da at hvis minst to sendere er nær et nevron, er det nok til å stimulere nevronet, dvs. nevron N kan stimuleres av S ved: S N Det kan også stimuleres av S og T ved S N T (Et nevron kan ha mange aksoner rundt seg, og uansett antall er altså to sendere som sender stimuli i nærheten nok til å stimulere.) Det fins ikke-nevroner, dvs. nevroner som nøytraliserer all stimulering. (Tenk på i hva slags situasjoner det kan være nyttig med et slikt nevron.) Vi tegner et ikke-nevron som 18

16 Da har vi opplysningene vi trenger og innfører følgende notasjon: Vi lar N(t) bety at nevron N sender stimuli ved tiden t. For hvert tidspunkt t får vi et utsagn N(t), dvs. N(t) kan gis en sannhetsverdi (sant: sender stimuli, usant: sender ikke stimuli), men verdien vil avhenge av tidspunktet t. Operasjonene vi innførte for utsagn vil imidlertid fortsatt gjelde: vi tenker bare på t som et gitt tidspunkt. Våre antagelser gir oss følgende illustrasjoner med tilsvarende boolske uttrykk: (tenk nøye over disse før du går videre!) 19

17 B1: S(t 1) N(t) S N B2: S N S(t 1) T (t 1) N(t) T B3: S N S(t 1) T (t 1) N(t) T B4: S N S(t 1) T (t 1) N(t) T Vi kan nå lage kompliserte nettverk av nerveceller ved hjelp av illustrasjonene ovenfor, og ved hjelp av de tilsvarende boolske uttrykkene og boolsk algebra, kan vi regne og skaffe oss en oversikt over nettverkene, og eventuelt prøve og forenkle dem: Eksempel 5.17 Hvis vi har følgende nettverk av 5 nevroner N 1, N 2, N 3, N 4 og N 5, hva skal til for at N 5 sender stimuli ved tiden t? 11

18 N 1 N 5 N 3 N 2 N 4 For å svare på spørsmålet, bruker vi boolsk algebra for å finne et utsagn som er ekvivalent med N 5 (t): N 5 (t) N 3 (t 1) N 4 (t 1) ved B4 (N 1 (t 2) N 2 (t 2)) N 4 (t 1) ved B3 N 1 (t 2) N 2 (t 2) N 4 (t 1) ved Eksempel 5.15, dvs. at N 5 sender stimuli ved tiden t hvis og bare hvis hverken N 1 eller N 2 sender stimuli to tidsenheter tidligere og N 4 sender stimuli én tidsenhet tidligere. Eksempel 5.18 Hvordan illustrerer man nettverket der et nevron (kall det N) sender stimuli ved tiden t hvis og bare hvis et annet nevron (S) sender stimuli tre og to tidsenheter tidligere? Med symboler har vi utsagnet (for en gitt t): N(t) S(t 3) S(t 2). Vi gir svaret først og forklaringen etterpå. En mulig illustrasjon er S T 1 T 2 N Vi sjekker ved regning at det stemmer: N(t) T 2 (t 1) ved B1 T 1 (t 2) S(t 2) ved B2 S(t 3) S(t 2)) ved B1, 111

19 så illustrasjonen stemmer. Hvordan tenker man så for å finne denne illustrasjonen? Vi starter med S i venstre ende og N i høyre ende. Siden S skal sende ved t 3 og t 2, vil aksonet dele seg ut fra S. Det gir foreløpig mulig illustrasjon S N Siden S skal sende 3 og 2 tidsenheter tidligere, må vi putte inn henholdsvis to og en nevron(er) langs de to akson-trådene fra S. Siden det kun er S som sender, kan alle disse puttes på en linje uten å dele linjen (eventuelt kan man dele og få en annen illustrasjon), og videre må vi ha kontakt langs begge veier fra S til N, som gir mulig illustrasjon S T 1 T 2 N Tilslutt kan vi tegne inn antall sendere på aksonene i samsvar med utsagnet vi ønsker, og få illustrasjonen vi foreslo. Merk at det er mange muligheter for illustrasjoner her. Et annet eksempel er gitt som oppgave. Et viktig poeng er imidlertid oftest å få et så enkelt nettverk som mulig. Vi vil modellere følgende fenomen (som vi sikkert har observert): Hvis en kald gjenstand holdes mot huden en meget kort tid (et lite touch ), vil vi kjenne varme når den fjernes. Hvis samme gjenstand holdes mot huden litt lenger enn et lite touch, vil vi kjenne kulde og ingen varme. Holdes imidlertid en varm gjenstand mot huden, vil det kun gi varmefølelse. Vi antar at dette lille touchet tilsvarer én tidsenhet (én synaptisk forsinkelse), dvs. holdes en kald gjenstand lenger mot huden enn én tidsenhet, føler vi kulde. 112

20 Vi kan nå oversette dette til matematikk. Vi innfører V S : KS : V N : KN : varmesensornevron (i huden) kuldesensornevron (i huden) vi-kjenner-varme-nevron (i ryggmargen) vi-kjenner-kulde-nevron (i ryggmargen) Fra teksten får vi følgende tre utsagn (for en gitt t): Utsagn 1: a) V S(t) V S(t) KS(t) b) KS(t) KS(t) V S(t) Utsagnene 1a) og b) sier at varmesensoren og kuldesensoren ikke kan sende stimuli samtidig (a): når varmesensoren sender kan ikke kuldesensoren sende, b): når kuldesensoren sender kan ikke varmesensoren sende). Utsagn 2: V N(t) V S(t 1) [KS(t 2) KS(t 1)] som sier at vi kjenner varme ved tiden t hvis og bare hvis varmesensoren sendte stimuli en tidsenhet tidligere eller [kuldesensoren sendte stimuli to tidsenheter tidligere og ikke en tidsenhet tidligere, dvs. en kald gjenstand ble bare holdt mot huden én tidsenhet]. Utsagn 3: KN(t) KS(t 2) KS(t 1) som sier at vi kjenner kulde ved tiden t hvis og bare hvis kuldesensoren sendte stimuli én og to tidsenheter tidligere (en kald gjenstand ble holdt mot huden lenger enn én tidsenhet). Utsagnene 1-3 kan nå illustreres ved følgende nettverk (prøv selv før du studerer tegningen! Merk at det er flere mulige illustrasjoner.): 113

21 V S V N KS T KN (Hvis du for eksempel en gang skulle ha lyst til å bygge en robot som føler kulde og varme på den måten vi har sett på, kan du bruke dette nettverket som modell.) Hva med lukt og smak? Kanskje du kan utforske dette fenomenet? 5.3 Nå skal du kunne forklare hva som menes med ordet diskret i matematisk forstand definisjonen av et tre, og tegne de første generasjonene av (vår bruk av) Fibonacci-treet definisjonen av et utsagn, sannhetsverdi, negasjon, konjunksjon, disjunksjon, ekvivalens, sannhetsverditabell (herunder sette opp tabell for de utsagnene vi har sett på, og regne med disse) gi eksempler på anvendelse av henholdsvis trær og boolsk algebra (og helst utdype litt til de som er interessert) ha stor sjanse for å drømme om trær og kaniner ha mulighet til å få A i emnet differensiallikninger på eksamen i MAT1 114

Tallfølger er noe av det første vi treffer i matematikken, for eksempel når vi lærer å telle.

Tallfølger er noe av det første vi treffer i matematikken, for eksempel når vi lærer å telle. Kapittel 1 Tallfølger 1, 2, 3, 4, 5, 6, 7, 8,... Det andre temaet i kurset MAT1001 er differenslikninger. I en differenslikning er den ukjente en tallfølge. I dette kapittelet skal vi legge grunnlaget

Detaljer

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand.

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Utsagnslogikk. Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Eksempler: Avgjør om følgende setninger er et utsagn, og i så fall;

Detaljer

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand.

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Utsagnslogikk. Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Eksempler: Avgjør om følgende setninger er et utsagn, og i så fall;

Detaljer

Kapittel 4: Logikk (utsagnslogikk)

Kapittel 4: Logikk (utsagnslogikk) MAT1030 Diskret Matematikk Forelesning 6: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (utsagnslogikk) 28. januar 2009 (Sist oppdatert: 2009-01-28

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 6: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 28. januar 2009 (Sist oppdatert: 2009-01-28 12:23) Kapittel 4: Logikk (utsagnslogikk)

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt

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

Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk.

Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk. MAT1030 Diskret Matematikk Forelesning 6: Utsagnslogikk og predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk 3. februar 2010 (Sist oppdatert: 2010-02-03 12:49) MAT1030

Detaljer

Sammensatte utsagn, sannhetsverditabeller. MAT1030 Diskret matematikk. Sammensatte utsagn, sannhetsverditabeller

Sammensatte utsagn, sannhetsverditabeller. MAT1030 Diskret matematikk. Sammensatte utsagn, sannhetsverditabeller Sammensatte utsagn, sannhetsverditabeller MAT1030 Diskret matematikk Forelesning 6: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 30. januar 2008 Mandag 28/1 innførte vi bindeordene (konnektivene)

Detaljer

Tallinjen FRA A TIL Å

Tallinjen FRA A TIL Å Tallinjen FRA A TIL Å VEILEDER FOR FORELDRE MED BARN I 5. 7. KLASSE EMNER Side 1 Innledning til tallinjen T - 2 2 Grunnleggende om tallinjen T - 2 3 Hvordan vi kan bruke en tallinje T - 4 3.1 Tallinjen

Detaljer

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 1. a) Ingen andre tall enn en deler en, og en deler fire, så (1, 4) = 1 b) 1 c) 7 er et primtall og 7 er ikke en faktor i 41, så største felles

Detaljer

Posisjonsystemet FRA A TIL Å

Posisjonsystemet FRA A TIL Å Posisjonsystemet FRA A TIL Å VEILEDER FOR FORELDRE MED BARN I 5. 7. KLASSE EMNER Side 1 Innledning til posisjonsystemet P - 2 2 Grunnleggende om posisjonsystemet P - 2 3 Titallsystemet P - 3 4 Posisjonsystemet

Detaljer

ADDISJON FRA A TIL Å

ADDISJON FRA A TIL Å ADDISJON FRA A TIL Å VEILEDER FOR FORELDRE MED BARN I 5. 7. KLASSE EMNER Side 1 Innledning til addisjon 2 2 Grunnleggende om addisjon 3 3 Ulike tenkemåter 4 4 Hjelpemidler i addisjoner 9 4.1 Bruk av tegninger

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

I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser

I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser Forelesning 5 Logikk Dag Normann - 28. januar 2008 Oppsummering av Kapittel 3 I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser i en datamaskin. Stoffet

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 17. februar 2010 (Sist oppdatert: 2010-02-17 12:40) Kapittel 5: Mengdelære MAT1030 Diskret Matematikk

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Mengdelære 17. februar 2010 (Sist oppdatert: 2010-02-17 12:41) MAT1030 Diskret Matematikk

Detaljer

MAT1030 Forelesning 6

MAT1030 Forelesning 6 MAT1030 Forelesning 6 Logikk, predikatlogikk Roger Antonsen - 28. januar 2009 (Sist oppdatert: 2009-01-28 12:23) Kapittel 4: Logikk (utsagnslogikk) Mer om parenteser Eksempel. (p q r) (p r) (q r) Her mangler

Detaljer

Kapittel 3: Litt om representasjon av tall

Kapittel 3: Litt om representasjon av tall MAT1030 Diskret Matematikk Forelesning 3: Litt om representasjon av tall, logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 3: Litt om representasjon av tall 20. januar 2009

Detaljer

Legg merke til at summen av sannsynlighetene for den gunstige hendelsen og sannsynligheten for en ikke gunstig hendelse, er lik 1.

Legg merke til at summen av sannsynlighetene for den gunstige hendelsen og sannsynligheten for en ikke gunstig hendelse, er lik 1. Sannsynlighet Barn spiller spill, vedder og omgir seg med sannsynligheter på andre måter helt fra de er ganske små. Vi spiller Lotto og andre spill, og håper vi har flaks og vinner. Men hvor stor er sannsynligheten

Detaljer

Vi var midt i et eksempel, som vi tar opp igjen her, da tiden var ute.

Vi var midt i et eksempel, som vi tar opp igjen her, da tiden var ute. Forelesning 6 Logikk Dag Normann - 30. januar 2008 Sammensatte utsagn, sannhetsverditabeller Mandag 28/1 innførte vi bindeordene (konnektivene) for og, for eller og for ikke. Vi så hvordan vi kunne definere

Detaljer

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 4: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 27. august 2008 (Sist oppdatert: 2008-09-03 12:39) Før vi begynner Praktiske opplysninger

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære MAT1030 Diskret

Detaljer

Tiden går og alt forandres, selv om vi stopper klokka. Stoffet i dette kapittelet vil være en utømmelig kilde med tanke på eksamensoppgaver.

Tiden går og alt forandres, selv om vi stopper klokka. Stoffet i dette kapittelet vil være en utømmelig kilde med tanke på eksamensoppgaver. Kapittel 4 Anvendelser av lineære likningssystemer Tiden går og alt forandres, selv om vi stopper klokka Stoffet i dette kapittelet vil være en utømmelig kilde med tanke på eksamensoppgaver 4 Populasjonsdynamikk

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) MAT1030 Diskret

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

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

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 16: Rekursjon og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo 17. mars 009 (Sist oppdatert: 009-03-17 11:4) Forelesning 16 MAT1030 Diskret

Detaljer

Lineære likningssystemer og matriser

Lineære likningssystemer og matriser Kapittel 3 Lineære likningssystemer og matriser I dette kapittelet skal vi sette sammen Kapittel 1 og 2. 3.1 Den utvidede matrisen til et likningssystem Vi starter med et lineært likningssystem med m likninger

Detaljer

INF1800 Forelesning 4

INF1800 Forelesning 4 INF1800 Forelesning 4 Utsagnslogikk Roger Antonsen - 27. august 2008 (Sist oppdatert: 2008-09-03 12:39) Før vi begynner Praktiske opplysninger Kursets hjemmeside blir stadig oppdatert: http://www.uio.no/studier/emner/matnat/ifi/inf1800/

Detaljer

MAT1030 Forelesning 10

MAT1030 Forelesning 10 MAT1030 Forelesning 10 Mengdelære Roger Antonsen - 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære Oversikt Vi har nå innført de Boolske operasjonene, union snitt komplement

Detaljer

Telle i kor steg på 120 frå 120

Telle i kor steg på 120 frå 120 Telle i kor steg på 120 frå 120 Erfaringer fra utprøving Erfaringene som er beskrevet i det følgende er gjort med lærere og elever som gjennomfører denne typen aktivitet for første gang. Det var fire erfarne

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 30. april 2008 Oppsummering Mandag så vi på hvordan vi kan finne uttrykk og termer på infiks form,

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

Vi startet forelesningen med litt repetisjon fra forrige uke: Det omvendte, kontrapositive og inverse utsagnet. La p og q være to utsagn, og p -> q

Vi startet forelesningen med litt repetisjon fra forrige uke: Det omvendte, kontrapositive og inverse utsagnet. La p og q være to utsagn, og p -> q Vi startet forelesningen med litt repetisjon fra forrige uke: Det omvendte, kontrapositive og inverse utsagnet. La p og q være to utsagn, og p -> q Begrepene «tilstrekkelig», «nødvendig» og «bare hvis».

Detaljer

SOM PLOMMEN I EGGET: Studentene koser seg i septembersolen utenfor Tollboden. Mer sentralt kan det neppe bli: Midt på brygga og kun et par minutters

SOM PLOMMEN I EGGET: Studentene koser seg i septembersolen utenfor Tollboden. Mer sentralt kan det neppe bli: Midt på brygga og kun et par minutters 16 SOM PLOMMEN I EGGET: Studentene koser seg i septembersolen utenfor Tollboden. Mer sentralt kan det neppe bli: Midt på brygga og kun et par minutters gange fra togstasjonen i Larvik. I forgrunnen (til

Detaljer

www.skoletorget.no Tall og algebra Matematikk Side 1 av 6

www.skoletorget.no Tall og algebra Matematikk Side 1 av 6 Side 1 av 6 Hva = en ligning? Sist oppdatert: 15. november 2003 I dette kapittelet skal vi se på noen grunnregler for løsning av ligninger med én ukjent. Det viser seg at balanse er et helt sentralt prinsipp

Detaljer

Kompleksitetsanalyse Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder

Kompleksitetsanalyse Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder Innhold 1 1 1.1 Hva er en algoritme?............................... 1 1.2

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 7: Predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo 4. februar 2008 Oppsummering Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel ((p q) r) Eksempel (p (q r))

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel ((p q) r) Eksempel (p (q r)) Oppsummering MAT1030 Diskret matematikk Forelesning 7: Predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo 4. februar 2008 Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 4. mai 2010 (Sist oppdatert: 2010-05-04 14:11) Forelesning 27 MAT1030 Diskret Matematikk 4. mai 2010

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)

Detaljer

Steg for steg. Sånn tar du backup av Macen din

Steg for steg. Sånn tar du backup av Macen din Steg for steg Sånn tar du backup av Macen din «Being too busy to worry about backup is like being too busy driving a car to put on a seatbelt.» For de fleste fungerer Macen som et arkiv, fullt av bilder,

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

Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner

Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner MAT1140, H-16 Mer om mengder: Tillegg til Kapittel 1 Vi trenger å vite litt mer om mengder enn det som omtales i første kapittel av læreboken. I dette tillegget skal vi først se på regneregler for Booleske

Detaljer

Forelesning 27. MAT1030 Diskret Matematikk. Bevistrær. Bevistrær. Forelesning 27: Trær. Roger Antonsen. 6. mai 2009 (Sist oppdatert: :28)

Forelesning 27. MAT1030 Diskret Matematikk. Bevistrær. Bevistrær. Forelesning 27: Trær. Roger Antonsen. 6. mai 2009 (Sist oppdatert: :28) MAT1030 Diskret Matematikk Forelesning 27: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 27 6. mai 2009 (Sist oppdatert: 2009-05-06 22:28) MAT1030 Diskret Matematikk 6.

Detaljer

Oppsummering av Kapittel 3. MAT1030 Diskret matematikk LOGIKK. Logikk. Forelesning 5: Logikk

Oppsummering av Kapittel 3. MAT1030 Diskret matematikk LOGIKK. Logikk. Forelesning 5: Logikk Oppsummering av Kapittel 3 MAT1030 Diskret matematikk Forelesning 5: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 28. januar 2008 I Kapittel 3 så vi på hvordan data, som hele tall og reelle

Detaljer

MAT1030 Diskret Matematikk

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

Detaljer

Livet til det lykkelige paret Howie og Becca blir snudd på hodet når deres fire år gamle sønn dør i en ulykke.

Livet til det lykkelige paret Howie og Becca blir snudd på hodet når deres fire år gamle sønn dør i en ulykke. RABBIT HOLE av David Lyndsay-Abaire Scene for mann og kvinne. Rabbit hole er skrevet både for scenen og senere for film, manuset til filmen ligger på nettsidene til NSKI. Det andre manuset kan du få kjøpt

Detaljer

Kalles p for premissen og q for konklusjonen. Utsagnet kan uttrykkes på mange forskjellige måter:

Kalles p for premissen og q for konklusjonen. Utsagnet kan uttrykkes på mange forskjellige måter: Logisk implikasjon (eng: conditional statement) La p og q være to utsagn. Utsagnet leses som «p impliserer q». Utsagnet er usant hvis p er sant og q er usant, og er sant ellers. Huskeregel: «SUSS» Operatoren

Detaljer

Ekvivalente utsagn. Eksempler: Tautologi : p V p Selvmotsigelse: p Λ p

Ekvivalente utsagn. Eksempler: Tautologi : p V p Selvmotsigelse: p Λ p Ekvivalente utsagn Definisjoner: Et sammensatt utsagn som ALLTID er SANT kalles for en TAUTOLOGI. Et sammensatt utsagn som ALLTID er USANT kalles for en SELVMOTIGELSE eller en KONTRADIKSJON (eng. contradiction).

Detaljer

Kapittel 4: Logikk (predikatlogikk)

Kapittel 4: Logikk (predikatlogikk) MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 9. februar 2010 (Sist oppdatert: 2010-02-09 14:22)

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 9: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 17. februar 2009 (Sist oppdatert: 2009-02-17 15:56) MAT1030 Diskret

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

Ordenes makt. Første kapittel

Ordenes makt. Første kapittel Første kapittel Ordenes makt De sier et ord i fjernsynet, et ord jeg ikke forstår. Det er en kvinne som sier det, langsomt og tydelig, sånn at alle skal være med. Det gjør det bare verre, for det hun sier,

Detaljer

http://www.nelostuote.fi/norja/discoveryregler.html

http://www.nelostuote.fi/norja/discoveryregler.html Sivu 1/6 Innhold 2 kart (spillebrett), 2 gjennomsiktige plastark (som legges oppå spillebrettene), Sjekkometer, 28 sjekkometerkort, 18 utstyrskort, 210 terrengbrikker, 2 tusjpenner. Hvem vinner? I Discovery

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

Kapittel 5: Relasjoner

Kapittel 5: Relasjoner MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 23. februar 2010 (Sist oppdatert: 2010-02-23 14:33) MAT1030 Diskret Matematikk

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner MAT1030 Diskret

Detaljer

Kapittel 5: Relasjoner

Kapittel 5: Relasjoner MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Relasjoner 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) MAT1030 Diskret

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske

Detaljer

Innledning. MAT1030 Diskret matematikk. Kapittel 11. Kapittel 11. Forelesning 33: Repetisjon

Innledning. MAT1030 Diskret matematikk. Kapittel 11. Kapittel 11. Forelesning 33: Repetisjon Innledning MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske

Detaljer

Argumentasjon og regnestrategier

Argumentasjon og regnestrategier Ole Enge, Anita Valenta Argumentasjon og regnestrategier Undersøkelser (se for eksempel Boaler, 2008) viser at det er en stor forskjell på hvilke oppfatninger matematikere og folk flest har om matematikk.

Detaljer

Emnekode: LGU 51014 Emnenavn: Matematikk 1 (5 10), emne 1. Semester: VÅR År: 2016 Eksamenstype: Skriftlig

Emnekode: LGU 51014 Emnenavn: Matematikk 1 (5 10), emne 1. Semester: VÅR År: 2016 Eksamenstype: Skriftlig Sensurveiledning Emnekode: LGU 51014 Emnenavn: Matematikk 1 (5 10), emne 1 Semester: VÅR År: 2016 Eksamenstype: Skriftlig Oppgave 1 Figuren viser hvordan en nettside forklarer en metode for addisjon og

Detaljer

Soloball. Steg 1: En roterende katt. Sjekkliste. Test prosjektet. Introduksjon. Vi begynner med å se på hvordan vi kan få kattefiguren til å rotere.

Soloball. Steg 1: En roterende katt. Sjekkliste. Test prosjektet. Introduksjon. Vi begynner med å se på hvordan vi kan få kattefiguren til å rotere. Soloball Introduksjon Scratch Introduksjon Vi skal nå lære hvordan vi kan lage et enkelt ballspill med Scratch. I soloball skal du styre katten som kontrollerer ballen, slik at ballen ikke går i nettet.

Detaljer

Det betyr igjen at det får verdien F nøyaktig når p = T, q = T og r = F.

Det betyr igjen at det får verdien F nøyaktig når p = T, q = T og r = F. Forelesning 7 Dag Normann - 4. februar 2008 Oppsummering Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel og de utsagnslogiske bindeordene,,, og. Vi har sett hvordan vi kan undersøke egenskapene

Detaljer

Bruk av oppgaver og grupper i

Bruk av oppgaver og grupper i Bruk av oppgaver og grupper i Versjon 02.07.2007 Ansvarlig for dokumentet Multimedisenteret/NTNU Innhold Innhold...1 Komme i gang med oppgaver...2 Legge til en oppgave...2 En oppgaves egenskaper...2 For

Detaljer

Hva kan bidra til å styrke vår emosjonelle utvikling, psykiske helse og positive identitet?

Hva kan bidra til å styrke vår emosjonelle utvikling, psykiske helse og positive identitet? Hva kan bidra til å styrke vår emosjonelle utvikling, psykiske helse og positive identitet? Hva trenger vi alle? Hva trenger barn spesielt? Hva trenger barn som har synsnedsettelse spesielt? Viktigste

Detaljer

Fibonaccitallene og det Gylne Snitt

Fibonaccitallene og det Gylne Snitt Fibonaccitallene og det Gylne Snitt 4. mai 2009 1 Fibonacci Er navnet kjent? Leonardo Fibonacci var en italiensk matematiker som levde i Pisa rundt år 1200. Han er anerkjent som en av middelalderens største

Detaljer

MAT1030 Forelesning 5

MAT1030 Forelesning 5 MAT1030 Forelesning 5 Logikk, utsagnslogikk Roger Antonsen - 27. januar 2009 (Sist oppdatert: 2009-01-28 09:12) Kapittel 4: Logikk (fortsettelse) Repetisjon Forrige gang snakket vi om utsagn og predikater,

Detaljer

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng) UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2010 Tid for eksamen: 09:00 13:00 INF1080 Logiske metoder for informatikk Oppgave 1 Mengdelære (10 poeng)

Detaljer

Nysgjerrigper. Forskningsrådets tilbud til barneskolen. Annette Iversen Aarflot Forskningsrådet, 13.november 2015 Nysgjerrigperkonferansen 2015.

Nysgjerrigper. Forskningsrådets tilbud til barneskolen. Annette Iversen Aarflot Forskningsrådet, 13.november 2015 Nysgjerrigperkonferansen 2015. Nysgjerrigper Forskningsrådets tilbud til barneskolen Annette Iversen Aarflot Forskningsrådet, 13.november 2015 Nysgjerrigperkonferansen 2015 Side Mål for kurset: Du har fått god kunnskap om Nysgjerrigpermetoden.

Detaljer

Løsningsforslag for 1. obligatoriske oppgave høsten 2014

Løsningsforslag for 1. obligatoriske oppgave høsten 2014 Løsningsforslag for 1 obligatoriske oppgave høsten 2014 Oppgave 1a) 1) Bruk av sannhetsverditabell: p q p p ( p ) p (( p ) S S U S U S S U U S U S U S S S S S U U S U U S Vi ser at (( p ) er en tautologi,

Detaljer

Algebra Vi på vindusrekka

Algebra Vi på vindusrekka Algebra Vi på vindusrekka Utsagn... 2 Åpne utsagn... 3 Den ukjente... 4 Likhetstegnet... 5 Likninger... 6 Løs likninger... 7 Matematiske uttrykk... 8 Formel... 9 Tilordning... 10 Funksjon... 11 Koordinatsystem...

Detaljer

Logikk og Mengdelære. Dag Normann Universitetet i Oslo Matematisk Institutt Boks Blindern 0316 Oslo

Logikk og Mengdelære. Dag Normann Universitetet i Oslo Matematisk Institutt Boks Blindern 0316 Oslo Logikk og Mengdelære Dag Normann Universitetet i Oslo Matematisk Institutt Boks 1053 - Blindern 0316 Oslo 16. februar 2005 Innhold 1 Mengdelære 6 1.1 Hva er en mengde?.......................... 6 1.2 Hvordan

Detaljer

Mengder, relasjoner og funksjoner

Mengder, relasjoner og funksjoner MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030

Detaljer

The agency for brain development

The agency for brain development The agency for brain development Hvor er jeg, hvem er jeg? Jeg hører pusten min som går fort. Jeg kan bare se mørke, og jeg har smerter i hele kroppen. Det er en ubeskrivelig smerte, som ikke vil slutte.

Detaljer

Veiviser til vilbli.no for rådgivere

Veiviser til vilbli.no for rådgivere Veiviser til vilbli.no for rådgivere Hva inneholder vilbli.no? en innholdsfortegnelse til denne veiviseren Hva er vilbli.no? vilbli.no er søkernes hovedkilde til informasjon om videregående opplæring.

Detaljer

Forskjellige typer utvalg

Forskjellige typer utvalg Forskjellige typer utvalg Det skal deles ut tre pakker til en gruppe på seks. Pakkene inneholder en TV, en PC og en mobiltelefon. På hvor mange måter kan pakkene deles ut? Utdelingen skal være tilfeldig

Detaljer

Oppgaver til julekalenderen 2005 for mellomtrinnet; 5. - 7.trinn

Oppgaver til julekalenderen 2005 for mellomtrinnet; 5. - 7.trinn Oppgaver til julekalenderen 2005 for mellomtrinnet; 5. - 7.trinn Løsningsord for kalenderen er RAKETTBASE PRESIS KLOKKA TO A B C D E F G H I J K L M N O 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 P Q R S T U

Detaljer

PERIODEPLAN HOMPETITTEN VÅRHALVÅRET 2012. http://lokkeveien.modum.kommune.no/

PERIODEPLAN HOMPETITTEN VÅRHALVÅRET 2012. http://lokkeveien.modum.kommune.no/ PERIODEPLAN HOMPETITTEN VÅRHALVÅRET 2012 http://lokkeveien.modum.kommune.no/ Innledning Godt nytt år til alle! Vi ser frem til å starte på vårhalvåret, og vi fortsetter det pedagogiske arbeidet med ekstra

Detaljer

Jo, Boka som snakker har så mange muligheter innebygget at den kan brukes fra barnehagen og helt opp til 10. klasse.

Jo, Boka som snakker har så mange muligheter innebygget at den kan brukes fra barnehagen og helt opp til 10. klasse. Kom godt i gang med Boka som snakker Forord Denne utgaven av Boka som snakker er en videreutvikling av den snart 20 år gamle utgaven av et program som bare fortsetter å være en hit på skolene. Og hvorfor

Detaljer

Kapittel 4. 4. og 5. september 2012. Institutt for geofag Universitetet i Oslo. GEO1040 - En Introduksjon til MatLab. Kapittel 4.

Kapittel 4. 4. og 5. september 2012. Institutt for geofag Universitetet i Oslo. GEO1040 - En Introduksjon til MatLab. Kapittel 4. r r Institutt for geofag Universitetet i Oslo 4. og 5. september 2012 r r Ofte ønsker vi å utføre samme kommando flere ganger etter hverandre gjør det mulig å repetere en programsekvens veldig mange ganger

Detaljer

Husk at du skal ha to vinduer åpne. Det ene er 'Python Shell' og det andre er for å skrive kode i.

Husk at du skal ha to vinduer åpne. Det ene er 'Python Shell' og det andre er for å skrive kode i. Skilpaddeskolen Steg 1: Flere firkanter Nybegynner Python Åpne IDLE-editoren, og åpne en ny fil ved å trykke File > New File, og la oss begynne. Husk at du skal ha to vinduer åpne. Det ene er 'Python Shell'

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp I: Bevis, mengder og funksjoner Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 5: Ukeoppgaver fra kapittel 4 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 14. februar 2008 Oppgave 4.4 Skriv ned setninger som svarer til den konverse

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

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

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 21. januar 2009 (Sist oppdatert: 2009-01-22 13:02) Kapittel 4: Logikk (fortsettelse) MAT1030

Detaljer

Kapittel 4: Logikk (fortsettelse)

Kapittel 4: Logikk (fortsettelse) MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (fortsettelse) 21. januar 2009 (Sist oppdatert: 2009-01-22 13:03) MAT1030

Detaljer

Vann i rør Ford Fulkerson method

Vann i rør Ford Fulkerson method Vann i rør Ford Fulkerson method Problemet Forestill deg at du har et nettverk av rør som kan transportere vann, og hvor rørene møtes i sammensveisede knytepunkter. Vannet pumpes inn i nettverket ved hjelp

Detaljer

Gangemesteren Nybegynner Scratch PDF

Gangemesteren Nybegynner Scratch PDF Gangemesteren Nybegynner Scratch PDF Introduksjon I dag skal vi lage et nyttig spill, nemlig et spill som hjelper oss å lære andre ting. Vi skal få hjelp til å lære gangetabellen! Steg 1: Læremesteren

Detaljer

Forslag til opplegg for en foreldrekveld om matematikk (varighet: 2 timer) v/ Ingvill M. Stedøy-Johansen, 2007

Forslag til opplegg for en foreldrekveld om matematikk (varighet: 2 timer) v/ Ingvill M. Stedøy-Johansen, 2007 Forslag til opplegg for en foreldrekveld om matematikk (varighet: 2 timer) v/ Ingvill M. Stedøy-Johansen, 2007 Inviter foreldrene på matematisk aften (forslag til invitasjon nederst i dette dokumentet).

Detaljer

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2013 Tid for eksamen: 09.00 13.00 Oppgave 1 Mengdelære (10 poeng)

Detaljer

2.3 Delelighetsregler

2.3 Delelighetsregler 2.3 Delelighetsregler Begrepene multiplikasjon og divisjon og regneferdigheter med disse operasjonene utgjør sentralt lærestoff på barnetrinnet. Det er mange tabellfakta å huske og operasjonene skal kunne

Detaljer

To likninger med to ukjente

To likninger med to ukjente To likninger med to ukjente 1. En skisse av undervisningsopplegget Mål Målet er at elevene skal lære seg addisjonsmetoden til å løse lineære likningssett med to ukjente. I stedet for å få metoden forklart

Detaljer

Hva holder vi på med? Læring eller opplæring eller begge deler?

Hva holder vi på med? Læring eller opplæring eller begge deler? Hva holder vi på med? Læring eller opplæring eller begge deler? 1 Er det slik i norsk skole? 2 Læring er hardt individuelt arbeid! Hvordan møter vi kommentaren: «Du har ikke lært meg dette, lærer» 90%

Detaljer

3. Introduksjon til prosjektet Hringr. Scratch fra scratch Enkel programmering for nybegynnere

3. Introduksjon til prosjektet Hringr. Scratch fra scratch Enkel programmering for nybegynnere 3. Introduksjon til prosjektet Hringr 29 Sammenlikninger hvis og hvis-ellers Vi mennesker bruker sammenlikninger hundrevis av ganger hver eneste dag. Når vi utfører oppgaver, når vi tenker og når vi jobber.

Detaljer

: subs x = 2, f n x end do

: subs x = 2, f n x end do Oppgave 2..5 a) Vi starter med å finne de deriverte til funksjonen av orden opp til og med 5 i punktet x = 2. Det gjør vi ved å bruke kommandoen diff f x, x$n der f x er uttrykket som skal deriveres, x

Detaljer

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 6: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 3. september 2008 (Sist oppdatert: 2008-09-03 12:49) Mer om bruk av utsagnslogikk

Detaljer