Informatyka Stosowana
Wydzia� Fizyki, Astronomii i Informatyki Stosowanej,
Uniwersytet Jagiellonski w Krakowie
Rok
akademicki 2008/2009
| Nr
wykladu |
Data |
Tytul |
| 1 |
3.10.2008 (piatek! zamiast wykladu z logiki) |
Troche o
historii... Informacja i sposoby jej zapisu. |
| 2 |
7.10.2008 |
Algorytmy i struktury danych. Metody programowania. |
| 3 |
10.10.2008 (piatek! zamiast wykladu z logiki) |
|
| 4 |
14.10.2008 |
Iteracja, indukcja, rekurencja |
| 5 |
21.10.2008 |
Modele
danych: wprowadzenie Model danych oparty na listach |
| 6 |
28.10.2008 |
Model
danych oparty na drzewach Rozwiazywanie rekurencji |
| 7 |
18.11.2008 |
Model
danych oparty na zbiorach |
| 8 |
21.11.2008 (piatek! zamiast wykladu z logiki) |
Relacyjny
model danych Algebra relacyjna |
| 9 |
25.11.2008 |
Grafowy model danych |
| 10 |
9.12.2008 |
Zlozonosc
obliczeniowa algorytmow (cz. II) Wzorce i automaty |
| 11 |
16.12.2008 |
|
| 12 |
16.01.2009 (piatek! zamiast wykladu z logiki) |
Gramatyki |
| 13 |
20.01.2009 |
Logika zdan i logika predykatow |
| 14 |
27.01.2009 |
Troche
o przyszlosci.... Jedno z wyzwan dla procesowania danych w 2009-2019. |
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;
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:
grupy prowadzone przez dr. A.
Ochab-Marcinek link
grupa prowadzona przez mgr. M.
Brodowska: link
grupa prowadzona przez prof. dr hab. E. Richter-Was
| Nr
cwiczen |
Data |
Temat
zadan |
| 4. |
17.10.2008 |
TPI-Zadania-4 |
| 5. |
31.11.2008 |
TPI-Zadania-4 kontynuacja |
| 6. |
14.11.2008 |
Kolokwium I material: cwiczenia 1-5 |
| 7. |
21.11.2008 |
TPI-Zadania-7 |
| 8. |
28.11.2008 |
TPI-Zadania-8 |
| 9. |
5.12.2008
(odwolane) |
TPI-Zadania-9 |
| odrabiamy
odwolane cwiczenia sroda, 10.12.08 godz 13.30, sala -001 |
||
| 10. |
12.12.2008 |
TPI-Zadania-10 |
|
odrabiamy zalegle cwiczenia sroda 17.12.08, godz 13.30, sala -001 |
omowienie kolokwium I |
|
| 11. |
19.12.2008 |
Kolokwium II material: cwiczenia 7-10 |
| 12. |
9.01.2008 |
TPI-Zadania-12 |
|
dodatkowe cwiczenia sroda 14.01.09, godz 13.30, sala -001 |
omowienie kolokwium II |
|
| 13.
|
16.01.2009 |
TPI-Zadania-13 |
| 14. |
23.01.2009 |
Kolokwium III material: cwiczenia 12-13 |
Ostatnia
modyfikacja: 19 grudzien 2008