Informatyka Stosowana
Wydział Fizyki, Astronomii i Informatyki Stosowanej,
Uniwersytet Jagiellonski w Krakowie
Rok
akademicki 2010/2011
Nr
wykładu |
Data |
Tytuł |
1 |
5.10.2010 |
Informacja i
sposoby jej zapisu. |
2 |
12.10.2010 |
Algorytmy i struktury danych. |
3 |
19.10.2010 |
|
4 |
26.10.2010 |
Iteracja, indukcja, rekurencja Rozwiazywanie rekurencji |
5 |
9.11.2010 |
Modele danych: wprowadzenie Modele danych: listy |
6 |
16.11.2010 |
Modele danych: zbiory Modele danych: drzewa |
7 |
23.11.2010 |
Modele danych: grafy |
8 |
30.11.2010 |
Modele danych: relacje |
9 |
7.12.2010 |
Modele danych: relacje |
10 |
14.12.2010 |
Wzorce i automaty Wyrazenia regularne |
11 |
21.12.2010 |
|
12 |
4.01.2011 |
Gramatyki |
13 |
11.01.2011 |
Algorytmy oparte na
prawdopodobienstwie Metody programistyczne, zlozonosc obliczeniowa raz jeszcze |
14 |
18.01.2011 |
Egzamin: termin
przed sesja |
15 | 25.01.2011 | Repetytorium Wyklad "niespodzianka" |
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;
-> jezyki formalne, problemy
NP-zupelne,
teoria Turinga;
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.
Ćwiczenia:
grupy prowadzona przez prof. dr
hab. E. Richter-Was
wpisywanie zaliczen
: 27.01.2011, godz 14.00-15.00,
pokoj 446
28.01.2011, godz 13.00-14.00, pokoj
446
kolokwium
zaliczeniowe I : 8.02.2011, godz 9.00-12.00, sala 057
II : 22.02.2011, godz 9.00-12.00, sala 001A
Nr
cwiczen |
Data |
Temat
zadan
|
1. |
5.10.2010 |
|
2. |
12.10.2010 |
Zestaw 1 |
3. |
19.10.2010 |
Zestaw 2 |
4. |
26.10.2010 |
Zestaw 3 |
5. |
9.11.2010 |
Zestaw 4 |
6. |
16.11.2010 |
Kolokwium: 1-4 |
7. |
23.11.2010 |
|
8. |
30.11.2010 | Zestaw 6 |
9. |
7.12.2010
|
|
10. 11. |
14.12.2010 21.12.2010 |
Kolokwium: 5-7 Zestaw 8 |
12. |
4.01.2011 |
Zestaw 9 |
13. |
11.01.2011
|
Zestaw 9 |
14.
|
18.01.2011 |
powtorka: 1-9 |
15. |
25.11.2011 |
Kolokwium: 8-9 |
Ostatnia
modyfikacja: 27 styczen 2011