SPIS TREŚCI Wstęp
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
xi Zasada szufladkowa
1
Podstawowe techniki dowodzenia
12
Dowód przez indukcję matematyczną
28
Mocna indukcja
43
Zbiory
54
Funkcje i relacje
64
Zbiory przeliczalne i nieprzeliczalne
75
Indukcja strukturalna
87
Logika zdań
98
Postaci normalne
111
Logika i komputery
122
Rachunek kwantyfikatorów
132
Grafy skierowane
148
Grafy skierowane i relacje
158
Stany i niezmienniki
169
Grafy nieskierowane
179
Spójność
193
Kolorowanie
200
Automaty skończone
208
Języki regularne
223
Notacja asymptotyczna
233
Zliczanie
255
Zliczanie podzbiorów
266
Szeregi
285 ix