ZKUSTO
Ucelem ZKUSTO je shromazdit ucebni materialy ke statni zkousce
z informatiky. Protoze behem studia nebyla ve vestine predmetu
k dispozici skripta a ucili jsme se jen ze zapisku z prednasek, rozhodli
jsme se prepsat do elektronicke formy vsechny zapisky
z prednasek za dobu studia. Zapisky byly pomoci LaTeXu vysazeny
a zkonvertovany do PostScriptu.
Lide, kteri v potu tvare prepisovali (abecedne):
Dusan Dobes
Jiri Dobes
David Krasensky
Ales Krenek
Martin Kuba
Josef Pojsl
Jan Serak
Zatim je k dispozici:
I. rocnik
- Architektura pocitacu
- (Brandejs-Makub) Hardware, obvody, procesory, periferie.
- Automaty a formalni jazyky I.
- (Kretinsky-Pepa) Konecne automaty a regularni jazyky, bezkontextove jazyky a zasobnikove automaty (okrajove deterministicke bezkontextove jazyky), kontextove jazyky, Turingovy stroje a jazyky typu 0, rozhodnutelnost v teorii jazyku
- Automaty a formalni jazyky I. - aktualizace podle prednasky v roce 1996
- Linearni algebra I.
- (Sik-Dusan) Vektorove prostory atd.
- Linearni algebra II.
- (Sik-Dusan) Matice atd.
- A dale texty dr. Slovaka:
- Linearni algebra
(zde dvi)
- Vektorove prostory, prostory se skalarnim soucinem
- Linearni algebra -- cviceni
(zde dvi)
II. rocnik
- Automaty a formalni jazyky II.
- (Kretinsky-Dusan)
- Logika I.
- (Kadourek-Makub) Vyrokova logika, predikatova logika, vety o uplnosti
- Logika II.
- (Zlatuska-Sherry) Tabulkovee duukazy a rezolucznii metoda pro vyyrokovou a predikaatovou logiku, SLD-rezoluce, skolemizace, unifikace
- Principy programovacich jazyku
- (Havlat-Makub) Datove typy, konstrukce jazyku, paralelismus
- Geometrie
- (Janyska-Pepa)
- Vycislitelnost
- (Brim-Sherry) Programy, vyczislitelnee funkce, Churchova hypoteza, rekurzivnii a rekurzivne spocetne mnoziny, Riceova veta, produktivni a kreativni mnoziny, nerozhodnutelne problemy vycislitelnosti, relativizovana teorie vycislitelnosti
- Algebra I.
- (Polak-Jirka)
- Vypracovane okruhy otazek k Algebre I.
- (Jiri Wotke)
- Algebra II.
- (Polak-Ljocha)
III. rocnik
- Principy operacnich systemu
- (Staudek-Makub) bezpecnost informacnich systemu
- Komunikace a paralelismus
- (Brim-Pepa)
- Matematicka analyza 1
- (Novak-Sherry) Taylorova veta, parametricky zadane funkce, integralni pocet funkci jedne promenne, nekonecne rady, diferencialni pocet funkci vice promennych
- Matematicka analyza 2
- (Novak-Sherry) diferencialni pocet zobrazeni prostoru vyssich dimenzi, integralni pocet funkci vice promennych, zaklady reseni obycejnych diferencialnich rovnic
- Grafove algoritmy
- (Polak-Sherry) BFS, DFS, silne souvisle komponenty, haldy (binarni, binomialni, Fibonacciho), fronty, struktury pro disjunktni mnoziny, algoritmy nejkratsich cest (Dijkstra, Bellman-Ford, Floyd-Warshall), maximalni toky v sitich
- Organizace dat I.,II.
- (Havlat-Jirka)
- Kombinatorika
- (Rosicky-Dejva)
- Kombinatorika a teorie grafù
- (Kaïourek - Jiøí Wotke)
- Logicke programovani
- (Matyska-Dejva)
IV. rocnik
- Funkcionalni programovani
- (Skarvada-Pepa)
- Geometricke algoritmy I.
(zde dvi)
- (Slovak-Pepa, doc. Slovak) Algoritmy tykajici se konvexnich utvaru, Voronoiho diagramy, vyhledavani v rovinnych rozdelenich, rozsahove vyhledavani, ulohy o obdelnicich
- Geometricke algoritmy II.
(zde dvi)
- (Slovak-Ljocha, doc. Slovak) Polynomialni objekty -- afinni variety, idealy. Groebnerovy baze, Buchbergeruv algoritmus. Teorie eliminace promennych.
- Obe casti teto prednasky byly autorizovany a upraveny dr. Slovakem
- Umela inteligence
- (Racansky-Sherry) prohledavani stavoveho prostoru, AND/OR prohledavani, souperici prohledavani, alfa-beta procedura, expertni systemy, zpetne retezeni, dopredne retezeni
- Simulace
- (Sedlacek-Dejva)
- Pocitacove site
- (Staudek-Sherry)
- Prekladace
- (Kretinsky-Jirka)
- Softwarove inzenyrstvi
- (Brim-Jirka)
V. rocnik
- Neuronove site
- (Horejs-Makub) Teoreticky a vseobecne o NN
- Zpracovani vedecko-vyzkumnych dat
- (Znojil-Ljocha)
- Techniky zpracovaanii dat v DB
- (Pokorny-Sherry) relacni model bazi dat, relacni algebra, domenovy relacni kalkul, SQL, optimalizace vyhodnocovani dotazu, DATALOG, rekurze v databazich, dokumentograficke informacni systemy, transakcni zpracovani
- Vybrane partie z informatiky
- (Kral-Dejva)
- Ucetnictvi a finance
- (Dejva)
- Informatika ve zdravotnictvi
- (ing. Milan Sarek) Slajdy z prednasek
Tuto stranku vytvoril Martin Kuba (makub). Pokud mate pripominky, namety,
aj. k soucasne podobe stranky nebo ke Zkusto jako celku, posilejte je
prosim na adresu ljocha@fi.muni.cz,
pripadne na unix@fi.muni.cz.
Pokud byste se chteli podilet na dalsim rozkvetu techto textu, jejich
zdroje jsou k dispozici. Ozvete se prosim na adrese unix@fi.muni.cz.