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



Poprawkowe kolokwium zaliczeniowe: 
wtorek 21.02, godz 9.00-11.00, pokoj D-2-11

Ostatnia modyfikacja: 20 listopad  2016

Elzbieta Richter-Was