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 <strong>for</strong>eningsmængde, 63 <strong>for</strong>korte brøk, 238 <strong>for</strong>kortningsregler, grupper, 193 <strong>for</strong>længe brøk, 238 <strong>for</strong>modning, 23 <strong>for</strong>tegn <strong>for</strong> permutation, 142 fri variabel, 9 fuldstændig induktion, 50 fuldstændigt ordnet legeme, 230 funktion, 92, 93 Gödel, 236 geometrisk sted, 61 Goldbachs <strong>for</strong>modning, 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:
4 KAPITEL 1. TAL, ISÆR DE HELE TAL
- Page 16 and 17:
6 KAPITEL 1. TAL, ISÆR DE HELE TAL
- Page 18 and 19:
8 KAPITEL 1. TAL, ISÆR DE HELE TAL
- 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:
60 KAPITEL 6. MÆNGDELÆRE Sætning
- 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:
70 KAPITEL 6. MÆNGDELÆRE Sætning
- 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:
80 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 92 and 93:
82 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 94 and 95:
84 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 96 and 97:
86 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 98 and 99:
88 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 100 and 101:
90 KAPITEL 7. RELATIONER. ÆKVIVALE
- Page 102 and 103:
92 KAPITEL 8. AFBILDNINGER, FUNKTIO
- Page 104 and 105:
94 KAPITEL 8. AFBILDNINGER, FUNKTIO
- Page 106 and 107:
96 KAPITEL 8. AFBILDNINGER, FUNKTIO
- Page 108 and 109:
98 KAPITEL 8. AFBILDNINGER, FUNKTIO
- Page 110 and 111:
100 KAPITEL 8. AFBILDNINGER, FUNKTI
- Page 112 and 113:
102 KAPITEL 8. AFBILDNINGER, FUNKTI
- Page 114 and 115:
104 KAPITEL 8. AFBILDNINGER, FUNKTI
- Page 116 and 117:
106 KAPITEL 8. AFBILDNINGER, FUNKTI
- Page 118 and 119:
108 KAPITEL 8. AFBILDNINGER, FUNKTI
- Page 120 and 121:
110 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 122 and 123:
112 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 124 and 125:
114 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 126 and 127:
116 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 128 and 129:
118 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 130 and 131:
120 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 132 and 133:
122 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 134 and 135:
124 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 136 and 137:
126 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 138 and 139:
128 KAPITEL 9. TÆLLEMETODER. KOMBI
- Page 140 and 141:
130 KAPITEL 9. TÆLLEMETODER. KOMBI
- 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:
174 KAPITEL 12. ORDNINGSRELATIONER
- Page 186 and 187:
176 KAPITEL 12. ORDNINGSRELATIONER
- Page 188 and 189:
178 KAPITEL 12. ORDNINGSRELATIONER
- Page 190 and 191:
180 KAPITEL 12. ORDNINGSRELATIONER
- Page 192 and 193:
182 KAPITEL 12. ORDNINGSRELATIONER
- Page 194 and 195:
184 KAPITEL 12. ORDNINGSRELATIONER
- Page 196 and 197:
186KAPITEL 13. KOMPOSITIONSREGLER,
- Page 198 and 199:
188KAPITEL 13. KOMPOSITIONSREGLER,
- Page 200 and 201:
190KAPITEL 13. KOMPOSITIONSREGLER,
- Page 202 and 203:
192KAPITEL 13. KOMPOSITIONSREGLER,
- Page 204 and 205: 194KAPITEL 13. KOMPOSITIONSREGLER,
- Page 206 and 207: 196KAPITEL 13. KOMPOSITIONSREGLER,
- Page 208 and 209: 198KAPITEL 13. KOMPOSITIONSREGLER,
- Page 210 and 211: 200KAPITEL 13. KOMPOSITIONSREGLER,
- Page 212 and 213: 202KAPITEL 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 234 and 235: 224 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 236 and 237: 226 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 238 and 239: 228 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 240 and 241: 230 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 242 and 243: 232 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 244 and 245: 234 KAPITEL 16. ORDNEDE LEGEMER. AK
- Page 246 and 247: 236 KAPITEL 17. TALSYSTEMETS OPBYGN
- Page 248 and 249: 238 KAPITEL 17. TALSYSTEMETS OPBYGN
- Page 250 and 251: 240 KAPITEL 17. TALSYSTEMETS OPBYGN
- Page 252 and 253: 242 KAPITEL 17. TALSYSTEMETS OPBYGN
- Page 256: 246 INDEX relateret delmængde, 79