Løsningsforslag til 1. obligatorisk oppgave i Diskret matematikk, høsten 2016
|
|
- Gøran Mikalsen
- 7 år siden
- Visninger:
Transkript
1 Løsningsforslag til 1. obligatorisk oppgave i Diskret matematikk, høsten 2016 Oppgave 1 a) b) r = p q p q s = p q q p q p t = p q p q c) Vi ser av sannehetsverditabellen at uttrykkene (p q) r og p (q r) ikke er ekvivalente. i) m n(n 2 = m) Med ord: For alle heltall m finnes det et annet heltall n som, er som opphøyet i 2., er lik m. Dette betyr at m = n, dvs. at m er alltid vil være et heltall. Men 2 er f. eks. ikke et heltall, så dette er USANT: ii) iii) m n(mn > n) Med ord: For alle heltall er det slik at hvis vi multipliserer to vilkårlige heltall med hverandre så vil produktet alltid være større enn en av faktorene. Men hvis vi lar m være negativ og n være positiv så vil produktet være negativt og følgelig mindre enn n som er positiv. Følgelig er utsagnet USANT. m n(n 2 = m) Med ord: Det eksisterer et tall m som er slik at alle andre tall som vi opphøyer i 2. er lik dette m. 1
2 Hvis dette skulle vært sant, skulle alle tall man opphøyde i 2. blitt lik det samme tallet m. Det er det selvfølgelig ikke. 2 2 = 4 er forskjellig fra 3 2 = 9. Altså er utsagnet USANT. Hvis derimot kvantorene bytter plass og vi har n m(n 2 = m), vil uttrykket være sant: For alle heltall n så finnes det et annet heltall som er lik n opphøyet i 2. Sagt på en annen måte: Kvadratet av ethvert heltall er et heltall. Multipliserer vi to heltall med hverandre blir produktet også et heltall. Oppgaven viser at rekkefølgen kvantorene står i har betydning for utsagnets sannhetsinnhold. iv) m n(n 2 m < 100) Det finnes et heltall n som er slik at når vi opphøyer det i 2. kan vi trekke fra ethvert annet heltall og få et svar som er mindre enn hundre. n 2 kan ikke være negativt. Hvis jeg f. eks. velger m = 100 vil svaret jeg få være n 2 m 100. Følgelig er utsagnet USANT. d) P(x): x har Mac Q(x): x har en ipad i) «Det finnes en student som...» betyr at «det eksisterer en x som..». Dermed må vi bruke eksistenskvantoren. Med andre ord slik: x(p(x) Q(x)) ii) iii) iv) Når vi har «alle» må vi bruke all-kvantoren, dvs. slik: x(p(x) Q(x)) «Det finnes en..» betyr at vi må bruke eksistenskvantoren: x(p(x) Q(x)) Dette kan vi skrive slik: For alle studenter gjelder at hvis studenten har en ipad, så har studenten en Mac. «For alle» gir at vi må bruke all-kvantoren og hvis at vi har en implikasjon. Dette kan settes opp slik: x(q(x) P(x)). Det er mulig å skrive det annerledes. Husk at hvis a og b er to utsagn, så er a b ekvivalent med a b. Dermed får vi at x(q(x) P(x)) er ekvivalent med x( Q(x) P(x)) som igjen er ekvivalent med (DeMorgans lov) x(q(x) P(x)). Dette oversettes til: Det er ingen studenter som har ipad uten at de har en Mac. 2
3 Oppgave 2 a) i) A B = (A B) (B A) = {1, 7} {4, 5} = {1, 4, 5, 7} ii) (A B) C = {1, 4, 5, 7} { 3, 5, 6, 7} = {1, 3, 4, 6} b) i) ii) c) For eksempel (A C) (B C) d) La D være mengden av de som tar Diskret matematikk, P de som tar Programmering og W de som tar Webprosjekt. En oppgave av denne typen kan løses på flere måter. En måte er å bruke formler for antall i mengder. En annen måte er å «fylle ut» et Venn-diagram. Det er normalt enklest å bruke Venn-diagram. 1) Formler for antall i mengder Inklusjon-eksklusjonsformelen sier at D P W D P W D P D W P W D P W 1) Vi får D P W = = 206. Dvs. 206 som tar minst ett emne. Da blir det = 14 som ikke tar noen emner. 2) Vi skal finne antallet i D P W. Denne mengden er lik D P D P W og 3
4 siden D P W er en delmengde av D P får vi at D P D P W blir lik D P D P W. Dermed blir svaret = 6. 3) På samme måte som i b) kan vi finne at D W P = 10 og P W D = 2. Svaret blir derfor = 18. 4) Her skal vi finne antallene i D (W P), P (D W) og W (D P). Antallet i D (W P) er lik antallet i D D (W P) og D D (W P) = D D (W P). Videre har vi at D (W P) (D W) (D P). Dermed blir D (W P) D W D P D P W. Til sammen får vi at D (W P) = 180 ( ) = 14. Antallet til P (D W) blir 8 og antallet til W (D P) blir 16. Svaret blir derfor = 38. 2) Bruk av Venn-diagram Dette er normalt den enkleste og raskeste metoden. Opplysningene legges inn i et Venndiagram slik at hvert tall står for antallet elementer i den delen der tallet står. Da starter vi med å fylle området i midten. Det representerer mengden D P W der antallet er 150. Så fortsetter vi utover. Mengden D P har to deler. Det er D P W og D P D P W. Siden antallet i D P er 156 og antallet i D P W er 150, blir antallet i D P D P W lik = 6. Osv. Det gir oss flg. utfylte Venn-diagram: i) Her skal vi finne antallet i mengden U (D P W). Det blir = 14 ii) Her skal vi finne antallet i mengden (D P) W. Det blir 6. iii) Her skal vi finne antallet i mengden ((D P) W) ((P W) D) ((D W) P). Det blir = 18. iv) Her skal vi finne antallet i mengden (D (P W) (P (D W) (W (D P)). Det blir = 38. 4
5 e) NB! Universal mengden tallene fra 1 til 9, dvs. U = {1, 2, 3, 4, 5, 6, 7, 8, 9} Hvis man har tolket universalmengden som U = {1, 2, 3, 4, 5, 6, 7, 8}, blir det et element mindre i de seks siste deloppgavene. i) A B = {3, 4, 5} ii) A B = {1, 2, 3, 4, 5, 6, 7} iii) = {6, 7, 8, 9} iv) = {1, 2, 8, 9} v) = {1, 2, 6, 7, 8, 9} vi) = {1, 2, 6, 7, 8, 9} vii) = {8, 9} viii) = { 8, 9} Vi ser at = og = Oppgave 3 Vi ser at f er en-til-en siden det ikke går mer enn én pil inn til noe element i B. f er også på siden det går en pil til alle elementene i B. Funksjonen g er derimot ikke en-til-en siden det går to piler inn til elementet x. Men g er på siden det går en pil til alle elementene i C. h = g o f h(1) g(f(1)) = g(c) = y h(2) g(f(2)) = g(a) = z, h(3) = g(f(3)) = g(d) = x h(4) = g(f(4)) = g(b) = x. Funksjonen h har ingen invers siden den ikke er en-til-en. 5
6 i) f(0) = (0 mod 3) + ( 0 mod 7) = 0 f(4) = (4 mod 3) + ( 4 mod 7) = = 5 f(10) = (10 mod 3) + (10 mod 7) = = 4 f(12) = (12 mod 3) + (12 mod 7) = = 5 ii) k mod 3 vil alltid være mindre eller lik 2, dvs. 0, 1 eller 2, mens k mod 7 alltid vil være mindre eller lik 6, dvs. 0, 1, 2, 3, 4, 5 eller 6. Dermed vil f(k) alltid være mindre eller lik 8. Følgelig finnes det ingen k slik f(k) = 9. Det finnes imidlertid en k slik at f(k) = 8. Vi kan finne k ved å løse ligningssettet k mod 3 = 2 k mod 7 = 6 Hvis vi for eksempel velger k = 20 får vi f(20) = (20 mod 3) + (20 mod 7) = = 8. iii) V f = {0, 1, 2, 3, 4, 5, 6, 7, 8} iv) f er ikke en-til-en fordi forskjellige verdier for k kan gi samme funksjonsverdi, for eksempel f(4) = f(12) = 5. v) f er ikke på fordi V f er forskjellig fra verdiområdet. V f er en delmengde av verdiområdet. Oppgave 4 6
7 Oppgave 5 For at et matriseprodukt AB skal være definert må antallet kolonner i A være lik antallet rader i B. Vi ser at A er en 2x3-matrise, Ber en 3x2-matrisen og C er en 3x3-matrise. Dermed får vi at i) AB er definert ii) BA er definert iii) AC er definert 7
8 b) iv) CA er ikke definert v) BC er ikke definert vi) CB er definert 8
Løsningsforslag til oblig 1 i DM 2018
Løsningsforslag til oblig 1 i DM 2018 Oppgave 2 p: «Det regner» q: «Det blåser» a) ikke p og ikke q blir: p q = ( p q) b) q hvis ikke p blir det samme som hvis ikke p så q: p q c) p bare hvis ikke q blir:
DetaljerLø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,
DetaljerLøsningsforlag til eksamen i Diskret matematikk. 29. november 2017
Løsningsforlag til eksamen i Diskret matematikk 29. november 2017 Oppgave 1, 2, 3, 4, 5 og 6 teller likt. For å få full score må man vise hvordan man har kommet frem til svarene (ved f. eks. figurer eller
Detaljeri Dato:
c:- høgskolen i oslo I Emne I EmnlekOde: I FagligvelIeder: Diskret matematikk FO 019A UJfUttersrud raruppe( r): i Dato: - I Eksamenstid: 12.12.2005 9-14 I Eksam-ensopp gavenbestår av: I Antall sid~nkl
DetaljerVi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.
Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller
DetaljerTMA 4140 Diskret Matematikk, 2. forelesning
TMA 4140 Diskret Matematikk, 2. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 2, 2011 Haaken Annfelt Moe (NTNU) TMA
DetaljerTMA 4140 Diskret Matematikk, 3. forelesning
TMA 4140 Diskret Matematikk, 3. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 5, 2011 Haaken Annfelt Moe (NTNU) TMA
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)
DetaljerLøsningsforslag til øving 12
Høgskolen i Gjøvik vd. for tekn., øk. og ledelse Matematikk 5 Løsningsforslag til øving OPPGVE Husk at N {alle naturlige tall} { 0,,,,... }, Z {alle heltall} {...,,,0,,,,... }, R {alle reelle tall} og
DetaljerLøsningsforslag B = 1 3 A + B, AB, BA, AB BA, B 2, B 3 C + D, CD, DC, AC, CB. det(a), det(b)
Innlevering BYFE DAFE Matematikk 1000 HIOA Obligatorisk innlevering 2 Innleveringsfrist Fredag 05. februar 2016 kl 14:00 Antall oppgaver: 5 Løsningsforslag 1 Vi denerer noen matriser A [ 1 5 2 0 B [ 1
DetaljerInnføring i bevisteknikk
Innføring i bevisteknikk (Kun det som undervises på forelesningen er pensum. NB! Avsnitt 1.6 og 1.7 inngår ikke i pensum) Et bevis går ut på å demonstrere at implikasjonen p q er sann. p kalles for premissen
DetaljerEkvivalente 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).
DetaljerMatriser. Kapittel 4. Definisjoner og notasjon
Kapittel Matriser Vi har lært å løse et lineært ligningssystem ved å sette opp totalmatrisen til systemet gausseliminere den ved hjelp av radoperasjoner på matrisen Vi skal nå se nærmere på egenskaper
DetaljerEKSAMEN. Oppgavesettet består av 11 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
EKSAMEN Emnekode: ITF0705 Dato: 6. desember 03 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer:
DetaljerEksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:
Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles
DetaljerKalles 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
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
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)
DetaljerMatematikk for IT, høsten 2017
Matematikk for IT, høsten 017 Oblig 5 Løsningsforslag 0. september 017 Oppgave 1 (eksamen desember 013) Gitt følgende logiske utsagn: ( p ( p q)) Benytt lovene i logikk til å finne hvilket av følgende
DetaljerFOL: syntaks og representasjon. 15. og 16. forelesning
FOL: syntaks og representasjon 15. og 16. forelesning Førsteordens logikk Førsteordens logikk: et formelt system som man bruker til å representere og studere argumenter. Som utsagnslogikk, men mer uttrykkskraftig,
DetaljerMatematikk for IT, høsten 2015
Matematikk for IT, høsten 015 Oblig 5 Løsningsforslag 5. oktober 016 3.1.1 3.1.13 a) Modus ponens. b) Modus tollens. c) Syllogismeloven. a) Ikke gyldig. b) Gyldig. 3.1.15 a) Hvis regattaen ikke avlyses,
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)
DetaljerLøsningsforslag øving 7
Løsningsforslag øving 7 8 Husk at en funksjon er injektiv dersom x y gir f(x) f(y), men her ser vi at f(3) 9 f( 3), eller generelt at f(z) z f( z) for alle z C, som betyr at f ikke er injektiv Vi ser også
DetaljerTMA4140 Diskret Matematikk Høst 2016
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 016 Seksjon 5 4 a) Ved å observere at 18 4 + 7, 19 3 4 + 7, 0 4 5 og 1 3 7 så ser vi at P(18),
DetaljerTMA4140 Diskret Matematikk Høst 2018
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 2018 Seksjon 4.1 6 Dersom a c og b d, betyr dette at det eksisterer heltall s og t slik at c
DetaljerEksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:
Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles
DetaljerMAKE MAKE Arkitekter AS Maridalsveien Oslo Tlf Org.nr
en omfatter 1 Perspektiv I en omfatter 2 Perspektiv II en omfatter 3 Perspektiv III en omfatter 4 Perspektiv IV en omfatter 5 Perspektiv V en omfatter 6 Perspektiv VI en omfatter 7 Perspektiv VII en omfatter
DetaljerLøsningsforslag til eksamen høst 2016
Løsningsforslag til eksamen høst 2016 Hver oppgave tildeles maksimalt 10 poeng. Høyeste poengsum er 100 Karaterer: 90 A 75 B < 90 60 C < 75 50 D < 60 0 E < 50 F < 40 Oppgave 1 a) 3 poeng Ingen av de tre
DetaljerVi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.
Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller
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
DetaljerEKSAMEN. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:
EKSAMEN Emnekode: ITF0705 Dato: 7. desember 0 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer:
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
DetaljerOppgaver med et odde nummer har fasit bakerst i læreboken. Her er løsningsforslag med mellomregninger for de gitte øvingsoppgavene.
Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete Mathematics and Its Applications Forfatter: Kenneth H. Rosen Oppgaver med et odde nummer har fasit bakerst i
DetaljerEt 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;
Detaljer4 Matriser TMA4110 høsten 2018
Matriser TMA høsten 8 Nå har vi fått erfaring med å bruke matriser i et par forskjellige sammenhenger Vi har lært å løse et lineært likningssystem ved å sette opp totalmatrisen til systemet og gausseliminere
DetaljerEt 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;
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,
DetaljerEKSAMEN. Emne: Emnekode: Matematikk for IT ITF Dato: Eksamenstid: til desember Hjelpemidler: Faglærer:
EKSAMEN Emnekode: ITF0705 Dato: 5. desember 05 Emne: Matematikk for IT Eksamenstid: 09.00 til 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian
DetaljerECON240 Høst 2017 Oppgaveseminar 1 (uke 35)
ECON40 Høst 017 Oppgaveseminar 1 (uke 35) Oppgaver til prerequisites og kapittel 1 fra læreboken Example P.1, P.5, P.6, P.7, P.8, P.9, P.11, P.1, P.13, og P.14 Example 1.1, 1., 1.3, 1.4, 1.6, 1.7, 1.9,
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart Forelesning 3 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart Forelesning 3 Tema Logikk Definisjoner og Teoremer Mengder og Egenskaper ved de Reelle Tall
DetaljerMatematikk 15 V-2008
Matematikk 5 V-008 Løsningsforslag til øving 9 OPPGVE Husk at N = {alle naturlige tall} = {0,,,,... }, Z = {alle heltall} = {...,,, 0,,,,... }, R = {alle reelle tall} og = {alle komplekse tall} = { z :
DetaljerTrue False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z)
BOKMÅL-MNF130 Kand.nr:... Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I BERGEN Eksamen i emnet MNF130 - Diskrete Strukturer Onsdag 8. juni 2005, kl. 09-14, dvs 5 timer. Skriv ditt kanidatnr
DetaljerOppfriskningskurs i Matematikk
Oppfriskningskurs i Matematikk Dag 3 Stine M. Berge 07.08.19 Stine M. Berge (NTNU) Oppfriskningskurs i Matematikk 07.08.19 1 / 19 Polynomer Polynomer er de enkleste funksjonene Definert og kontinuerlig
DetaljerKapittel 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
DetaljerMAT1030 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)
DetaljerFasit - det står en sort prikk bak riktig svar. (NB! Rekkefølgen på oppgavesettene varierte).
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 6 Faglig kontakt under midtsemesterprøven: Christian Skau 73591755 Bokmål MIDTSEMESTERPRØVE I TMA4140 Diskret matematikk
DetaljerEKSAMEN. Oppgavesettet består av 16 oppgaver. Ved sensur vil alle oppgaver telle like mye med unntak av oppgave 6 som teller som to oppgaver.
EKSAMEN Emnekode: ITF0705 Dato: 5. desember 204 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer:
DetaljerØvingsforelesning 6. Kombinatorikk, generaliserte permutasjoner, og MP13. TMA4140 Diskret Matematikk. 08. og 10. oktober 2018
Kombinatorikk, generaliserte permutasjoner, og MP13 Øvingsforelesning 6 TMA4140 Diskret Matematikk 08. og 10. oktober 2018 Dagen i dag Per forespørsmål, MP15.4 Trediagram Produktssetningen Permutasjoner
DetaljerMA1201, , Kandidatnummer:... Side 1 av 5. x =.
MA1201, 05.10.2016, Kandidatnummer:... Side 1 av 5 Oppgave 1 Løs ligningssystemet S T S T 1 1 0 1 W X W X U2 1 1 V x = U5V. 1 0 2 1 x =. Oppgave 2 Regn ut: S T S T 1 2 1 1 1 W X W X U 3 0 1 V U0 1 V =
DetaljerECON240 Vår 2018 Oppgaveseminar 1 (uke 6)
ECON240 Vår 2018 Oppgaveseminar 1 (uke 6) Oppgaver til prerequisites og kapittel 1 fra læreboken Example P.1, P.5, P.6, P.7, P.8, P.9, P.11, P.12, P.13, og P.14 Example 1.1, 1.2, 1.3, 1.4, 1.6, 1.7, 1.9,
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
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
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 26. november 2010 Tid for eksamen: 13:00 17:00 Oppgave 1 La A = { }. Mengdelære
DetaljerMatematikk for IT, høsten 2016
Matematikk for IT, høsten 2016 Oblig 2 Løsningsforslag 6. september 2016 2.1.4 a, b, c, c, d og C a, b, c, d vgjør om en av mengdene er en delmengde til en av de to andre. Her ser vi at C og C 2.1.5. Hvilke
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
DetaljerLØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin:
LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 200 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin: s 0 s 1 gjennkjenner 0 1og s 0 gjennkjenner (0 1). Fra dette ser vi at
DetaljerTMA 4140 Diskret Matematikk, 1. forelesning
TMA 4140 Diskret Matematikk, 1. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) August 29, 2011 Haaken Annfelt Moe (NTNU) TMA 4140
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.
DetaljerINF1800 Forelesning 18
INF1800 Forelesning 18 Førsteordens logikk Roger Antonsen - 15. oktober 2008 (Sist oppdatert: 2008-10-15 23:50) Repetisjon og noen løse tråder Førsteordens språk Et førsteordens språk L består av: 1. Logiske
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
DetaljerOppgave 1. Del A. (i) Skriv de to desimaltallene 0, 7 og 3, 12 som vanlig brøk og forkort hvis mulig. som desimaltall. 3x 6
Oppgave 1 (i) Skriv de to desimaltallene 0, 7 og 3, 12 som vanlig brøk og forkort hvis mulig. (ii) Skriv 314 100 og 4 5 (iii) Forkort brøkene som desimaltall. 12 15 og 3x 6 9x. (iv) Sorter disse seks tallene
Detaljerb) Lag to likninger med ulik vanskegrad (en ganske lett og en vanskelig), der svaret i begge skal bli x = -3. Løs også likningene.
Oppgave I Likninger og ulikheter a) Løs likningen: x + 2 a. + (3x + 4) 3 6 2 ( x + 2)6 6 6 + (3x + 4) 3 6 2 2x + 4 + 9x + 2 2x 9x 2 5 x b) Lag to likninger med ulik vanskegrad (en ganske lett og en vanskelig),
DetaljerEksamensoppgave i TMA4140 Diskret matematikk
Institutt for matematiske fag Eksamensoppgave i TMA44 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 7359755 Eksamensdato: 8 desember 25 Eksamenstid (fra til): 9:-3: Hjelpemiddelkode/Tillatte
DetaljerHint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.
Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere
DetaljerEksamensoppgave i MA1201 Lineær algebra og geometri
Institutt for matematiske fag Eksamensoppgave i MA1201 Lineær algebra og geometri Faglig kontakt under eksamen: Steffen Oppermann Tlf: 9189 7712 Eksamensdato: 05.10.2016 Eksamenstid (fra til): 08:15 09:45
DetaljerGauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.
Gauss-Jordan eliminasjon; redusert echelonform Forelesning, TMA4110 Fredag 18/9 Martin Wanvik, IMF MartinWanvik@mathntnuno En matrise vil normalt være radekvivalent med flere echelonmatriser; med andre
DetaljerEKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
EKSAMEN 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
DetaljerInnlevering i Matematikk Obligatorisk Innlevering 2 Innleveringsfrist 12. november 2010 kl Antall oppgaver 9. Oppgave 1.
Innlevering i Matematikk Obligatorisk Innlevering 2 Innleveringsfrist 12. november 2010 kl. 13.00 Antall oppgaver 9 Løsningsforslag Oppgave 1 a) sin A = BC AC 3, 2 cm = = 0, 627 5, 1 cm A = sin 1 0, 627
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 18: FØRSTEORDENS LOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 15. oktober 2008 (Sist oppdatert: 2008-10-15 23:50) Repetisjon og noen løse
DetaljerRepetisjon og noen løse tråder
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 18: FØRSTEORDENS LOGIKK Roger Antonsen Repetisjon og noen løse tråder Institutt for informatikk Universitetet i Oslo 15. oktober 2008 (Sist oppdatert: 2008-10-15
DetaljerProsent- og renteregning
FORKURSSTART Prosent- og renteregning p prosent av K beregnes som p K 100 Eksempel 1: 5 prosent av 64000 blir 5 64000 =5 640=3200 100 p 64000 Eksempel 2: Hvor mange prosent er 9600 av 64000? Løs p fra
DetaljerVær OBS på at svarene på mange av oppgavene kan skrives på flere ulike måter!
Vær OBS på at svarene på mange av oppgavene kan skrives på flere ulike måter! Oppgave.. a x y = x + y = r r r +r r x y = y fri x y = y fri Vi får én fri variabel, og løsningens har følgelig dimensjon.
DetaljerINF1800 Forelesning 20
INF1800 Forelesning 20 Førsteordens logikk Roger Antonsen - 22. oktober 2008 (Sist oppdatert: 2008-10-22 10:51) Mer om førsteordens logikk Tillukninger Vi har definert semantikk kun for lukkede formler.
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)
DetaljerSemantikk Egenskaper ved predikatlogikk Naturlig deduksjon INF3170 / INF4171. Predikatlogikk: Semantikk og naturlig deduksjon.
INF3170 / INF4171 Predikatlogikk: Semantikk og naturlig deduksjon Andreas Nakkerud 3. september 2015 Eksempel Gitt en similaritetstype 0, 2; 1; 2 bygger vi en struktur (modell) hvor A = {c 1, c 2, a, b},
DetaljerTMA4110 Matematikk 3 Eksamen høsten 2018 Løsning Side 1 av 9. Løsningsforslag. Vi setter opp totalmatrisen og gausseliminerer:
TMA4 Matematikk 3 Eksamen høsten 8 Løsning Side av 9 Løsningsforslag Oppgave Vi setter opp totalmatrisen og gausseliminerer: 8 5 4 8 3 36 8 4 8 8 8 Den siste matrisen her er på redusert trappeform, og
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 10: Diverse ukeoppgaver Roger Antonsen Matematisk Institutt, Universitetet i Oslo 17. april 2008 Vi øver oss litt på løse rekurrenslikninger. Oppgave 7.23 Løs
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 7: Ukeoppgaver fra kapittel 5 & 6, mm. Roger Antonsen Matematisk Institutt, Universitetet i Oslo 28. februar 2008 Oppgave 5.16 La R være relasjonen på {a, b, c,
DetaljerLøsningsforslag øving 6
Løsningsforslag øving 6 7 Husk Teorem 79 i notatet: En delmengde U av et vektorrom V er et underrom hvis ) nullvektoren er i U, ) summen av to vektorer i U er i U igjen, og 3) et skalarmultiplum av en
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 20: FØRSTEORDENS LOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 22. oktober 2008 (Sist oppdatert: 2008-10-22 10:50) Mer om førsteordens
DetaljerMer om førsteordens logikk
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 20: FØRSTEORDENS LOGIKK Roger Antonsen Mer om førsteordens logikk Institutt for informatikk Universitetet i Oslo 22. oktober 2008 (Sist oppdatert: 2008-10-22
DetaljerChapter 1 - Discrete Mathematics and Its Applications
Chapter 1 - Discrete Mathematics and Its Applications Løsningsforslag på utvalgte oppgaver Avsnitt 1.2 Oppgave 3 På norsk blir dette: Du kan velges til president i USA bare hvis du er minst 35 år, er født
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
DetaljerMatriseoperasjoner. E.Malinnikova, NTNU, Institutt for matematiske fag. September 22, 2009
Matriseoperasjoner E.Malinnikova, NTNU, Institutt for matematiske fag September 22, 2009 Addisjon av matriser Hvis A = [a ij ] og B = [b ij ] er matriser med samme størrelse, så er summen A + B matrisen
DetaljerLøsningsforslag C = B = 1 3 A + B, AB, BA, AB BA, B 2, B 3 C + D, CD, DC, AC, CB
Innlevering ELFE KJFE MAFE Matematikk 000 HIOA Obligatorisk innlevering 2 Innleveringsfrist Torsdag 06. oktober 206 kl 6:00 Antall oppgaver: 6 Løsningsforslag Vi denerer noen matriser A [ 5 2 0 B [ 0 3
DetaljerOppgaver MAT2500. Fredrik Meyer. 29. august 2014
Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier
DetaljerNOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN
NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT2 VED UNIVERSITETET I BERGEN ANDREAS LEOPOLD KNUTSEN OG ARNE STRAY. Innledning og definisjoner Vi vil i dette notatet betrakte reelle funksjoner
DetaljerElementær Matriseteori
Elementær Matriseteori Magnus B. Botnan NTNU 3. august, 2015 Kursinfo - Foreleser: Magnus B. Botnan http://www.math.ntnu.no/~botnan/ - Hjemmeside: https: //wiki.math.ntnu.no/tma4110/2015h/forkurs/start
DetaljerMAT1030 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)
DetaljerMAT1030 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
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
DetaljerOppsummering. 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
DetaljerAVDELING FOR INGENIØRUTDANNING EKSAMENSOPPGAVE
AVDELING FOR INGENIØRUTDANNING EKSAMENSOPPGAVE Eme: Diskret matematikk Gruppe(r): Emekode: FO 019A Dato: 12.12.200 Faglig veileder: Ulf Uttersrud Eksamestid: 9-14 Eksamesoppgave består av: Atall sider
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
DetaljerEksamensoppgave i TMA4140 Diskret matematikk
Institutt for matematiske fag Eksamensoppgave i TMA414 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 97 96 5 57 Eksamensdato: 15. desember 217 Eksamenstid (fra til): 9: 13: Hjelpemiddelkode/Tillatte
DetaljerPredikatlogikk Syntaks Semantikk INF3170 / INF4171. Predikatlogikk: Syntaks og semantikk. Andreas Nakkerud. 1. september 2015
INF3170 / INF4171 Predikatlogikk: Syntaks og semantikk Andreas Nakkerud 1. september 2015 Predikatlogikk Utsagnslogikk: p 0, p 1, p 1 p 6, p 2 p 1 Predikatlogikk: (( x)p 1 (x)), (( x)(( y)p 4 (x, y)))
DetaljerKapittel 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
DetaljerMAT1030 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
DetaljerMAT1030 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