Egzamin I termin:   29.01.2016, godz. 9.00-12.00,
                                 sala A-1-06, A-1-08

 Ocenione prace do wglądu: 1.02, godz 13-14, pokój D-2-11


Egzamin II termin: 18.02.2016, godz. 14.00-17.00,
                                 sala A-1-06
 
Wykład:  poniedziałek, 16.00-18.00, sala  A-1-006

      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 


Kolokwium poprawkowe (drugi termin):
             18.02, godz 10-ta, pokój D-2-11.

Ostatnia modyfikacja: 11 styczeń 2016

Elzbieta Richter-Was