Wyklad:   wtorek, 10.00-12.00, sala 055

Egzamin: 29.01.2010, godz. 8.30-11.30, sala 055
                       wpis do indexu (pokoj 446):
                         1.02. godz. 8.00 - 10.00
                         2.02. godz. 8.00 - 10.00

Egzamin poprawkowy: sroda 24.02.2010, godz. 10.00 - 13.00, sala 056
           
                  zagadnienia do egzaminu

      Zakres tematyczny:

-> co to jest informacja
-> algorytmy i struktury danych, poprawnosc algorytmu;
-> zlozonosc obliczeniowa algorytmow
-> rekursja, indukcja, iteracja, teoria prawdopodobienstwa;
-> modele danych: drzewa, listy, zbiory, relacje, grafy;
-> wzorce, automaty, wyrazenia regularne i gramatyki;
-> logika zdan,logika predykatow,projektowanie komponentow komputerow;
-> jezyki formalne, problemy NP-zupelne, teoria Turinga;         

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 przykladami w jezyku C.
3. T. H. Cormen, Ch. F. Leiserson, R. L. Rivest, Wprowadzenie do algorytmow.
4. A. Drozdek, D. L. Simon, Struktury danych w jezyku C.
5. D. Harel, Rzecz o istocie informatyki
6. J.E. Hopcroft, J. Ullman, Wprowadzenie do teorii automatow, jezykow i obliczen.
7. S. Kowalski, A. W. Mostowski, Teoria automatow i lingwistyka matematyczna.
8. Ch. H. Papadimitriou, Zlozonosc obliczeniowa.
9. W. Sikorski, Wyklady z podstaw informatyki.
10. T.H. Cormen, Ch.E. Leirson, R.L. Rivest, Wprowadzenie do algorytmow.
11. N. Wirth, Algorytmy i struktury danych = programy.
12. M. Forys, W. Forys, "Teoria automatow i jezykow formalnych", AOW Exit,Wwa 2005.



Cwiczenia:

grupa prowadzona przez prof. dr hab. E. Richter-Was

       
   Ostatnia modyfikacja: 2 grudzien 2009

Elzbieta Richter-Was