Niniejsze opracowanie jest pierwszy częścią skryptu, który powstał na bazie materiałów do wykładów i ćwiczeń z matematyki dyskretnej, prowadzonych przez autorów od kilku lat na Wydziale Matematyki i Informatyki Uniwersytetu im. Adama Mickiewicza w Poznaniu. Zawiera on sześć rozdziałów poświęconych podstawowym pojęciom kombinatoryki i metodom dowodzenia stosowanym w matematyce dyskretnej. W przygotowywanej części drugiej wprowadzimy czytelnika w teorię grafów oraz przedstawimy najważniejsze algorytmy grafowe o znaczeniu praktycznym i dydaktycznym. 
Podręcznik ten może również być wykorzystany jako materiał pomocniczy do zajęć z takich przedmiotów, jak kombinatoryka czy rachunek prawdopodobieństwa. 
 
Spis treści:

Przedmowa 
 
1. Metody dowodzenia twierdzeń 
1.1. Metody dowodu implikacji 
1.2. Zasada indukcji matematycznej 
1.3. Zasada szufladkowa 
1.4. Zadania 
 
2. Podstawowe zasady i prawa przeliczania 
2.1. Zasada bijekcji 
2.2. Prawa dodawania i mnożenia 
2.3. Zasada włączania i wyłączania 
2.4. Zadania 
 
3. Schematy wyboru i tożsamości kombinatoryczne 
3.1. Wariacje z powtórzeniami 
3.2. Wariacje i kombinacje bez powtórzeń 
3.3. Kombinacje z powtórzeniami 
3.4. Permutacje z powtórzeniami 
3.5. Tożsamości kombinatoryczne 
3.6. Zadania 
 
4. Zależności rekurencyjne 
4.1. Proste zależności rekurencyjne 
4.2. Jednorodne zależności rekurencyjne 
4.3. Niejednorodne zależności rekurencyjne 
4.4. Złożone zależności rekurencyjne 
4.5. Zadania 
 
5. Aparat funkcji tworzących 
5.1. Formalne szeregi potęgowe 
5.2. Funkcje tworzące 
5.3. Rozwiązywanie równań rekurencyjnych 
5.4. Zadania 
 
6. Algebry Boole'a 
6.1. Podstawowe pojęcia algebr boolowskich 
6.2. Dwuwartościowa algebra Boole'a 
6.3. Atomy i izomorfizm algebr Boole'a 
6.4. Funkcje boolowskie 
6.5. Tablice Karnaugha 
6.6. Zadania 
 
Oznaczenia 
Bibliografia 
Indeks