1. analiza:
	- granica ciągu
	- granica funkcji
	- ciągłosć funkcji
	- pochodna funkcji
	- badanie przebiegu zmiennosci funkcji
2. Analiza:
	- całki
	- szeregi
3. Przestrzeń liniowa i przekształcenia liniowe
   Macierze
4. Równania liniowe i ich rozwiązywanie
5. Relacje równoważnosci 
   Porządki 
   Moce zbiorów
6. Rachunek zdań
   Rachunek predykatów I rzędu
   Logika Hoare'a i dowodzenie poprawnosci programów
   Systemy dowodzenia i ich własnosci (poprawnosć, pelnosc)
7. EMD:
	- zliczanie (kombinacje, wariacje, permutacje. zasada włączeń-wyłączeń)
	- równanie rekurencyjne i ich rozwiązywanie
8. Zmienna losowa
   Przestrzeń probabilistyczna
   Momenty
   Rozkłady ciągłe i dyskretne
9. Hierarchia Chomsky'ego
   Języki regularne i ich związki z automatami i gramatykami
   Lematy o pompowaniu
   Języki bezkontekstowe i ich związki z automatami i gramatykami
10. Algorytmy sortowania i selekcji
    Wyszukiwanie
11. Algorytmy grafowe
12. Geometria obliczeniowa
13. Techniki konstrukcji algorytmów
    programowanie dynamiczne, zachłanne, dziel i zwyciężaj, nawroty
14. Wirtualizacja zasobów w S.O.
15. Bazy danych:
	- zależnosci funkcyjne
	- postaci normalne
	- więzy integralnosci
	- wyzwalacze
	- języki zapytań
16. Paradygmaty programowania:
	- imperatywne
	- przekazywanie parametrów
	- obiektowe
	- w logice
	- funkcyjne
17. Sieci komputerowe:
	- protokoły
	- bezpieczeństwo
	- architektura
18. Synchronizacja procesów i wątków
19. Definiowanie języków programowania
	- składnia i semantyka
20. Struktury danych
21. Złożonosć programów i problemów
	- definicje
	- maszyna Turinga
	- P i NP

Terminarz:
12.10
19.10
26.10
2.11
9.11
16.11
23.11
30.11
7.12