|
Part I Basic Objects and Formalisation |
|
|
|
1 Round-Up of Elementary Logic |
|
|
3 | (22) |
|
1.1 First-Order Languages |
|
|
3 | (3) |
|
1.2 Propositional Calculus |
|
|
6 | (5) |
|
|
11 | (4) |
|
|
15 | (4) |
|
1.5 Soundness and Completeness |
|
|
19 | (6) |
|
|
25 | (18) |
|
|
26 | (3) |
|
|
29 | (14) |
|
2.2.1 Equivalence Relations |
|
|
32 | (4) |
|
|
36 | (7) |
|
|
43 | (32) |
|
|
43 | (7) |
|
|
50 | (9) |
|
|
59 | (3) |
|
|
62 | (6) |
|
|
68 | (7) |
|
4 More Set Theory and Logic |
|
|
75 | (18) |
|
|
75 | (5) |
|
|
80 | (4) |
|
|
84 | (4) |
|
|
88 | (5) |
|
|
93 | (20) |
|
|
94 | (6) |
|
5.2 Filters and Representations |
|
|
100 | (6) |
|
|
106 | (7) |
|
Part II Numbers and Structures |
|
|
|
|
113 | (40) |
|
|
113 | (4) |
|
6.2 Principle of Induction |
|
|
117 | (4) |
|
|
121 | (5) |
|
|
126 | (11) |
|
|
128 | (9) |
|
|
137 | (5) |
|
6.5.1 Decimal Representation |
|
|
140 | (2) |
|
6.6 A Tasting of Cardinal Numbers |
|
|
142 | (11) |
|
|
153 | (36) |
|
7.1 Algebraic Properties and Ordering |
|
|
156 | (5) |
|
|
161 | (4) |
|
|
165 | (3) |
|
|
168 | (2) |
|
7.5 Decimal Approximation |
|
|
170 | (4) |
|
7.6 Extending the Real Line |
|
|
174 | (3) |
|
7.7 Transfinite Arithmetics |
|
|
177 | (12) |
|
|
189 | (16) |
|
|
190 | (6) |
|
|
196 | (9) |
|
Part III Elementary Real Functions |
|
|
|
|
205 | (16) |
|
9.1 The Algebra of Polynomials |
|
|
205 | (7) |
|
|
212 | (9) |
|
10 Real Functions of One Real Variable |
|
|
221 | (28) |
|
10.1 The Algebra of Real Functions |
|
|
225 | (2) |
|
|
227 | (7) |
|
|
234 | (15) |
|
10.3.1 Monotonicity Conditions |
|
|
234 | (3) |
|
10.3.2 Symmetry Conditions |
|
|
237 | (5) |
|
10.3.3 Boundedness Conditions |
|
|
242 | (7) |
|
|
249 | (14) |
|
11.1 Polynomial Functions |
|
|
250 | (4) |
|
11.2 Algebraic Equations and Inequalities |
|
|
254 | (6) |
|
|
260 | (3) |
|
12 Elementary Transcendental Functions |
|
|
263 | (32) |
|
12.1 Exponential Functions |
|
|
264 | (5) |
|
12.2 Logarithmic Functions |
|
|
269 | (4) |
|
12.3 Hyperbolic Functions |
|
|
273 | (6) |
|
12.4 Trigonometric Functions |
|
|
279 | (16) |
|
|
295 | (20) |
|
|
299 | (5) |
|
13.2 Polynomial Factorisation |
|
|
304 | (7) |
|
13.3 Algebraic and Transcendental Numbers |
|
|
311 | (4) |
|
14 Enumerative Combinatorics |
|
|
315 | (24) |
|
|
315 | (4) |
|
|
319 | (4) |
|
14.3 The Binomial Formula |
|
|
323 | (6) |
|
14.4 Generating Functions |
|
|
329 | (10) |
|
Part IV Geometry Through Algebra |
|
|
|
|
339 | (34) |
|
15.1 Lexicon and Basic Properties |
|
|
339 | (7) |
|
|
346 | (6) |
|
|
352 | (3) |
|
15.4 Bilinear and Quadratic Forms |
|
|
355 | (4) |
|
|
359 | (6) |
|
|
365 | (3) |
|
|
368 | (5) |
|
|
373 | (12) |
|
|
373 | (5) |
|
16.2 The Spectral Theorem |
|
|
378 | (7) |
|
17 Actions and Representations |
|
|
385 | (16) |
|
|
385 | (7) |
|
|
392 | (3) |
|
17.3 The Erlangen Programme |
|
|
395 | (6) |
|
18 Elementary Plane Geometry |
|
|
401 | (38) |
|
|
402 | (14) |
|
|
408 | (3) |
|
18.1.2 Euclidean Isometries |
|
|
411 | (5) |
|
|
416 | (7) |
|
18.2.1 Spherical Coordinates |
|
|
416 | (4) |
|
18.2.2 Geometry on the Sphere |
|
|
420 | (3) |
|
18.3 The Hyperbolic Plane |
|
|
423 | (7) |
|
|
430 | (4) |
|
18.5 The Euler Characteristic |
|
|
434 | (5) |
|
|
439 | (32) |
|
|
442 | (6) |
|
|
448 | (2) |
|
19.3 Sequential Convergence |
|
|
450 | (4) |
|
19.4 Complete Metric Spaces |
|
|
454 | (7) |
|
19.5 Normed Vector Spaces |
|
|
461 | (4) |
|
|
465 | (6) |
Appendices |
|
471 | (4) |
References |
|
475 | (4) |
Author Index |
|
479 | (4) |
Index |
|
483 | |