Tematyka tego wykładu wiąże się ściśle z matematycznymi podstawami informatyki. Pojęcia takie jak funkcja i relacja stanowią podstawę wszystkich dalszych rozważań zarówno w matematyce jak i w informatyce. Wykład obejmuje tematy takie jak algebra relacji, podstawy logiki, podstawy teorii zbiorów, metody dowodzenia, indukcję matematyczną, definicje rekurencyjne oraz elementy kombinatoryki i dyskretnego rachunku prawdopodobieństwa.
Tworzenie algorytmów wymaga nie tylko umiejętności logicznego myślenia ale i narzędzi do uzasadniania poprawności algorytmów. Analiza algorytmów wymaga ponadto umiejętności zliczania i szacowania liczby wykonanych operacji, tzw. kosztów. Poprawność działania algorytmów rekurencyjnych zależy od istnienia rozwiązań pewnych rekurencyjnych równań. Nie sposób uzasadnić poprawności programu, w którym występuje chociaż jedna pętla, bez znajomości zasady indukcji matematycznej. Nie sposób mówić o strukturach danych, których używa się w programowaniu, bez znajomości pojęcia grafu.

Krótko, w wykładzie matematyki dyskretnej zawarty jest materiał niezbędny w wykształceniu każdego informatyka.

Celem wykładu jest zapoznanie studentów z podstawowymi pojęciami matematyki jakimi są pojęcia zbioru, funkcji i relacji oraz przedstawienie lub przypomnienie elementów logiki, kombinatoryki i rachunku prawdopodobieństwa. Wszystkie pojęcia są ilustrowane przykładami, staramy się też zwracać uwagę Czytelnika na związek omawianych pojęć z informatyką. Przedstawione w tym wykładzie tematy są bezpośrednio związane z podstawami informatyki, a zawarte nich informacje stanowią niezbędne minimum wiedzy dla wszystkich rozpoczynających studia informatyczne.

Przedmiot ma charakter podstawowy, jednak znajomość matematyki w zakresie szkoły średniej jest niezbędna do zrozumienia tekstu wykładu.

• Rasiowa H., Wstęp do matematyki współczesnej, PWN 1968
• Ross K.A., Wright Ch., Matematyka Dyskretna, PWN 1999
• Koronacki J., Mielniczuk J., Statystyka dla studentów kierunków technicznych, R.II, WNT 2001,
• Lipski W., Kombinatoryka dla programistów, WNT
• Mirkowska G., Elementy matematyki Dyskretnej, PJWSTK, 2003

• Arnold A., Guessarian I., Matematique Discrete, 1995
• Baase S., Computer Algorithms Addison Wesley,
• Cormen T., Leiserson Ch., Rivest R., Wprowadzenie do algorytmów, WNT 2000,
• Czechowski T., Elementarny wykład Rachunku Prawdopodobieństwa, PWN 1958,
• Fisz M., Rachunek Prawdopodobieństwa, PWN 1958,
• Marek W., Onyszkiewicz .J, Zbiór zadań z teorii mnogości,
• Barwise J., Etchemendy J., Tarski's world.