To nyttige begreper. Ekvivalensrelasjoner
|
|
- Edvin Finstad
- 7 år siden
- Visninger:
Transkript
1 To nyttige begreper Det er to begreper fra mengdelæren som til stadighet vil bli brukt i dette kurset, og som vi av erfaring vet kan være tungt fordøyelig for endel studender. For å få en skikkelig forståelse av kurset, er det viktig, om ikke essentielt, å ha en god forståelse av disse to begrepene. Det er derfor verdt å bruke noe tid på dem. Kongruensregning som vi også behandler, er det også svært viktig å ha en god forståelse av. Det første begrepet er ekvivalensrelasjoner, og det andre er partisjoner eller oppdelinger, somviogsåsier avmengder.dissetobegrepenehengernøyesammen. Vi starter med å definere hva vi mener med en ekvivalensrelasjon, for så å si hva en partisjon er, og tilslutt hvordan de to begrepene henger sammen. Ekvivalensrelasjoner Likhet er et grunnleggende eksempel på en ekvivalensrelasjon, og de tre egenskapen vi skal forlange at en ekvivalens relasjon har, refleksivitet, symmetri og transitivitet,er generaliseringer av velkjente egenskaper som likhet har. Tenker man seg litt om, er det svært sjelden man i dagligtalen står overfor like ting, altsåfullkommentidentisketing.somregel identifiserer vitingnårvisnakker. Det vil si at vi bruker samme betegnelse på fysisk forskjellige ting, men som i den gitte konteksten er ekvivalente. Når kjemikere snakker om hydrogen, omtaler de ikke de individuelle molekylene, men en klasse molekyler som kjemisk sett er identiske. I grammatikken heter dette fellesnavn! Vi innleder med å fortelle hva vi mener med en relasjon på en mengde X, eller for å være helt presis, en binær relasjon, sidendetdreiersegomåsammenligneto elementer fra X. DeterkortoggodtenundermengdeR A A hviselementer utgjør de par som står i relasjon til hverandre. Vi sier altså at x står i relasjon til y, ellerirelasjon R til y om vi vil presisere, dersom (x, y) 2 R, ogviskriverx R y.foråforenkleskrivemåtenvilmanoftesløyfe referansen til relasjonen R og bare skrive x y. En relasjon kalles en ekvivalensrelasjon hvis følgende tre betingelser er oppfyllt, der x, y og z 2 X er vilkårlige elementer: Refleksivitet: x x. Symmetri: x y hvis og bare hvis y x. Transitivitet: Dersom x y og y z, såerogsåx z. Det finnes mange relasjoner som ikke er ekvivalensrelasjoner. For eksempel relasjonen x>ypå R. Denertransitiv,menlangtfrasymmetrisk,ogsidenvibrukteekte ulikhet, er den heller ikke refleksiv.
2 Ekvivalensklasser Dersom x y er en gitt ekvivalensrelasjon på en mengde X, kanvideleinnelementene i X iklasser såkalteekvivalensklasser ved å gruppere ekvivalente elementer i samme klasse. Dersom x 2 A, larvi[x] betegne den klassen der x er med. Presist betyr det at vi lar [x] ={ y 2 X y x }. Den første observasjonen er at x 2 [x] detskullebaremangle,klassen[x] var jo nettopp den klassen der x var medlem! en trivialitet, men som gjenspeiler at relasjonen er refleksiv. Dette medfører at X er unionen av alle ekvivalensklassene: X = S x2x [x]. Den andre observasjonen er at vi har likheten [x] ={ y 2 X x y } (Y) det følger av symmetrien, siden at x y er ekvivalent med at y x. Ekvivalensklassene har den egenskapen at to av dem enten er disjunkte eller like, eller sagt annerledes, to forskjellige restklasser er disjunkte. Setning 1 Vi har følgende: Dersom y 2 [x], såer[y] =[x]. Dersom [x] \ [y] 6= ;, såer[x] =[y]. Bevis: Dersom y 2 [x] og z 2 [y], ery x og z y. Transitivitetgiratz x, detvil si at z 2 [x], ogderforer[y] [x]. Omy x, erx y fordi relasjonen er symmetrisk, så x 2 [y], ogfølgeliger[x] [y] etter hva vi nettopp har gjort. Hvis nå z 2 [x] \ [y], følger det fra den første påstanden at [x] =[z] =[y]. o Kongruens modulo et heltall Det er svært mange forskjellige ekvivalensrelasjoner i bruk i matematikk, men vi skal her konsentrerer oss om ett basalt eksempel. Den underliggende mengden skal være mengden Z av hele tall. Relasjonen vår avhenger av en parameter N som er et naturlig tall. Her kommer definisjonen: Vi sier at to heltall m og n er kongruente modulo N dersom differensen deres er delelig med N, alsåom n m = kn for en k 2 Z. Og isåfall skriver vi n m mod N. 2
3 Setning 2 Relasjonen n m mod N er en ekvivalensrelasjon. Bevis: Det er tre ting å sjekke. Refleksiviteten er åpenbar: n n =0 N. Symmetri følger fordi dersom n m = kn med k 2 Z, såerm n = kn, og k 2 Z når k 2 Z. Til slutt sjekker vi transitiviteten: Anta at n m og m l. Daern m = kn og m l = k 0 N for heltall k og k 0.Adderevidisselikheten,finnervin l =(k + k 0 )N. o Ekvivalensklassene kalles kongruensklasser eller også restklasser.detsistenavnet skriver seg fra at to tall m og n er kongruente modulo N hvis og bare hvis de gir samme rest når de divideres med N. Detteservislik.Antaatn m = kn med k 2 Z og at m = qn +r med q, r 2 Z og 0 apple r<n,daerselvfølgelign = n m+m =(q+k)n +r. En rekke skrivemåter for mengden av restklasser mod N er i bruk. Vi skal betegne denne mengden med Z N eller også med Z/N Z ienkeltesammenhenger. Eksempel. oddetall og partall. La N =2.Delerviettallpå2, fårvien rest som enten er 0 omtalleteretpartall eller1 omtalleterodde.vihar altså to restklasser modulo 2, ogz 2 = {[0], [1]}. Representasjonen [0] og [1] er ikke på noen måte entydig. Vi kan bruke et vilkårlig partall og et vilkårlig odde tall. For eksempel er Z 2 = {[2012], [2013]}, somkanskjeikke er en særlig fruktbar måte å beskrive elementene i Z 2 på med mindre man har en helt spesiell grunn, mens en representasjon som Z 2 = {[0], [ 1]} noen ganger er nyttig. e La nå m være et vilkårlig helt tall. Vi dividerer m med N og finner m = qn + r der kvotienten q, ogrestenr er hele tall og resten tilfredstiller 0 apple r<n.deterklart at r og m tilhører samme restklasse, så det følger: Setning 3 Det er nøyaktig N restklasser modulo N, ogvihar Z N = {[0], [1],...,[N 1]}. Eksempel. Representanter av miste tallverdi. Igjen presiserer vi at representasjonen for restklassene i lemmaet ikke er entydig. Det valget av representanter som gjøres der, kalles for standardvalget og er det mest vanlige. Det finnes også et annet naturlig valg som i mange sammenhenger er smart. Det består i å bruke representanter med minst tallverdi, ellerav minste modulus, sommanogsåsier.omn =2k +1er odde, består dette i at Z N = {[ k], [ k +1],...,[ 1], [0], [1],...,[k]}. Så for eksempel er Z 3 = {[ 1], [0], [1]} og Z 5 = {[ 2], [ 1], [0], [1], [2]}. DersomN =2k er jevn, er det følgende Z N = {[ k +1], [ k +2],...,[ 1], [0], [1],...,[k]}. Eksempelvis er Z 4 = {[ 1], [0], [1], [2], } e Oppgave 1. Vis at modulo 5 så er [ 2] = [3] og [ 1] = [4]. X 3
4 Restklassenes aritmetikk Det er en svært interessant observasjon med vidtrekkende konsekvenser at man kan addere og multiplisere restklasser. Mengden Z N utgjør faktisk et tallsystem på linje med tallene vi kjenner fra dagliglivet, selv om Z N på mange måter skiller seg dramatisk fra de dagligdagse tallene. Blant annet er Z N endelig. Slike systemer der det er definert en addisjon og en multiplikasjon kalles enten ringer eller kropper, ogviskalsenere ikursetstuderedemnøyere. Grunnen til at det lar seg gjøre å definere addisjon og multilikasjon av elementer fra Z N på en meningsfylt måte, finner vi i følgende lemma: Lemma 1 La N være et naturlig tall. La n, n 0 og m, m 0 være hele tall, og anta at n n 0 og m m 0 mod N. Dagjelderfølgende: n + m n 0 + m 0 mod N, nm n 0 m 0 mod N. Bevis: Vi har likhetene n = n 0 + kn og m = m 0 + ln, der k og l er hele tall. Addisjon av de to gir n + n 0 = m + m 0 +(k + l)n, sombetyrat n+m n 0 +m 0 mod N, ogmultiplikasjonavdemgirnm = n 0 m 0 +(m 0 k+n 0 l+kln)n, som betyr at nm n 0 m 0 mod N. o Med dette lemma i bakhånd er vi i stand til å definere addisjon og multiplikasjon av restklasser. La [n] og [m] være to restklasser mod N, derdetiskrivemåtenligger at vi har plukket ut en representant for hver av dem, henholdsvis n og m. Videfinerer summen av de to restklassene ved formelen: [n]+[m] =[n + m]. Selv om dette ser tilforladelig ut, er definisjonen i utgangspunktet problematisk. Venstre side avhenger bare av restklassene [n] og [m], mens den høyre siden derimot a priori avhenger av vårt valg av representanter n og m. Dette er imidlertid bare a priori, forfralemmaetfølgerdetatforetannetvalgavrepresentanter,laosssin 0 og m 0 med [n 0 ]=[n] og [m 0 ]=[m], såer[n 0 + m 0 ]=[n + m]. Derforerogsåhøyresiden uavhengig av representantvalg. På en helt tilsvarende måte definerer vi multiplikasjon av restklasser: [n][m] =[nm], og argumentet for at dette er en meningsfull definisjon, er mutatis mutandi det samme som for addisjon. 4
5 Praktisk kongruensregning Når et sett av representanter er valgt, kan man spørre om en konkret evaluering av en sum eller et produkt modulo N. Viberegnersummenellerproduktetpåvanligmåte for så å bestemme i hvilken restklasse svaret ligger. La oss se på eksemplet Z 14 med standard representasjon, og la oss beregne [7]+[13]. Vi har 7+13 = 20,ogdelervipå14, finnervi20 = Derforer[7] + [13] = [6]. Vi tar et multiplikasjonsstykke også og ser på [7] [13], fortsattiz 14.Viharat7 13 = 91 og dividerer vi på 14, finnervi91 = , så[7] [13] = [7]. Oppgave 2. Vis at [13] = [ 1] i Z 14 og at [7] = [7]. X Oppgave 3. Finn [11] + [12] og [5] [6] i Z 13 både i standard representasjon og minste tallverdi representasjon. X Etterhvert, når man får erfaring i å regne modulo et heltall, vil man forenkle skrivemåten, sløyfe hakeparentesene, og rett og slett skrive n for restklassen [n]. Det er da selvsagt underforstått at vi betrakter n som et element i Z N.Regningenegjørviakkurat slik vi er vant med, med ett viktig unntak. Vi må huske på at N =0i Z N,og at dette har visse konsekvenser. Blant annet krever det årvåkenhet når vi vil dividere. Det er nemlig ikke alltid mulig. For eksempel er 2 7=14=0i Z 14,sådivisjonmed 2 og 7 er forbudt der! Hadde vi kunnet dele med 2, villejo2 7=0medført at 7=0, hvilket ikke er tilfellet i Z 14. Derimot er divisjon med 3 i Z 14 uproblematisk. Vi har nemlig at 3 5=15 1 mod 14, såiz 14 er 3 5=1,ellerommanvil1/3 =5. Eksempel. I Z 5 er 4= 1 siden 1+4=5=0,ogdetfølgerat2 2 = 1, SåiZ 5 har vi en kvadratrot av 1! e Partisjoner En partisjon av en mengden X er ikke noe annet enn det navnet sier. Det er kort fortalt en oppdeling av X iparvisdisjunkteundermengder.viskalkalledisseundermengdene for partisjonens deler eller også stundom klasser. Denformelledefinisjonenersom følger: Definisjon 1 En partition P av en mengde X er en familie av undermengder av X som oppfyller S Klassene i P dekker X; i.e., P 2P P = X. Klassene i P parvis disjunkte, i.e., P \ P 0 = ; dersom P og P 0 er to forskjellige klasser fra P Partisjoner og ekvivalensrelasjoner Hvis x y er en ekvivalensrelasjon på en mengde X, kanvidelex inn i ekvivalensklasser og slik få en partisjon av X. Sidenx 2 [x], eropplagtx = S x2x [x], ogilemma1 5
6 viste vi at det andre kravet til å være en partisjon er oppfylt, nemlig at to forskjellige restklasser er disjunkte. Omvendt, om vi er gitt en partisjon P, kanvidefinereenekvivalensrelasjonvedå si at x P y hvis og bare hvis x og y ligger i samme klasse fra P. Dennerelasjonener klart refleksiv og symmetrisk, så la oss sjekke at den er transitiv. Anta at x P y, i.e., x og y ligger begge i en P 1 2 P, ogaty P z, i.e., y og z ligger begge i P 2 2 P. Da er er y 2 P 1 \ P 2,ogfølgeligerP 1 = P 2,sidenklasseneiP enten er disjunkte eller like. Følgelig ligger x og z også i samme klasse; i.e., x P z. Vi har således vist at det er en-entydig sammenheng mellom partisjoner og ekvivalensklasser. Partisjonen til en avbildning Hvis X og Y er to mengder, og f : X! Y er en avbildning, lar vi f 1 (y) ={ x 2 X f(x) =y } betegne undermengden av X som består av punktene som f avbilder på y. Mengden f 1 (y) kalles ofte fiberen til f over y. Fibrenetilf danner en partisjon av X: Lemma 2 Om f : X! Y er en avbildning mellom to mengder, så er P f = { f 1 (y) y 2 Y } en partisjon av X. Fordentilsvarendeekvivalensrelasjonengjelderdetat x f x 0 hvis og bare hvis f(x) =f(x 0 ). Bevis: Anta at x 2 f 1 (y)\f 1 (y 0 ).Daery = f(x) =y 0 og følgelig er f 1 (y) =f 1 (y 0 ). At X = S y2y f 1 (y), følgerfordix 2 f 1 (f(x)). o Eksempel. La X = Z og definer f : Z! Z ved f(n) =( 1) n.daerpartisjonen tilordnet f, ikkenoeannetennoppdelingenavz ioddeogjevnetall. e Oppgave 4. Angi en funksjon f : Z! C hvis fibre presis er restklassene modulo 3. X Et opptellingsresultat Vi vil i flere sammenhenger være interessert i å finne uttrykk for antall elementer i endelige mengder X. Detteantalletskalvibetegneentenmed#X eller ofte også med X. Sidenmengdeneienpartisjonerdisjunkte,ogunionenavdemerlikX, harvi følgende: Setning 4 Om X er en endelig mengde og P er en partisjon av X, såer #X = X P 2P #P. Kobler vi dette sammen med sammenhengen mellom fibre og partisjoner, finner vi: Setning 5 Om f : X! Y er en avbildning og X en endelig mengde, så er #X = X y2y #f 1 (y). Versjon: Thursday, January 10, :46:39 PM 6
Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0
Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008 8.4.27 Vi beregner matrisene W i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. a) W 0 = W 1 = W 2 = 1 0 0 0 1 1 0 0 b) W 0 = c) W 0 = d) W 0
DetaljerR for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.
Repetisjon fra siste uke: Relasjoner En relasjon R på en mengde A er en delmengde av produktmengden A A. La R være en relasjon på en mengde A. R er refleksiv hvis R er symmetrisk hvis R er antisymmetrisk
DetaljerRelasjoner. Ekvivalensrelasjoner. En relasjon R på en mengde A er en delmengde av produktmengden. La R være en relasjon på en mengde A.
Relasjoner En relasjon R på en mengde A er en delmengde av produktmengden A A. La R være en relasjon på en mengde A. R er refleksiv hvis ( a, a) R for alle a A. R er symmetrisk hvis ( a, b) R, så er (
DetaljerMAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile
MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for
DetaljerR for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.
Repetisjon fra siste uke: Relasjoner En relasjon R på en mengde A er en delmengde av produktmengden A A. La R være en relasjon på en mengde A. R er refleksiv hvis R er symmetrisk hvis R er antisymmetrisk
DetaljerRepetisjonsforelesning - INF1080
Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en
DetaljerEksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra
DetaljerLø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
DetaljerTillegg til kapittel 11: Mer om relasjoner
MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker
DetaljerObligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer
Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle
DetaljerEksamen MAT H Løsninger
Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F
DetaljerLøsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian
DetaljerLO118D Forelesning 5 (DM)
LO118D Forelesning 5 (DM) Relasjoner 03.09.2007 1 Relasjoner 2 Ekvivalensrelasjoner 3 Matriser av relasjoner 4 Relasjonsdatabaser Relasjon Relasjoner er en generalisering av funksjoner En relasjon er en
DetaljerKapittel 5: Relasjoner
MAT1030 Diskret Matematikk Forelesning 12: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) MAT1030 Diskret Matematikk
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag:. desember Tid for eksamen:.. INF Logiske metoder for informatikk Oppgave Mengdelære ( poeng) La A = {,, {}}, B =
DetaljerMAT1030 Forelesning 12
MAT1030 Forelesning 12 Relasjoner Dag Normann - 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) Kapittel 5: Relasjoner Repetisjon En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt
DetaljerLF, KONTINUASJONSEKSAMEN TMA
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Haaken A. Moe 92650655 Bokmål LF, KONTINUASJONSEKSAMEN TMA4140 2008 Oppgave 1 (10%)
DetaljerNotat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner
Notat 05 for MAT1140 5 Relasjoner, operasjoner, ringer 5.1 Relasjoner Når R er en relasjon som er veldefinert på A B, slik at R(x, y) er en påstand når x A og B B, tenker vi på relasjonen som noe som lever
DetaljerRelasjoner - forelesningsnotat i Diskret matematikk 2015
Relasjoner Utdrag fra avsnitt 9.1, 9.3, 9.4 og 9.5 i læreboka 9.1 - Relasjoner 9.3 - Operasjoner på relasjoner 9.4 - Utvidelser av relasjoner - tillukninger 9.5 - Ekvivalensrelasjoner og ekvivalensklasser
DetaljerRelasjoner - forelesningsnotat i Diskret matematikk 2017
Relasjoner Utdrag fra avsnitt 9.1, 9.3, 9.4 og 9.5 i læreboka 9.1 - Relasjoner 9.3 - Operasjoner på relasjoner 9.4 - Utvidelser av relasjoner - tillukninger 9.5 - Ekvivalensrelasjoner og ekvivalensklasser
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen Tid: Onsdag 7. desember 2016 kl. 14.30 18.30 (4 timer) Tillatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like mye. Den
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen (med løsningsforslag) Dette er et utkast til løsningsforslag til eksamen i INF1080, og feil kan forekomme. Hvis du finner noen feil, si ifra til
DetaljerLøsningsforslag oblig. innlevering 1
Løsningsforslag oblig. innlevering 1 IN1150 Logiske metoder Høsten 2017 Oppgave 1 - Mengdelære (10 poeng) a) Ut fra opplysningene under, angi hvilke mengder A og B er. A B = {1, 2, 3, 4, 5, 6} A B = {2,
Detaljer7 Ordnede ringer, hele tall, induksjon
Notat 07 for MAT1140 7 Ordnede ringer, hele tall, induksjon Definition 7.1. La R være utstyrt med addisjon og multiplikasjon slik at vi har å gjøre med en kommutativ ring. Anta videre at R er utstyrt med
DetaljerFør vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet
MAT1030 Diskret Matematikk Forelesning 12: Relasjoner og litt funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Før vi begynner 3. mars 2009 (Sist oppdatert: 2009-03-04 01:00) MAT1030
DetaljerPermutasjoner og symmetriske grupper
Permutasjoner og symmetriske grupper Verbet permutere betyr å bytte om, og ombyttinger, eller altså permutasjoner, er noe vi kjenner fra dagliglivet. I matematikk er de også flittig i bruk, de fleste har
Detaljer{(1,0), (2,0), (2,1), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) } {(1,0), (1,1), (1,2), (1,3), (2,0), (2,2), (3,0), (3,3), (4,0)}
Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete athematics and Its Applications Forfatter: Kenneth H. osen Avsnitt 8. Oppgave A {,,,,4} og B {,,,} a) {( a,
DetaljerMengder, 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
DetaljerLøsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:
Løsningsforslag Emnekode: ITF75 Dato: 7. desember Emne: Matematikk for IT Eksamenstid: kl 9. til kl. Hjelpemidler: To -ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian
DetaljerUNIVERSITETET 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)
DetaljerEgenskaper til relasjoner på en mengde A.
Egenskaper til relasjoner på en mengde A. Refleksivitet Relasjonen er refleksiv hvis (a, a) R for alle a A. Vi kan se det ut fra: 1) Grafen: R er refleksiv hvis alle punktene i grafen har en sløyfe. 2)
DetaljerNiels Henrik Abels matematikkonkurranse Løsninger
Niels Henrik Abels matematikkonkurranse 20 202 Løsninger Finale 8 mars 202 Oppgave a (i) Om Berit veksler to femkroner og en tjuekrone til tre tikroner, og så to femkroner og tre tikroner til to tjuekroner,
DetaljerLØ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)
Detaljerx A e x = x e = x. (2)
Notat om Algebra for MAT1140 1 Algebra 1.1 Operasjoner Definisjon 1.1. En operasjon på en mengde A er en avbildning fra A A til A. Bemerkning 1.1. Mer generelt kan man snakke om n-ære operasjoner på A,
DetaljerLØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1
LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 p q p p q p q T T F T T Sannhetstabell: T F F F F F T T T T F F T T T Siden proposisjonene p q og p q har samme sannhetsverdier (for alle sannhetsverdier
DetaljerOversikt over kvadratiske kongruenser og Legendresymboler
Oversikt over kvadratiske kongruenser og Legendresymboler Richard Williamson 3. desember 2014 Oppgave 1 Heltallet er et primtall. Er 11799 en kvadratisk rest modulo? Hvordan løse oppgaven? Oversett først
DetaljerMatematikk for IT, høsten 2016
Matematikk for IT, høsten 2016 Oblig Løsningsforslag 16. september 2016 2.4.1 a) {(0, 1), (0, 2), (1, 2)} b) {(0, 0), (1, 1), (2, 2)} c) {(0, 0), (0, 1), (1, 0), (0, 2), (2, 0)} d) {(0, 0), (1, 0), (1,
DetaljerEksamen i Elementær Diskret Matematikk - (MA0301)
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Steffen Junge (73 59 17 73 / 94 16 27 27) Eksamen i Elementær Diskret Matematikk -
DetaljerMAT1030 Plenumsregning 9
MAT1030 Plenumsregning 9 Ukeoppgaver Mathias Barra - 13. mars 2009 (Sist oppdatert: 2009-03-17 09:35) Oppgave 5.18 Avgjør om følgende relasjoner refleksive, irrefleksive, symmetriske, antisymmetriske eller
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55) Repetisjon
DetaljerOversikt over det kinesiske restteoremet
Oversikt over det kinesiske restteoremet Richard Williamson 3. desember 2014 Oppgave 1 Finn et heltall x slik at: (1) x 2 (mod 6); (2) x 3 (mod 11). Hvordan vet jeg at vi bør benytte det kinesiske restteoremet?
DetaljerRepetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler.
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Repetisjon Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55)
DetaljerEn relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha.
Forelesning 12 Relasjoner, Dag Normann - 20. februar 2008 Oppsummering En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser
DetaljerKomplekse 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
DetaljerEliminasjon av ubetsemthet
1. Del Eliminasjon av ubetsemthet Warning: En svært midlertidig versjon som er ikke er ferdig. Den er rotete og sikkert full av feil. Forbedring følger etterhvert! versjon 0.3 last update: 10/21/15 2:48:38
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) Kapittel 6: Funksjoner MAT1030 Diskret
DetaljerOppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk
Oppsummering MAT1030 Diskret matematikk Forelesning 12: Relasjoner, Dag Normann Matematisk Institutt, Universitetet i Oslo 20. februar 2008 En relasjon på en mengde A er en delmengde R A A = A 2. Vi har
DetaljerKarakteriseringen av like mengder. Mengder definert ved en egenskap.
Notat 2 for MAT1140 2 Bevis La oss si at vi er overbevist om at utsagn P er sant, og at vi ønsker å kommunisere denne innsikten. Eller la oss si vi er ganske sikre på at P er sant, men ønsker, overfor
DetaljerMAT1030 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
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF Logiske metoder for informatikk Eksamensdag:. desember Tid for eksamen:.. Oppgavesettet er på sider. Vedlegg: Ingen Tillatte
DetaljerMAT1030 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Øvingsforelesning 4. Modulo hva er nå det for no? TMA4140 Diskret Matematikk. 24. og 26. september 2018
Modulo hva er nå det for no? Øvingsforelesning 4 TMA4140 Diskret Matematikk 24. og 26. september 2018 Dagen i dag Repetere den euklidske algoritmen, kongruensregning og annet underveis H11.3a: Inverser
DetaljerKapittel 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
DetaljerMAT1030 Forelesning 13
MAT1030 Forelesning 13 Funksjoner Dag Normann - 2. mars 2010 (Sist oppdatert: 2010-03-02 14:15) Kapittel 6: Funksjoner Forrige uke Forrige forelesning snakket vi om relasjoner. Vi snakket om ekvivalensrelasjoner
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 2. mars 2010 (Sist oppdatert: 2010-03-02 14:14) MAT1030 Diskret Matematikk
DetaljerSkjæringsteori. Intro. 1. Del
1. Del Skjæringsteori Intro Warning: En svært midlertidig versjon som er ikke er ferdig. Den er rotete og sikkert full av feil. Forbedring følger etterhvert! versjon 0.3 last update: 10/20/15 12:48:03
DetaljerMAT1030 Forelesning 13
MAT1030 Forelesning 13 Funksjoner Roger Antonsen - 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) Kapittel 6: Funksjoner Opphenting Forrige forelesning snakket vi veldig grundig om relasjoner Vi snakket
DetaljerRepetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon
Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og
DetaljerGrublegruppe 19. sept. 2011: Algebra I
Grublegruppe 19. sept. 2011: Algebra I Ivar Staurseth ivarsta@math.uio.no Innledning, definisjoner Vi har så langt jobbet med mengder, X, hvor vi har hatt et avstandsbegrep og hvor vi har vært i stand
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) MAT1030 Diskret
DetaljerMAT1140: 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)
DetaljerMAT1140: 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
DetaljerMatematikk for IT. Prøve 1. Torsdag 18. september Løsningsforslag
23.09.2014 Matematikk for IT Prøve 1 Torsdag 18. september 2014 Løsningsforslag Oppgave 1 a) Gitt tallet BD 16. Konvertér dette tallet til titallsystemet. Siden B 16 = 11 10 og D 16 = 13 10 blir dette
DetaljerQED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter
QED 1 7 Matematikk for grunnskolelærerutdanningen Bind 2 Fasit kapittel 1 Tallenes hemmeligheter Kapittel 1 Oppgave 8. Nei Oppgave 9. Det nnes ikke nødvendigvis et minste element i mengden. Et eksempel
DetaljerINF1800 Forelesning 6
INF1800 Forelesning 6 Utsagnslogikk Roger Antonsen - 3. september 2008 (Sist oppdatert: 2008-09-03 12:49) Mer om bruk av utsagnslogikk Hvordan fange inn utsagn? Jeg spiser det hvis det er godt. Jeg spiser
DetaljerFASIT/LF FOR EKSAMEN TMA4140, H07
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 5 FASIT/LF FOR EKSAMEN TMA440, H07 Oppgave (0%) Benytt matematisk induksjon til å vise at for alle heltall n. n i i!
DetaljerForelesning 29: Kompleksitetsteori
MAT1030 Diskret Matematikk Forelesning 29: Kompleksitetsteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 29: Kompleksitetsteori 13. mai 2009 (Sist oppdatert: 2009-05-17
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 29: Kompleksitetsteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo 13. mai 2009 (Sist oppdatert: 2009-05-17 22:38) Forelesning 29: Kompleksitetsteori
DetaljerPartielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140, H-15 Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns
DetaljerMatematikk for IT. Prøve 1. Onsdag 18. september Løsningsforslag
Matematikk for IT Prøve 1 Onsdag 18. september 2013 Løsningsforslag Oppgave 1 a) Er 26 11 (mod 3)? Begrunn svaret. Dette spørsmålet betyr: Gir 26 : 3 samme rest som 11 : 3? Vi ser at 26 : 3 gir rest 2,
DetaljerINF1800 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
DetaljerGrafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.
MAT030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Grafteori 20. april 200 (Sist oppdatert: 200-04-20 4:8) MAT030 Diskret Matematikk 20. april 200
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 20. april 2010 (Sist oppdatert: 2010-04-20 14:17) Grafteori MAT1030 Diskret Matematikk 20. april
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgave 1 Mengdelære (10 poeng)
DetaljerMAT1030 Forelesning 23
MAT030 Forelesning 23 Grafteori Roger Antonsen - 22. april 2009 (Sist oppdatert: 2009-04-22 2:36) Forelesning 23 Repetisjon og mer motivasjon Først litt repetisjon En graf består av noder og kanter Kanter
DetaljerForelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.
MAT030 Diskret Matematikk Forelesning 23: Grafteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 23 22. april 2009 (Sist oppdatert: 2009-04-22 2:37) MAT030 Diskret Matematikk
DetaljerNiels Henrik Abels matematikkonkurranse Finale Løsninger
Niels Henrik Abels matematikkonkurranse 6. mars 2018 Oppgave 1. Det kinesiske restleddteoremet tillater oss å telle opp antall par (x, y) der x er restklassen til n!! modulo 125 og y er restklassen modulo
DetaljerLØSNINGSFORSLAG EKSAMEN V06, MA0301
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket
DetaljerLØSNINGSFORSLAG KONT 07, TMA4140
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 LØSNINGSFORSLAG KONT 07, TMA4140 Oppgave 1 (10%) Utsagnet ( ( (p q)) r ) ( q p ) får sannhetstabellen: p q r (p
DetaljerFørst litt repetisjon
Først litt repetisjon En relasjon er en mengde av verdipar, der første koordinaten a er fra mengden A og andrekoordinaten b er fra mengden B. Verdiparet beskriver en forbindelse (en relasjon) fra a til
DetaljerLøsningsforslag til eksamenen i MAT103, våren 2015
Løsningsforslag til eksamenen i MAT103, våren 2015 Oppgave 1 (vekt 10%) a) Et tall a er et partall hvis a er delelig med 2, dvs a 0(mod 2). Et tall a er et oddetall hvis a ikke delelig med 2, dvs a 1(mod
DetaljerRelativt primiske tall
Relativt primiske tall To heltall a og b (der ikke begge er 0) kalles relativt primiske hvis gcd(a, b) = 1, dvs. de har ingen felles faktorer utenom 1. NB! a og b trenger ikke være primtall for at de skal
DetaljerPrøveeksamen 2016 (med løsningsforslag)
Prøveeksamen 2016 (med løsningsforslag 1 Grunnleggende mengdelære La A = {0, {0}} og B = {0, {0}, {0, {0}}}. Er følgende påstander sanne eller usanne? 1 {{0}} A 2 0 B 3 A B 4 A B 1 Usann 2 Usann 3 Sann
Detaljerb) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden
Avsnitt. Oppgave Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete Mathematics and Its Applications Forfatter: Kenneth H. Rosen a) 7 går opp i 68 siden 68 7 b)
DetaljerTOPOLOGI. 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
DetaljerMatematikk for IT. Prøve 1 Løsningsforslag. Fredag 23. september september Oppgave 1
Matematikk for IT Prøve 1 Løsningsforslag Fredag 23. september 2016 23. september 2016 Oppgave 1 Er 29 17 (mod 4)? Begrunn svaret. Dette kan vi lettest sjekke ved å se om 4 deler 29 17. 29 17 = 12. Vi
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 9. desember 2010 Tid for eksamen: 09:00 13:00 Oppgavesettet er på 5 sider.
DetaljerMAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma
DetaljerEuklids 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
DetaljerKJENT OG UKJENT I ELEMENTÆR TALLTEORI. Dan Laksov KTH, Stockholm
KJENT OG UKJENT I ELEMENTÆR TALLTEORI Dan Laksov KTH, Stockholm matematikk/laksov/bokprosjekt/forum/tallteori/july 25, 2005 KJENT OG UKJENT I ELEMENTÆR TALLTEORI Kjent og ukjent i elementær tallteori Dan
DetaljerINF3170 Forelesning 1
INF3170 Forelesning 1 Introduksjon og mengdelære Roger Antonsen - 26. januar 2010 (Sist oppdatert: 2010-01-26 14:58) Dagens plan Innhold Velkommen til INF3710 Logikk 1 Litt praktisk informasjon...................................
DetaljerMA1301 Tallteori Høsten 2014 Løsninger til Eksamen
MA1301 Tallteori Høsten 2014 Løsning til Eksamen Richard Williamson 11. desemb 2014 Innhold Oppgave 1 2 a)........................................... 2 b)........................................... 2 c)...........................................
DetaljerReelle tall på datamaskin
Reelle tall på datamaskin Knut Mørken 5. september 2007 1 Innledning Tirsdag 4/9 var tema for forelesningen hvordan reelle tall representeres på datamaskin og noen konsekvenser av dette, særlig med tanke
DetaljerNotater fra forelesning i MAT1100 mandag
Notater fra forelesning i MAT00 mandag 3.08.09 Amandip Sangha, amandips@math.uio.no 8. august 009 Følger og konvergens (seksjon 4.3 i Kalkulus) Definisjon.. En følge er en uendelig sekvens av tall {a,a,a
DetaljerModulo-regning. hvis a og b ikke er kongruente modulo m.
Modulo-regning Definisjon: La m være et positivt heltall (dvs. m> 0). Vi sier at to hele tall a og b er kongruente modulo m hvis m går opp i (a b). Dette betegnes med a b (mod m) Vi skriver a b (mod m)
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 32: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 21. mai 2008 Streik? Det er muligheter for streik i offentlig sektor fra midnatt, natt til fredag.
DetaljerEksamen i MNFMA205/SIF5021, 19. mai 1999-Løsningsforslag a b Oppgave 2. (a) Vi skal vise at H = 0 a b under matrisemultiplikasjon. Vi har at det.
Eksamen i MNFMA205/SIF5021 19. mai 1999-Løsningsforslag { } Oppgave 2. a Vi skal vise at H 0 a C er en gruppe under matrisemultiplikasjon. Vi har at det aā + a 2 + 2 > 0 da enten a 0 eller 0. Dette fører
DetaljerLøsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk. Høsten 2018
Løsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk Oppgave 1. ( 9 3 ) = 9 8 7 3 2 1 = 3 4 7 = 84 Høsten 2018 {1, 5, 9}, {1, 6, 8}, {2, 4, 9}, { 2, 5, 8}, {2, 6, 7}, {3, 4, 8}, {3, 5, 7},
DetaljerAnalysedrypp 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