TEORETYCZNE PODSTAWY INFORMATYKI wprowadzenie

'
$
TEORETYCZNE PODSTAWY INFORMATYKI
wprowadzenie
dr hab. inż. Andrzej Obuchowicz, prof. UZ
Instytut Sterowania i Systemów Informatycznych UZ
p. 425 A2 tel. 3282373, 3282422 (sekr.)
e-mail: [email protected]
http:/www.issi.uz.zgora.pl
&
%
'
TPI wprowadzenie – dr hab. inż. A. Obuchowicz, prof. UZ
$
1/3
Plan wykładu
✏ wprowadzenie;
✏ poprawność algorytmiczna;
✏ złożoność i klasy problemów algorytmicznych;
✏ prymitywne modele algorytmiczne;
✏ automaty deterministyczne i niederministyczne;
✏ gramatyki bezkontekstowe i regularne;
✏ równoległość i obliczenia losowe.
&
%
'
TPI wprowadzenie – dr hab. inż. A. Obuchowicz, prof. UZ
Literatura
$
2/3
✐ Banachowski L., Kreczmar A. Elementy analizy
algorytmów, Warszawa: WNT 1982;
✐ Ben Ari M. Logika matematyczna w informatyce, Warszawa:
WNT 2005;
✐ Bilski T., Chmiel K., Stokłosa J. Zbiór zadań ze złożoności
obliczeniowej algorytmów, Poznań: Wydawnictwo
Politechniki Poznańskiej 1992;
✐ Cormen T.H., Leiserson C.E., Rivest R.L. Wprowadzenie do
algorytmów, Warszawa: WNT 1997;
✐ Graham R.L., Knuth D.E., Patashnik O. Matematyka
konkretna, Warszawa: PWN 2002;
✐ Harel D., Rzecz o istocie informatyki, Warszawa: WNT 2000;
&
%
'
TPI wprowadzenie – dr hab. inż. A. Obuchowicz, prof. UZ
$
3/3
✐ Hopcroft J.E., Ullmann J.D. Wprowadzenie do teorii
automatów, jȩzyków i obliczeń, Warszawa: PWN 2003;
✐ Papadimitriou C.H. Złożość obliczeniowa, Warszawa: WNT
2002;
✐ Ross K.A., Wright C.R.B. Matematyk dyskretna, Warszawa:
PWN 2000;
✐ Stokłosa J. Zadania ze złożoności obliczeniowej
algorytmów, Poznań: Wydawnictwo Politechniki
Poznańskiej 1989;
✐ Wróblewski P. Algorytmy, struktury danych i jȩzyki
programowania, Gliwice: Helion 1997.
&
%