Matematyka dyskretna. Niezbędnik dla informatyków Pińczów

Podręcznik Matematyka dyskretna. Niezbędnik dla informatyków autorstwa Harrego Lewisa i Rachel Zax obejmuje zagadnienia matematyki dyskretnej, które każdy student informatyki powinien znać. Książka składa się z trzydziestu jeden rozdziałów, które omawiają każdy z głównych tematów, dzięki temu można dopasować ją do programów nauczania dla różnych kursów. Każdy rozdział zawiera zwięzłe podsumowanie oraz zestaw ćwiczeń. Książka ma na celu nauczenie rozumowania matematycznego oraz pojęć i umiejętności matematycznych. Jest przeznaczona dla standardowych kursów licencjackich na studiach informatycznych, ale nadaje się także do prowadzenia kursów rozszerzonych na poziomie szkoły średniej. Lewis i Zax dają nam miłe wprowadzenie do podstawowych pojęć matematyki dyskretnej, które powinien znać każdy informatyk. Ich wyjaśnienia są na idealnym poziomie dla każdego, kto ma niewielkie doświadczenie w dowodach matematycznych, co czyni je idealnym podręcznikiem lub lekturą uzupełniającą. Saúl A. Blanco, Indiana University Spis treści: Okładka Strona tytułowa Strona redakcyjna Dedykacja Spis treści Dedykacja Wstęp Rozdział 1. Zasada szufladkowa Rozdział 2. Podstawowe techniki dowodzenia Rozdział 3. Dowód przez indukcję matematyczną Rozdział 4. Mocna indukcja Rozdział 5. Zbiory Rozdział 6. Funkcje i relacje Rozdział 7. Zbiory przeliczalne i nieprzeliczalne Rozdział 8. Indukcja strukturalna Rozdział 9. Logika zdań Rozdział 10. Postaci normalne Rozdział 11. Logika i komputery Rozdział 12. Rachunek kwantyfikatorów Rozdział 13. Grafy skierowane Rozdział 14. Grafy skierowane i relacje Rozdział 15. Stany i niezmienniki Rozdział 16. Grafy nieskierowane Rozdział 17. Spójność Rozdział 18. Kolorowanie Rozdział 19. Automaty skończone Rozdział 20. Języki regularne Rozdział 21. Notacja asymptotyczna Rozdział 22. Zliczanie Rozdział 23. Zliczanie podzbiorów Rozdział 24. Szeregi Rozdział 25. Relacje rekurencyjne Rozdział 26. Prawdopodobieństwo Rozdział 27. Prawdopodobieństwo warunkowe Rozdział 28 . Twierdzenie Bayesa Rozdział 29. Zmienne losowe i wartość oczekiwana Rozdział 30. Arytmetyka modularna Rozdział 31. Kryptografia klucza publicznego Przypisy