Tytuł Matematyka dyskretna Podtytuł potrzebnik dla informatyków Autorzy Harry Lewis, Rachel Zas Język polski Wydawnictwo Wydawnictwo Naukowe PWN Tłumaczenie Piotr Fabijańczyk, Tomasz Lewandowski ISBN 978-83-01-21995-6 Rok wydania 2021 Warszawa Wydanie 1 ilość stron 410 Format mobi, epub Spis treści Wstęp xi
1. Zasada szufl adkowa 1
2. Podstawowe techniki dowodzenia 12
3. Dowód przez indukcję matematyczną 28
4. Mocna indukcja 43
5. Zbiory 54
6. Funkcje i relacje 64
7. Zbiory przeliczalne i nieprzeliczalne 75
8. Indukcja strukturalna 87
9. Logika zdań 98
10. Postaci normalne 111
11. Logika i komputery 122
12. Rachunek kwantyfi katorów 132
13. Grafy skierowane 148
14. Grafy skierowane i relacje 158
15. Stany i niezmienniki 169
16. Grafy nieskierowane 179
17. Spójność 193
18. Kolorowanie 200
19. Automaty skończone 208
20. Języki regularne 223
21. Notacja asymptotyczna 233
22. Zliczanie 255
23. Zliczanie podzbiorów 266
24. Szeregi 285
25. Relacje rekurencyjne 301
26. Prawdopodobieństwo 322
27. Prawdopodobieństwo warunkowe 337
28. Twierdzenie Bayesa 349
29. Zmienne losowe i wartość oczekiwana 361
30. Arytmetyka modularna 385
31. Kryptografi a klucza publicznego 397
Indeks 407
1. Zasada szufl adkowa 1
2. Podstawowe techniki dowodzenia 12
3. Dowód przez indukcję matematyczną 28
4. Mocna indukcja 43
5. Zbiory 54
6. Funkcje i relacje 64
7. Zbiory przeliczalne i nieprzeliczalne 75
8. Indukcja strukturalna 87
9. Logika zdań 98
10. Postaci normalne 111
11. Logika i komputery 122
12. Rachunek kwantyfi katorów 132
13. Grafy skierowane 148
14. Grafy skierowane i relacje 158
15. Stany i niezmienniki 169
16. Grafy nieskierowane 179
17. Spójność 193
18. Kolorowanie 200
19. Automaty skończone 208
20. Języki regularne 223
21. Notacja asymptotyczna 233
22. Zliczanie 255
23. Zliczanie podzbiorów 266
24. Szeregi 285
25. Relacje rekurencyjne 301
26. Prawdopodobieństwo 322
27. Prawdopodobieństwo warunkowe 337
28. Twierdzenie Bayesa 349
29. Zmienne losowe i wartość oczekiwana 361
30. Arytmetyka modularna 385
31. Kryptografi a klucza publicznego 397
Indeks 407
