Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

More documents

Recommendations

Info

$Øvelse 1: Få LATEX op at stå Øvelse 2: At skrive matematiske ...$

244 INDEX fælles nævner, 238 fællesmængde, 62 fakultet, 116 familier af mængder, 64 Fibonaccital, 40 fixpunkt, 134 Fleurys algoritme, 158, 159 foreningsmængde, 63 forkorte brøk, 238 forkortningsregler, grupper, 193 forlænge brøk, 238 formodning, 23 fortegn for permutation, 142 fri variabel, 9 fuldstændig induktion, 50 fuldstændigt ordnet legeme, 230 funktion, 92, 93 Gödel, 236 geometrisk sted, 61 Goldbachs formodning, 24 graf, 149 orienteret, 80 graf af funktion, 93 grundmængde, 67 gruppe, 192 gruppeisomorfi, 197, 198 gyldig slutning, 21 højreinvers, 102 Hamilton-kreds, 152 hamilton-vej, 152 Hasse diagram, 174 hele tal, 2, 241 hypotese, 10 hypotetisk syllogisme, 21 identiske afbildning, 101 ikke-konstruktive beviser, 30 implikation, 10 indbyrdes primiske, 3 indirekte bevis, 28 induktion, 54 Induktionsaksiomet, 51 induktionsantagelse, 46 induktionsbevis, 45, 46 induktionsskridt, 46 induktionsstart, 46 infimum, 181 infimumsegenskaben, 181 injektiv, 95 inkonsistent aksiomatisk system, 235 integritetsområde, 207 invers, 102 af restklasser, 191 invers relation, 79 inverst element, 187, 208 invertibelt element i ring, 206 irreducibelt polynomium, 56 irrefleksiv, 78 isoleret knude, 150 isomorfi, 197, 198 isomorfi mellem ordnede legemer, 226 isoperimetriske problem, 40 Königsberg broerne i, 150 königsberg broerne i, 153 kaniner, 49 kant, 149 orienteret, 80 kantpar, 80 kardinalitet, 109 klassedeling, 86 Klein’s firegruppe, 195 knude, 80, 149 kombination, 117 kombination med gentagelser, 119 kombinatorik, 109, 110 kommutativ, 186, 208 komplementærmængde, 68 komplet graf, 153 kompositionsregel, 185 kompositionstavle, 195 kongruens modulo n, 77 konjunktion, 10 konklusion, 10 konnektiver, 10
INDEX 245 konsistent aksiomatisk system, 235 konstruktion af de rationale tal, 237 konstruktion af tallene, 235, 240 kontinuets kardinalitet, 110 kontraposition, 12, 24 kreativitet, 33 kreds, 152 kredsgraf, 153 kredsløs, 163 kvadratrod 2, 26 kvantorer, 14 kvantorers rækkefølge, 15 længde af rute, 152 løkke, 80, 150 legeme, 208, 239 legemsisomorfi, 210 lige tal, 18 ligningsløsning, 36 logisk ækvivalens, 12 logisk huskeseddel, 12, 17 lukket rute, 152 lukket vej, 152 mægtighed, 109 mængde, 57 mængdealgebra, 68 mængdedifferens, 67 majorant, 176 matematisk struktur, 196 maximalt element, 174 Mersenne-primtal, 25 mindste element, 176 minimalt element, 176 minorant, 176 modeksempel, 23 modstrid, 11 modstridsbevis, 25 modulær aritmetik, 188, 189 modus ponens, 21 modus tollens, 21 multiple kanter, 150 multiplikation af restklasser, 189 rationale tal, 238 multiplikative tællemetode, 114 multiplum, 2 naboknuder, 150 naturlige tal, 2, 240 nedadtil begrænset, 176 negation, 10 neutralt element, 186, 208 nul-reglen, 207 nul-ringen, 206 nummerisk værdi, 226 Ockhams ragekniv, 235 omvendt afbildning, 104 omvendt implikation, 13 opadtil begrænset, 176 ordnet legeme, 221, 240 ordnet par, 71 ordningsisomorfi, 200 ordningsrelation, 171 orienteret graf, 80 orienteret graf, 161 originalmængde, 98 p-cykel, 136 på, 94 Peanos aksiomer, 51 permutation, 116, 131 direkte notation, 132 tabelnotation, 132 permutation med gentagelser, 118 permutationsgrupper, 193 polynomium, 56 potensmængde, 73 prædikat, 9 primærmængde, 78 primtal, 2, 7, 27 produktmængde, 71 rationale tal, 2, 237 reducibelt polynomium, 56 reelle tal, 1, 231, 241 refleksiv, 78 rekursion, 54 rekursionssætningen, 54
Page 1:
Diskrete Matematiske Metoder Jesper
Page 4 and 5:
iv INDHOLD 3.9.2 Ikke-konstruktive
Page 6 and 7:
vi INDHOLD 15.5 Opgaver . . . . . .
Page 8 and 9:
viii PREFACE
Page 10 and 11:
x INTRODUKTION. formålet med bogen
Page 12 and 13:
2 KAPITEL 1. TAL, ISÆR DE HELE TAL
Page 14 and 15:
Page 16 and 17:
Page 18 and 19:
Page 20 and 21:
10 KAPITEL 2. LOGIK 2.2 Sammensatte
Page 22 and 23:
12 KAPITEL 2. LOGIK læses som (¬p
Page 24 and 25:
14 KAPITEL 2. LOGIK I vores alminde
Page 26 and 27:
16 KAPITEL 2. LOGIK Sætning 65 Lad
Page 28 and 29:
18 KAPITEL 2. LOGIK er x 2 > 4 (san
Page 30 and 31:
20 KAPITEL 2. LOGIK (b) Ligningen x
Page 32 and 33:
22 KAPITEL 3. BEVISER • For hvert
Page 34 and 35:
24 KAPITEL 3. BEVISER Hvis processe
Page 36 and 37:
26 KAPITEL 3. BEVISER 3.7.1 Eksempl
Page 38 and 39:
28 KAPITEL 3. BEVISER Notation 82 B
Page 40 and 41:
30 KAPITEL 3. BEVISER 3.9.2 Ikke-ko
Page 42 and 43:
32 KAPITEL 3. BEVISER 3.11 Eksisten
Page 44 and 45:
34 KAPITEL 4. ANALYSE OG SYNTESE. d
Page 46 and 47:
36 KAPITEL 4. ANALYSE OG SYNTESE. 4
Page 48 and 49:
38 KAPITEL 4. ANALYSE OG SYNTESE. g
Page 50 and 51:
40 KAPITEL 4. ANALYSE OG SYNTESE. e
Page 52 and 53:
42 KAPITEL 4. ANALYSE OG SYNTESE. f
Page 54 and 55:
44 KAPITEL 4. ANALYSE OG SYNTESE.
Page 56 and 57:
46 KAPITEL 5. INDUKTIONSBEVISER Det
Page 58 and 59:
48 KAPITEL 5. INDUKTIONSBEVISER If
Page 60 and 61:
50 KAPITEL 5. INDUKTIONSBEVISER Ind
Page 62 and 63:
52 KAPITEL 5. INDUKTIONSBEVISER Vi
Page 64 and 65:
54 KAPITEL 5. INDUKTIONSBEVISER bev
Page 66 and 67:
56 KAPITEL 5. INDUKTIONSBEVISER og
Page 68 and 69:
58 KAPITEL 6. MÆNGDELÆRE Sætning
Page 70 and 71:
Page 72 and 73:
62 KAPITEL 6. MÆNGDELÆRE Figur 6.
Page 74 and 75:
64 KAPITEL 6. MÆNGDELÆRE Figur 6.
Page 76 and 77:
66 KAPITEL 6. MÆNGDELÆRE Definiti
Page 78 and 79:
68 KAPITEL 6. MÆNGDELÆRE Definiti
Page 80 and 81:
Page 82 and 83:
72 KAPITEL 6. MÆNGDELÆRE Notation
Page 84 and 85:
74 KAPITEL 6. MÆNGDELÆRE ved, hvi
Page 86 and 87:
76 KAPITEL 6. MÆNGDELÆRE og 6. Be
Page 88 and 89:
78 KAPITEL 7. RELATIONER. ÆKVIVALE
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
92 KAPITEL 8. AFBILDNINGER, FUNKTIO
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
100 KAPITEL 8. AFBILDNINGER, FUNKTI
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
110 KAPITEL 9. TÆLLEMETODER. KOMBI
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Page 130 and 131:
Page 132 and 133:
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
132 KAPITEL 10. PERMUTATIONER Notat
Page 144 and 145:
134 KAPITEL 10. PERMUTATIONER Permu
Page 146 and 147:
136 KAPITEL 10. PERMUTATIONER 10.2
Page 148 and 149:
138 KAPITEL 10. PERMUTATIONER Hvis
Page 150 and 151:
140 KAPITEL 10. PERMUTATIONER 3. Fo
Page 152 and 153:
142 KAPITEL 10. PERMUTATIONER Eksem
Page 154 and 155:
144 KAPITEL 10. PERMUTATIONER 2. An
Page 156 and 157:
146 KAPITEL 10. PERMUTATIONER Alts
Page 158 and 159:
148 KAPITEL 10. PERMUTATIONER hvor
Page 160 and 161:
150 KAPITEL 11. GRAFER punkter og k
Page 162 and 163:
152 KAPITEL 11. GRAFER 1. Rute: En
Page 164 and 165:
154 KAPITEL 11. GRAFER Figur 11.4:
Page 166 and 167:
156 KAPITEL 11. GRAFER Definition 4
Page 168 and 169:
158 KAPITEL 11. GRAFER Øvelse 456
Page 170 and 171:
160 KAPITEL 11. GRAFER som ligger i
Page 172 and 173:
162 KAPITEL 11. GRAFER Bemærkning
Page 174 and 175:
164 KAPITEL 11. GRAFER Korollar 484
Page 176 and 177:
166 KAPITEL 11. GRAFER Eksempel 491
Page 178 and 179:
168 KAPITEL 11. GRAFER Figur 11.10:
Page 180 and 181:
170 KAPITEL 11. GRAFER
Page 182 and 183:
172 KAPITEL 12. ORDNINGSRELATIONER
Page 184 and 185:
Page 186 and 187:
Page 188 and 189:
Page 190 and 191:
Page 192 and 193:
Page 194 and 195:
Page 196 and 197:
186KAPITEL 13. KOMPOSITIONSREGLER,
Page 198 and 199:
Page 200 and 201:
Page 202 and 203:
Page 204 and 205: 194KAPITEL 13. KOMPOSITIONSREGLER,
Page 214 and 215: 204 KAPITEL 14. RINGE OG LEGEMER De
Page 216 and 217: 206 KAPITEL 14. RINGE OG LEGEMER Be
Page 218 and 219: 208 KAPITEL 14. RINGE OG LEGEMER 14
Page 220 and 221: 210 KAPITEL 14. RINGE OG LEGEMER Ø
Page 222 and 223: 212 KAPITEL 14. RINGE OG LEGEMER S
Page 224 and 225: 214 KAPITEL 15. POLYNOMIER (a 0 , a
Page 226 and 227: 216 KAPITEL 15. POLYNOMIER Sætning
Page 228 and 229: 218 KAPITEL 15. POLYNOMIER Sætning
Page 230 and 231: 220 KAPITEL 15. POLYNOMIER Bevis. f
Page 232 and 233: 222 KAPITEL 16. ORDNEDE LEGEMER. AK
Page 246 and 247: 236 KAPITEL 17. TALSYSTEMETS OPBYGN
Page 256: 246 INDEX relateret delmængde, 79
show all

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Create successful ePaper yourself

Delete template?

Save as template?