Matematyka dyskretna 1: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Linia 66: | Linia 66: | ||
== Moduły == | == Moduły == | ||
# [[MD Moduł 1|tytuł]] ([[MD Ćwiczenia 1|ćwiczenia]]) | |||
# [[MD Moduł 2|tytuł]] ([[MD Ćwiczenia 2|ćwiczenia]]) | |||
# [[MD Moduł 3|tytuł]] ([[MD Ćwiczenia 3|ćwiczenia]]) | |||
# [[MD Moduł 4|tytuł]] ([[MD Ćwiczenia 4|ćwiczenia]]) | |||
# [[MD Moduł 5|tytuł]] ([[MD Ćwiczenia 5|ćwiczenia]]) | |||
# [[MD Moduł 6|tytuł]] ([[MD Ćwiczenia 6|ćwiczenia]]) | |||
# [[MD Moduł 7|tytuł]] ([[MD Ćwiczenia 7|ćwiczenia]]) | |||
# [[MD Moduł 8|tytuł]] ([[MD Ćwiczenia 8|ćwiczenia]]) | |||
# [[MD Moduł 9|tytuł]] ([[MD Ćwiczenia 9|ćwiczenia]]) | |||
# [[MD Moduł 10|tytuł]] ([[MD Ćwiczenia 10|ćwiczenia]]) | |||
# [[MD Moduł 11|tytuł]] ([[MD Ćwiczenia 11|ćwiczenia]]) | |||
# [[MD Moduł 12|tytuł]] ([[MD Ćwiczenia 12|ćwiczenia]]) | |||
# [[MD Moduł 13|tytuł]] ([[MD Ćwiczenia 13|ćwiczenia]]) | |||
# [[MD Moduł 14|tytuł]] ([[MD Ćwiczenia 14|ćwiczenia]]) | |||
# [[MD Moduł 15|tytuł]] ([[MD Ćwiczenia 15|ćwiczenia]]) | |||
== Literatura uzupełniająca == | == Literatura uzupełniająca == |
Wersja z 10:37, 4 sie 2006
Forma zajęć
Wykład (30 godzin) + ćwiczenia (30 godzin)
Opis
Wykład wprowadza aparat matematyczny niezbędny do konstruowania i analizy algorytmów. Składa się z elementów kombinatoryki, teorii grafów i teorii liczb.
Sylabus
Autorzy
- Paweł Idziak
- Bartłomiej Bosek
- Piotr Micek
Wymagania wstępne
- Logika i teoria mnogości
Zawartość
- Indukcja matematyczna
- zasada indukcji
- zasady minimum i maksimum
- zależności rekurencujne
- Sumy skończone
- Zliczanie zbiorów i funkcji
- zliczanie podzbiorów
- zliczanie bijekcji
- zliczanie injekcji
- zliczanie funkcji
- współczynniki dwumianowe
- Permutacje i liczby Stirlinga
- Funkcje tworzące
- Zliczanie obiektów kombinatorycznych
- zasada szufladkowa Dirichleta
- zasada włączania-wyłączania
- liczby Catalana
- podziały liczby na sumy
- Asymptotyka
- notacja
- twierdzenie o rekursji uniwersalnej
- Grafy
- podstawowe pojęcia
- drzewa i cykle
- cykle Eulera i Hamiltona
- spójność (i tw. Mengera)
- dwudzielność (i tw. Halla)
- planarność (i tw. Kuratowskiego)
- sieci i przepływy
- Kolorowania grafów (w tym planarnych)
- Metody algebraiczne w teorii grafów
- Teoria liczb
- NWD, NWW, liczby pierwsze
- algorytm Euklidesa
- rozkład na czynniki pierwsze
- Arytmetyka modularna
- twierdzenie Fermata
- chińskie twierdzenie o resztach
Literatura
- V.Bryant, Aspekty kombinatoryki, WNT 1977
- R.L.Graham, D.E.Knuth, O.Patashnik, Matematyka Konkretna, PWN 1996
- W.Lipski, Kombinatoryka dla programistów, WMT 2004
- W.Lipski, W.Marek, Analiza kombinatoryczna, PWN 1986
- K.A.Ross, Ch.R.B.Wright, Matematyka Dyskretna, PWN 1996
- Z.Pałka, A.Ruciński, Wykłady z kombinatoryki, WNT 1998
- R.J.Wilson, Wprowadzenie do teorii grafów, PWN 1985
Moduły
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
- tytuł (ćwiczenia)
Literatura uzupełniająca
- N.L.Biggs, Discrete Mathematics, Oxford University Press 1989
- B.Bollobas, Modern Graph Theory, Springer 1998
- Th.H.Cormen, Ch.E.Leiserson, R.L.Rivest, C.Stein,Wprowadzenie do algorytmów, WNT, 2004.
- R.Diestel, Graph Theory, Springer 1997
- G.Polya, R.E.Tarjan, D.R.Woods, Notes on Introductory Combinatorics, Birkhauser 1983
- J.Riordan, An Introduction to Combinatorial Analysis, Princeton University Press 1978