Informatyka Stosowana
Wydział Fizyki, Astronomii i Informatyki Stosowanej,
Uniwersytet Jagielloński w Krakowie
Rok
akademicki
2014/2015
| Nr
wykładu |
Data |
Tytuł |
| 1 |
6.10.2014 |
Informacja
i sposoby jej zapisu. |
| 2 |
13.10.2014 |
Struktury danych i
algorytmy. |
| 3 4 |
20.10.2014 |
Złożoność obliczeniowa
algorytmów Kombinatoryka i algorytmy probabilistyczne |
| 27.10.2014 |
odwołany wykład |
|
| 5 |
3.11.2014 |
Iteracja, rekurencja i
indukcja; algorytmy sortujące i metody rozwiązywania rekurencji |
| 10.11.2014 |
dzień
wolny od zajęć |
|
| 6 |
17.11.2014 |
Modele danych-wstęp; Modele danych: lista |
| 7 |
24.11.2014 |
Modele danych: zbiory i
drzewa |
| 8 |
1.12.2014 |
Modele danych: grafy |
| 8.12.2014 |
wykład z
logiki |
|
| 9 |
15.12.2014 |
Modele danych: relacyjne
bazy danych |
| 5.01.2015 | dzień wolny od zajęć |
|
| 11 |
12.01.2015 |
Opis wzorców: automaty i wyrażenia regularne |
| 12 |
19.01.2015 |
Opis wzorców: gramatyki |
| 13 |
26.01.2015 |
Podsumowanie: algorytmy
i modele danych, grafy, automaty i
gramatyki |
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;
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
| Nr ćwiczeń |
Data |
Temat zadań |
Materiały uzupełniające (dla zaawansowanych) link |
|
| 1. |
7.10.2014 |
zestaw 1 |
Systemy
liczbowe
Reprezentacja liczb (ćwiczenia) |
|
| 2. |
14.10.2014 |
zestaw 2 | Wstęp
do
algorytmów Prostokąty i odcinki (ćwiczenia) Problem plecakowy |
|
| 3. |
21.10.2014 |
kont. zestawu 2 |
quicksort heapsort mergesort |
|
| 4. |
28.10.2014 |
zestaw 3 |
Ciąg arytmetyczny, ciąg geometryczny,permutacje | |
| 5. |
4.11.2014 |
zestaw 4 |
|
|
| 6. |
11.11.2014 |
dzień
wolny od zajęć |
Indukcja
Rekurencja |
|
| 7. |
18.11.2014 | |||
| 8. |
25.11.2014 | zestaw5 | Listy
(ćwiczenia) kod: list.cpp kod: list.h |
|
| 9. |
2.12.2014 |
Słowniki Drzewa (ćwiczenia) |
||
| 10. |
9.12.2014 |
zestaw7 | Algorytmy
grafowe
I Algorytmy grafowe II |
|
| 11. |
16.12.2014 |
Kolokwium:
5-6 zestaw 8-9 |
Rekurencja | |
| 12. |
6.01.2015 |
dzień wolny od zajęć |
||
| 13. |
13.01.2015 |
zestaw
8-9 |
||
| 14. |
20.01.2015 |
Kolokwium:
7-9 |
||
| 15. |
27.01.2015 |
Kolokwium
zaliczeniowe |
||
| 23.02.2015 |
Kolokwium
poprawkowe |
Ostatnia modyfikacja: 7 listopad 2014