Matematyka dyskretna 2: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Linia 19: | Linia 19: | ||
=== Zawartość === | === Zawartość === | ||
* Efekty mini-maxowe | *Efekty mini-maxowe | ||
** | **skojarzenia | ||
** twierdzenie Dilwortha | **pokrycia wierzchołkowe i krawędziowe | ||
** | **twierdzenia Gallai, Koniga, Frobeniusa, Halla | ||
** twierdzenie | *Porzadki częsciowe i twierdzenie Dilwortha | ||
** | **pokrycie łąncuchowe | ||
* Własności podziałowe | **twierdzenie Dilwortha | ||
* | **rodziny Spernera | ||
** twierdzenie | *Własności podziałowe | ||
* | **zasada podziałowa | ||
** | **twierdzenie Ramseya | ||
* | **liczby Ramseya | ||
* Ciała skończone | *Elementy teorii grup | ||
* | **grupy cykliczne i rząd elementu grupy | ||
**grupy symetrii wielokątów | |||
**twierdzenie Lagrange’a | |||
*Zastosowania teorii grup w zliczaniu obiektów kombinatorycznych | |||
**działanie grupy na zbiorze | |||
**twierdzenie Polya | |||
*Ciała skończone | |||
**Pierścienie wielomianów | |||
**Konstrukcja ciał skończonych | |||
**Jednoznaczność ciał skończonych | |||
*Zastosowanie teorii liczb w kryptografii | |||
**kryptosystem RSA | |||
**test pierwszości Fermata | |||
**ticzby Carmichaela | |||
**test pierwszości Millera-Rabina | |||
=== Literatura === | === Literatura === |
Wersja z 22:58, 20 sie 2006
Forma zajęć
Wykład (15 godzin) + ćwiczenia (15 godzin)
Opis
Wykład rozwija aparat matematyczny niezbędny do konstruowania i analizy algorytmów. Składa się z elementów teorii grafów, teorii liczb i algebry.
Sylabus
Autorzy
- Paweł Idziak
- Bartłomiej Bosek
- Piotr Micek
Wymagania wstępne
- Logika i teoria mnogości
- Algebra liniowa z geometrią analityczną
- Analiza matematyczna 1
- Matematyka dyskretna 1
Zawartość
- Efekty mini-maxowe
- skojarzenia
- pokrycia wierzchołkowe i krawędziowe
- twierdzenia Gallai, Koniga, Frobeniusa, Halla
- Porzadki częsciowe i twierdzenie Dilwortha
- pokrycie łąncuchowe
- twierdzenie Dilwortha
- rodziny Spernera
- Własności podziałowe
- zasada podziałowa
- twierdzenie Ramseya
- liczby Ramseya
- Elementy teorii grup
- grupy cykliczne i rząd elementu grupy
- grupy symetrii wielokątów
- twierdzenie Lagrange’a
- Zastosowania teorii grup w zliczaniu obiektów kombinatorycznych
- działanie grupy na zbiorze
- twierdzenie Polya
- Ciała skończone
- Pierścienie wielomianów
- Konstrukcja ciał skończonych
- Jednoznaczność ciał skończonych
- Zastosowanie teorii liczb w kryptografii
- kryptosystem RSA
- test pierwszości Fermata
- ticzby Carmichaela
- test pierwszości Millera-Rabina
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
- 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)
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