Wersja pełna [8,55 MB] - Wydział Elektroniki, Telekomunikacji i ...

2. Logika – rachunek zdań, tautologie X 2
3. Logika – rachunek predykatów pierwszego rzędu, formuły logicznie
równoważne. (w kontekście zagadnień informatycznych).
X 2
4. Indukcja matematyczna. Techniki dowodzenia własności algorytmów.
Niezmienniki petli.
X 2
5. Relacje binarne – relacje równoważności, zasada abstrakcji, porządki,
domknięcia przechodnie i równoważnościowe (w kontekście zagadnień
informatycznych).
X 2
6. Zliczanie i generowanie obiektów kombinatorycznych (funkcje,
rozmieszczenia, podziały - liczby Stirlinga)
X 3
7. Kongruencja, arytmetyka modulo n (chińskie twierdzenie o resztach,
twierdzenie Fermata, algorytm Euklidesa, rząd elementu w grupie
multiplikatywnej modulo n)
X 3
8. Teoria grafów - notacja, pojęcia podstawowe X 1
9. Teoria grafów - grafy eulerowskie, problem chińskiego listonosza X 1
10. Teoria grafów - grafy hamiltonowskie, problem komiwojażera X 1
11. Teoria grafów - własności drzew X 2
12. Teoria grafów - planarność X 1
13. Kolorowanie grafów X 2
14. Porównywanie tempa wzrostu funkcji liczbowych – symbole O (), o() X 2
15. Zależności rekurencyjne - metody: zgadywania, zaburzania,
"skomplikuj i uprość"
X 2
16. Zależności rekurencyjne - funkcje tworzące X 2
Razem 30
160