Matematyka dyskretna 2: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Idziak (dyskusja | edycje)
Nie podano opisu zmian
 
Idziak (dyskusja | edycje)
Nie podano opisu zmian
Linia 16: Linia 16:
=== Wymagania wstępne ===
=== Wymagania wstępne ===
* Logika i teoria mnogości
* Logika i teoria mnogości
* Matematyka dyskretna
* Algebra liniowa z geometrią analityczną


=== Zawartość ===
=== Zawartość ===
Linia 44: Linia 46:
== Moduły ==
== Moduły ==


* [[MD Moduł 1| Moduł 1 ]] ([[MD Ćwiczenia 1|Ćwiczenia]])
* [[MD Moduł 1|]] ([[MD Ćwiczenia 1|Ćwiczenia]])
* [[MD Moduł 2| Moduł 2 ]] ([[MD Ćwiczenia 2|Ćwiczenia]])
* [[MD Moduł 2|]] ([[MD Ćwiczenia 2|Ćwiczenia]])
* [[MD Moduł 3| Moduł 3 ]] ([[MD Ćwiczenia 3|Ćwiczenia]])
* [[MD Moduł 3|]] ([[MD Ćwiczenia 3|Ćwiczenia]])
* [[MD Moduł 4| Moduł 4 ]] ([[MD Ćwiczenia 4|Ćwiczenia]])
* [[MD Moduł 4|]] ([[MD Ćwiczenia 4|Ćwiczenia]])
 
* [[MD Moduł 5|]] ([[MD Ćwiczenia 5|Ćwiczenia]])
* [[MD Moduł 5| Moduł 5 ]] ([[MD Ćwiczenia 5|Ćwiczenia]])
* [[MD Moduł 6|]] ([[MD Ćwiczenia 6|Ćwiczenia]])
* [[MD Moduł 6| Moduł 6 ]] ([[MD Ćwiczenia 6|Ćwiczenia]])
* [[MD Moduł 7|]] ([[MD Ćwiczenia 7|Ćwiczenia]])
* [[MD Moduł 7| Moduł 7 ]] ([[MD Ćwiczenia 7|Ćwiczenia]])


== Literatura uzupełniająca ==
== Literatura uzupełniająca ==

Wersja z 16:06, 11 cze 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
  • Matematyka dyskretna
  • Algebra liniowa z geometrią analityczną

Zawartość

  • Efekty mini-maxowe
    • twierdzenie Mengera
    • twierdzenie Dilwortha
    • twierdzenie Forda-Fulkersona
    • twierdzenie Koeniga-Egervary'ego
    • twierdzenie Spernera
  • Własności podziałowe i twierdzenie Ramseya
  • Teoria liczb
    • twierdzenie Eulera
    • RSA
    • testowanie pierwszości
  • Grupy i twierdzenie Polya
  • Ciała skończone
  • Kody korygujące błędy

Literatura

  1. V.Bryant, Aspekty kombinatoryki, WNT 1977,
  2. R.L.Graham, D.E.Knuth, O.Patashnik, Matematyka Konkretna, PWN 1996
  3. W.Lipski, Kombinatoryka dla programistów
  4. W.Lipski, W.Marek, Analiza kombinatoryczna, PWN 1986
  5. K.A.Ross, Ch.R.B.Wright, Matematyka Dyskretna, PWN 1996
  6. Z.Pałka, A.Ruciński, Wykłady z kombinatoryki, WNT 1998
  7. R.J.Wilson, Wprowadzenie do teorii grafów, PWN 1985

Moduły

Literatura uzupełniająca

  1. N.L.Biggs, Discrete Mathematics, Oxford University Press 1989
  2. B.Bollobas, Modern Graph Theory, Springer 1998
  3. Th.H.Cormen, Ch.E.Leiserson, R.L.Rivest, C.Stein,Wprowadzenie do algorytmów, WNT, 2004
  4. R.Diestel, Graph Theory, Springer 1997
  5. G.Polya, R.E.Tarjan, D.R.Woods, Notes on Introductory Combinatorics, Birkhauser 1983
  6. J.Riordan, An Introduction to Combinatorial Analysis, Princeton University Press 1978