Informatyka Stosowana
Wydział Fizyki, Astronomii i Informatyki Stosowanej,
Uniwersytet Jagielloński w Krakowie
Rok
akademicki
2013/2014
| Nr
wykładu |
Data |
Tytuł |
| 1 |
7.10.2013 |
Informacja i sposoby jej zapisu. |
| 2 |
8.10.2013 |
Struktury danych i
algorytmy. |
| 3 |
14.10.2013 |
Złożoność obliczeniowa algorytmów I |
| 4 |
21.10.2013 |
Elementy
kombinatoryki i rach. prawdopodobieństwa Algorytmy oparte o prawdopodobieństwo |
| 5 |
28.10.2013 |
Iteracja,
rekurencja i indukcja; algorytmy sortujące i metody rozwiązywania rekurencji |
| 6 |
4.11.2013 |
Modele
danych-wstęp; Modele danych: lista |
| 7 |
18.11.2013 |
Modele danych:
zbiory i drzewa |
| 8 |
25.11.2013 |
Modele danych: grafy |
| 9 |
2.12.2013 |
Modele danych:
relacyjne bazy danych |
| 10 |
16.12.2013 |
Opis wzorców: automaty i wyrażenia regularne |
| 11 |
13.01.2014 |
Opis wzorców: gramatyki |
| 12 |
20.01.2014 | Podsumowanie: algorytmy i modele danych |
| 13 |
27.01.2014 |
Podsumowanie:
złożoność obliczeniowa algorytmów |
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.2013 |
zestaw 1 |
Systemy
liczbowe
Reprezentacja liczb (ćwiczenia) |
|
| 2. |
14.10.2013 |
zestaw 2 | Wstęp
do
algorytmów Prostokąty i odcinki (ćwiczenia) Problem plecakowy |
|
| 3. |
21.10.2013 |
kont. zestawu 2 |
quicksort heapsort mergesort |
|
| 4. |
28.10.2013 |
zestaw 3 |
Ciąg arytmetyczny, ciąg geometryczny,permutacje | |
| 5. |
4.11.2013 |
zestaw 4 |
|
|
| 6. |
11.11.2013 |
kont.
zestawów 3 - 4 |
Indukcja
Rekurencja |
|
| 7. |
18.11.2013 | Listy
(ćwiczenia) kod: list.cpp kod: list.h |
||
| 8. |
25.11.2013 | zestaw6 | Słowniki Drzewa (ćwiczenia) |
|
| 9. |
2.12.2013 |
Algorytmy
grafowe
I Algorytmy grafowe II |
||
| 10. |
9.12.2013 |
kont.
zestawów 6-7 |
||
| 11. |
16.12.2013 |
Kolokwium:
5-6 |
Rekurencja | |
| 12. |
7.01.2014 |
zestaw8 i 9 |
||
| 13. |
13.01.2014 |
zestaw8
i 9 |
||
| 14. |
20.01.2013 |
Kolokwium:
7-9 |
||
| 15. |
27.01.2014 |
Kolokwium
zaliczeniowe |
||
| 18.02.2014 |
Kolokwium
poprawkowe |
sala 128, godz
9.00-11.00 |
Ostatnia modyfikacja: 31 styczeń 2014