DM549 Diskrete Metoder til Datalogi

Relaterede dokumenter
MM537 Introduktion til Matematiske Metoder

DM547 Diskret Matematik

DM549. Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.e: x Z: y Z: x + y < x y

DM547/MM537. Spørgsmål 2 (3%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.

Eksamen i Diskret Matematik

University of Copenhagen Faculty of Science Written Exam - 8. April Algebra 3

Strings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +

University of Copenhagen Faculty of Science Written Exam April Algebra 3

Skriftlig Eksamen Diskret matematik med anvendelser (DM72)

Skriftlig Eksamen Beregnelighed (DM517)

Eksamen i Diskret Matematik

Probabilistic properties of modular addition. Victoria Vysotskaya

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3

Sign variation, the Grassmannian, and total positivity

TALTEORI Følger og den kinesiske restklassesætning.

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen

Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)

Aarhus Universitet, Science and Technology, Computer Science. Exam. Wednesday 27 June 2018, 9:00-11:00

Reeksamen i Diskret Matematik

On the Relations Between Fuzzy Topologies and α Cut Topologies

Besvarelser til Lineær Algebra Reeksamen Februar 2017

Basic statistics for experimental medical researchers

Titel: Hungry - Fedtbjerget

Skriftlig Eksamen Automatteori og Beregnelighed (DM17)

Help / Hjælp

On the complexity of drawing trees nicely: corrigendum

Vina Nguyen HSSP July 13, 2008

Exercise 6.14 Linearly independent vectors are also affinely independent.

Skriftlig Eksamen Beregnelighed (DM517)

Statistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )

Portal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration

Reeksamen i Diskret Matematik

ATEX direktivet. Vedligeholdelse af ATEX certifikater mv. Steen Christensen

Modtageklasser i Tønder Kommune

Det er muligt at chekce følgende opg. i CodeJudge: og

Statistik for MPH: 7

Eksamen i Diskret Matematik

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og

Trolling Master Bornholm 2016 Nyhedsbrev nr. 3

Trolling Master Bornholm 2015

1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file.

Brug sømbrættet til at lave sjove figurer. Lav fx: Få de andre til at gætte, hvad du har lavet. Use the nail board to make funny shapes.

Boligsøgning / Search for accommodation!

Den uddannede har viden om: Den uddannede kan:

Our activities. Dry sales market. The assortment

1 Beregnelighed. 1.1 Disposition. 1.2 Præsentation. Def. TM. Def. RE/R. Def. 5 egenskaber for RE/R. Def. NSA. Bevis. NSA!RE. Def. SA. Bevis. SA!

DM72 Diskret matematik med anvendelser

LED STAR PIN G4 BASIC INFORMATION: Series circuit. Parallel circuit HOW CAN I UNDERSTAND THE FOLLOWING SHEETS?

RoE timestamp and presentation time in past

SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 19. juni 2003 kl Alle hjælpemidler er tilladt

what is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?

Titel: Barry s Bespoke Bakery

Eric Nordenstam 1 Benjamin Young 2. FPSAC 12, Nagoya, Japan

Trolling Master Bornholm 2014?

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1

Database. lv/

To the reader: Information regarding this document

Compliance List of Automotive Safety Devices

Noter til kursusgang 9, IMAT og IMATØ

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2

Financial Literacy among 5-7 years old children

Gilleleje Travalje Forening

Trolling Master Bornholm 2015

Nyhedsmail, december 2013 (scroll down for English version)

Konstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit

Linear Programming ١ C H A P T E R 2

Trolling Master Bornholm 2013

Sammenhængskomponenter i grafer

shop material Increase your turnover with shop material from unidrain

(Text with EEA relevance)

Trolling Master Bornholm 2014

Engelsk. Niveau C. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og

MASO Uge 1. Relle tal Følger. Jesper Michael Møller. 7. september Department of Mathematics University of Copenhagen

Heuristics for Improving

Trolling Master Bornholm 2014

KALK- OG TEGLVÆRKSFORENINGEN. CPR Sustainable Construction

Datablad: Nature Impact Roof modul

DM559/DM545 Linear and integer programming

Unitel EDI MT940 June Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004)

International matematikkonkurrence

FAST FORRETNINGSSTED FAST FORRETNINGSSTED I DANSK PRAKSIS

Bilag 8. TDC technical requirements for approval of splitterfilters and inline filters intended for shared access (ADSL or VDSL over POTS).

! "# $$ &'()*"* +*, & &"*0* & "# % %- %

4.1 Lineære Transformationer

Managing stakeholders on major projects. - Learnings from Odense Letbane. Benthe Vestergård Communication director Odense Letbane P/S

Hvad er matematik? C, i-bog ISBN L&R Uddannelse A/S Vognmagergade 11 DK-1148 København K Tlf: info@lru.

User Manual for LTC IGNOU

United Nations Secretariat Procurement Division

Satisability of Boolean Formulas

Subject to terms and conditions. WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR

De tre høringssvar findes til sidst i dette dokument (Bilag 1, 2 og 3). I forlængelse af de indkomne kommentarer bemærkes følgende:

Samarbejdsaftale: Tre afsnit af Parkinson-TV

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU

Bilag. Bilag 1 Traktaten om oprettelse af Det Europæiske Fællesskab - Artikel 81 1

En karakteristik af de regulære sprog. Ugens emner. FA minimering [ ] MyHill-Nerode-sætningen en algoritme til minimering af FA er

OXFORD. Botley Road. Key Details: Oxford has an extensive primary catchment of 494,000 people

Coimisiún na Scrúduithe Stáit State Examinations Commission. Leaving Certificate Marking Scheme. Danish. Higher Level

LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview

Coimisiún na Scrúduithe Stáit State Examinations Commission. Leaving Certificate Marking Scheme. Danish. Higher Level

Transkript:

DM549 Diskrete Metoder til Datalogi Spørgsmål 1 (8%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n + 2 Svar 1.b: n Z: 2 (3n + 1) Svar 1.c: k Z: n Z: n = kn Svar 1.d: k Z: n Z: 2 (n + k) Svar 1.e: n Z: k Z: (n > k k n) Spørgsmål 2 (3%) Hvilket udsagn er ækvivalent med ( n Z: n > 2n)? Which proposition is equivalent to ( n Z: n > 2n)? Svar 2.a: Svar 2.b: Svar 2.c: Svar 2.d: Svar 2.e: Svar 2.f: Svar 2.g: Svar 2.h: Svar 2.i: n Z: n > 2n n Z: n = 2n n Z: n 2n n Z: n 2n n Z: n < 2n n Z: n > 2n n Z: n 2n n Z: n < 2n n Z: n = 2n 1

Svar 2.j: n Z: n 2n Spørgsmål 3 (11%) Hvilke udsagn er ækvivalente med p q? Which propositions are equivalent to p q? Svar 3.a: (p q) Svar 3.b: (q p) Svar 3.c: (p q) Svar 3.d: (p q) q Svar 3.e: ( p q) p Svar 3.f: q p Svar 3.g: p q Svar 3.h: (p q) Spørgsmål 4 (5%) Lad A, B og C være mængder. Hvilke udsagn er sande? Let A, B, and C be sets. Which propositions are true? Svar 4.a: Svar 4.b: Svar 4.c: A B = A B A B = A B (A B) C = (A C) B Svar 4.d: (A B) C = (A C) (B C) Svar 4.e: (A B) A = B Spørgsmål 5 (4%) Hvilke udsagn er sande? 2

Which propositions are true? Svar 5.a: {1000, 1001} = 2 Svar 5.b: {1, 2, 2, 3} = 4 Svar 5.c: Kardinaliteten af N Z er ℵ 0. The cardinality of N Z is ℵ 0. Spørgsmål 6 (3%) Lad f(x) = x 2 og g(x) = 2x. Angiv den sammesatte funktion f g. Let f(x) = x 2 and g(x) = 2x. Choose the composition f g. Svar 6.a: (f g)(x) = 2x 3 Svar 6.b: (f g)(x) = 2x + x 2 Svar 6.c: (f g)(x) = 2x 2 Svar 6.d: (f g)(x) = 4x 2 Svar 6.e: (f g)(x) = 2 x Svar 6.f: (f g)(x) = x 2 Svar 6.g: Svar 6.h: (f g)(x) = x2 2 (f g)(x) = 2 x Svar 6.i: (f g)(x) = 4x 3 Spørgsmål 7 (4%) Hvilke af nedenstående funktioner er bijektive? Which of the following functions are bijective? Svar 7.a: f : R + R +, f(x) = x 3

Svar 7.b: f : R R, f(x) = x 2 Svar 7.c: f : R + R, f(x) = x 2 2 Svar 7.d: f : R R, f(x) = 2x 1 Spørgsmål 8 (2%) Dette spørgsmål og det følgende handler om nedenstående rekursive definition. This question and the following concern the following recursive definition. a 1 = 1 a n = a n 1 + 2n 1, for n 2 Angiv a 3. Choose a 3. Svar 8.a: 1 Svar 8.b: 2 Svar 8.c: 3 Svar 8.d: 4 Svar 8.e: 5 Svar 8.f: 6 Svar 8.g: 7 Svar 8.h: 8 Svar 8.i: 9 Svar 8.j: 10 Svar 8.k: 11 4

Svar 8.l: 12 Svar 8.m: 13 Svar 8.n: 14 Svar 8.o: 15 Spørgsmål 9 (11%) Betragt igen den rekursive definition fra forrige spørgsmål: Consider again the recursive definition from the previous question: a 1 = 1 a n = a n 1 + 2n 1, for n 2 Denne opgave handler om at bevise, at a n = n 2, for alle n 1. Hvilke af nedenstående muligheder udgør korrekte induktionsbeviser, inkl. korrekte begrundelser? This question is about proving that a n = n 2, for all n 1. Choose the options that constitute a correct proof by induction, incl. correct arguments. Svar 9.a: Basis: a 1 = 1 = 1 2 og a 2 = 1 + 3 = 4 = 2 2 Induktionsantagelse: a n 1 = (n 1) 2 Induktionsskridt: For n 3 gælder a n = (n 1) 2 + 2n 1, ifølge induktionsantagelsen = n 2 Svar 9.b: Basis: a 1 = 1 = 1 2 og a 2 = 1 + 3 = 4 = 2 2 Induktionsantagelse: a n 1 = (n 1) 2 5

Induktionsskridt: For n 2 gælder a n+1 = a n + 2(n + 1) 1 = a n + 2n + 1 = a n 1 + 2n 1 + 2n + 1 = a n 1 + 4n = (n 1) 2 + 4n, ifølge induktionsantagelsen = (n + 1) 2 Svar 9.c: Basis: a 1 = 1 = 1 2 Induktionsantagelse: a n 1 = (n 1) 2 Induktionsskridt: For n 2 gælder a n+1 = a n + 2(n + 1) 1 = a n + 2n + 1 = a n 1 + 2n 1 + 2n + 1 = a n 1 + 4n = (n 1) 2 + 4n, ifølge induktionsantagelsen = (n + 1) 2 Svar 9.d: Basis: a 2 = 1 + 3 = 4 = 2 2 Induktionsantagelse: a n 1 = (n 1) 2 Induktionsskridt: For n 3 gælder a n = (n 1) 2 + 2n 1, ifølge induktionsantagelsen = n 2 Svar 9.e: Basis: a 1 = 1 = 1 2 Induktionsantagelse: a n 1 = (n 1) 2 Induktionsskridt: For n 2 gælder a n = (n 1) 2 + 2n 1, ifølge induktionsantagelsen = n 2 6

Svar 9.f: Basis: a 1 = 1 = 1 2 Induktionsantagelse: a n = n 2 Induktionsskridt: For n 1 gælder a n+1 = n 2 + 2(n + 1) 1, ifølge induktionsantagelsen = (n + 1) 2 Svar 9.g: Basis: a 1 = 1 = 1 2 Induktionsantagelse: a n+1 = (n + 1) 2 Induktionsskridt: For n 2 gælder a n = (n 1) 2 + 2n 1, ifølge induktionsantagelsen = n 2 Svar 9.h: Basis: a 1 = 1 = 1 2 Induktionsskridt: For n 2 gælder a n = a n 1 + 2n 1, ifølge induktionsantagelsen = (n 1) 2 + 2n 1 = n 2 Spørgsmål 10 (2%) Dette spørgsmål og det følgende handler om matricerne A og B samt deres produkt C = A B: This question and the following concern the matrices A and B as well as their product C = A B: [ ] 1 0 1 2 1 A = og B = 0 1 1 1 0 1 2 7

Hvor mange rækker har C? How many rows does C have? Svar 10.a: 1 Svar 10.b: 2 Svar 10.c: 3 Svar 10.d: 4 Svar 10.e: 5 Svar 10.f: 6 Svar 10.g: 9 Svar 10.h: 10 Spørgsmål 11 (3%) Betragt igen matricerne A og B samt deres produkt C = A B: Consider again the matrices A, B, and their product C = A B: [ ] 1 0 1 2 1 A = og B = 0 1 1 1 0 1 2 Hvad er c 11, d.v.s. hvad står der i feltet, der ligger første række og første søjle i C? Choose c 11, i.e., the number in the first row and first column of C. Svar 11.a: 0 Svar 11.b: 1 Svar 11.c: 2 Svar 11.d: 3 Svar 11.e: 4 8

Svar 11.f: 5 Svar 11.g: 6 Svar 11.h: 7 Svar 11.i: 8 Spørgsmål 12 (10%) Lad a, b, c Z. Hvilke udsagn er sande? Husk, at symbolet betyder går op i, og symbolet betyder går ikke op i. Let a, b, c Z. Which propositions are true? Recall that the symbol means divides and the symbol means does not divide. Svar 12.a: 2 a 4 b 2 (a + b) Svar 12.b: a 4 a 12 Svar 12.c: a b a c a 3(b + c) Svar 12.d: (a + b) c a c b c Svar 12.e: a 4 a 12 Svar 12.f: a b a c a bc Svar 12.g: 5 og 16 er indbyrdes primiske. 5 and 16 are relatively prime. Spørgsmål 13 (6%) Hvilke udsagn er sande? Which propositions are true? Svar 13.a: 6 31 (mod 5) Svar 13.b: 3 7 (mod 5) 9

Svar 13.c: 3 3 (mod 5) Svar 13.d: 6 6 (mod 5) Svar 13.e: 5a 5b (mod 7) a b (mod 7) Svar 13.f: 4 40 (mod 5) Spørgsmål 14 (3%) Hvilke tal er løsninger til kongruensen 3x 3 (mod 6)? Which numbers are solutions to the congruence 3x 3 (mod 6)? Svar 14.a: 0 Svar 14.b: 1 Svar 14.c: 2 Svar 14.d: 3 Svar 14.e: 4 Svar 14.f: 5 Svar 14.g: 6 Svar 14.h: 7 Spørgsmål 15 (3%) Hvor mange løsninger mellem 0 og 119 har følgende kongruenssystem? How many solutions between 0 and 119 does the following system of congruenses have? x 1 (mod 2) x 2 (mod 3) x 4 (mod 5) 10

Svar 15.a: 4 Svar 15.b: 0 Svar 15.c: 1 Svar 15.d: 2 Svar 15.e: 3 Svar 15.f: 5 Svar 15.g: 6 Svar 15.h: 7 Svar 15.i: 8 Svar 15.j: 9 Svar 15.k: 10 Spørgsmål 16 (4%) Angiv den transitive lukning af relationen R = {(a, b), (b, a), (b, c), (c, d), (c, e)}. Choose the transitive closure of the relation R = {(a, b), (b, a), (b, c), (c, d), (c, e)}. Svar 16.a: Svar 16.b: Svar 16.c: Svar 16.d: Svar 16.e: Svar 16.f: {(a, b), (a, c), (a, d), (a, e), (b, a), (b, c), (b, d), (b, e), (c, d), (c, e)} {(a, a), (a, c), (a, d), (a, e), (b, b), (b, d), (b, e)} {(a, c), (a, d), (a, e), (b, d), (b, e)} {(a, b), (b, a), (b, c), (c, d), (c, e)} {(a, a), (a, c), (b, b), (b, d), (b, e)} {(a, c), (b, d), (b, e)} 11

Svar 16.g: {(a, a), (a, b), (a, c), (a, d), (a, e), (b, a), (b, b), (b, c), (b, d), (b, e), (c, d), (c, e)} Svar 16.h: {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (b, d), (b, e), (c, d), (c, e)} Spørgsmål 17 (8%) Betragt nedenstående relationer på mængden {a, b, c}. Hvilke af relationerne er ækvivalensrelationer? Consider the following relations on the set {a, b, c}. Which of the relations are equivalence relations? Svar 17.a: Svar 17.b: Svar 17.c: Svar 17.d: Svar 17.e: Svar 17.f: {(a, a), (a, b), (a, c)} {(a, a), (b, b), (c, c)} {(a, a), (a, b), (b, a), (b, b), (c, c)} {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)} {(a, a), (a, b), (b, b), (c, c)} {(a, a), (a, b), (b, a), (b, b), (b, c), (c, b), (c, c)} Spørgsmål 18 (10%) Hvilke udsagn er sande? Which propositions are true? Svar 18.a: The series Svar 18.b: Rækken n=1 10 n=1 1 100n n=1 1 100n konvergerer. is convergent. ( ) n 1 = 1 1 2 1024 Svar 18.c: Rækken n=1 ( ) n 99 konvergerer. 100 12

The series n=1 ( ) n 99 is convergent. 100 n 2 Svar 18.d: Følgen 10n + 5 konvergerer. n 2 The sequence is convergent. 10n + 5 Svar 18.e: 4n + 1 lim n 2n + 1/n = 2 13