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

egzamin I termin: 
                  30.01.2012, godz. 8.00-11.00
                  sala 055, 056
wyniki: 31.01.2012, od godz 17-tej, 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:

grupy prowadzone przez prof. dr hab. E. Richter-Wąs
  kolokwium zaliczeniowe II termin: 
                       22.02.2011, godz. 9.00-11.00
                       sala 055


Materiały uzupełniające:  link                       

Ostatnia modyfikacja: 15 styczeń 2012

Elzbieta Richter-Was