Wykład:  wtorek, 14.00-16.00, sala 055

egzamin I termin:        29.01.2013,  godz 13.30-15.30, sala 055, 05
                                               poprawione prace do wglądu: 31.01.2013, godz 8.00-10.00, p.446
                 

      Zakres tematyczny:

-> co to jest informacja
-> algorytmy i struktury danych, poprawność algorytmu;
-> złożoność obliczeniowa algorytmów
-> rekursja, indukcja, iteracja, teoria prawdopodobieństwa;
-> modele danych: drzewa, listy, zbiory, relacje, grafy;
-> wzorce, automaty, wyrażenia regularne i gramatyki;          

Literatura

1. H. Abelson, G. J. Sussman, J. Sussman, Struktura i intepretacja programow komputerowych.
2. A. V. Acho, J. D. Ullman, Wyklady z informatyki z przykładami w jezyku C.
3. T. H. Cormen, Ch. F. Leiserson, R. L. Rivest, Wprowadzenie do algorytmów.
4. A. Drozdek, D. L. Simon, Struktury danych w jezyku C.
5. L. Banachowski, K. Diks, W. Rytter, Algorytmy i struktury danych, WNT 1996.
6. D. Harel, Rzecz o istocie informatyki.
7. J.E. Hopcroft, J. Ullman, Wprowadzenie do teorii automatów, jezyków i obliczeń.
8. S. Kowalski, A. W. Mostowski, Teoria automatow i lingwistyka matematyczna.
9. Ch. H. Papadimitriou, Złożoność obliczeniowa.
10. W. Sikorski, Wykłady z podstaw informatyki.
11. T.H. Cormen, Ch.E. Leirson, R.L. Rivest, Wprowadzenie do algorytmów.
12. N. Wirth, Algorytmy i struktury danych = programy.
13. M. Foryś, W. Foryś, "Teoria automatów i jezyków formalnych", AOW Exit,Wwa 2005.



Ćwiczenia:

grupa prowadzona przez prof. dr hab. E. Richter-Wąs

Ostatnia modyfikacja: 1 grudzien 2012

Elzbieta Richter-Was