INFO - Informacie o MFF UK

IM - Informatika pre matematikov (IS: 6421221)

Maly blok: Informatika pre matematikov.

Gestor: Doc. RNDr. Juraj Prochazka, CSc.

Predmet: Informatika pre matematikov


Programovanie v Turbo Pascale:
- programove jednotky - unity - interface a implementation casti
- unit Crt
- zakladne graficke procedury v unite Graph
- textove a binarne subory

Algoritmy a datove struktury:
- zakladne struktury udajov (pole, zaznam, zoznam, mnozina)
- efektivne implementacie mnozin
- triedenie a vyhladavanie

Zlozitost konkretnych algoritmov:
- metoda divide et impera
- dynamicke programovanie
- nasobenie matic, Fourierova transformacia, grafove algoritmy, ...
- pojem NP-uplneho problemu, vychodiska z NP-uplnosti

Systemove programovanie:
- zakladne principy asemblerov
- asembler a makroasembler VAX - principy prekladacov
- ukladace a dalsie zakladne programove vybavenie pocitacov

Operacne systemy:
- hierarchicka struktura operacneho systemu - funkcie jednotlivych sprav
- synchronizacia paralelnych procesov, vzajomne vylucenie a zablokovanie
- virtualizacia operacnej pamati
- sprava suborov a zariadeni

Formalne jazyky a automaty:
- formalne gramatiky, typy gramatik
- regularne gramatiky a jazyky, konecne automaty, nedeterminizmus
- bezkontextove gramatiky a jazyky, zasobnikove automaty
- turingov stroj, nerozhodnutelnost

Kompilatory:
- lexikalna analyza, zakladne metody syntaktickej analyzy
- syntaxou riadeny preklad, generovanie kodu

Datum poslednej aktualizacie tohto dokumentu: 29.4.99.
Posledna aktualizacia udajov v systeme: 091006-V393.