Štátne záverečné skúšky,
študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium
Garant: Doc. RNDr. Mária Markošová, PhD.
markosova 
ii.fmph.uniba.sk
Oznamujem študentom, že augustový termín štátnych skúšok je výlučne opravným termínom a nie je možné sa naň prihlásiť ako na prvý termín. Tento postup bol zvolený po dohode s pani študijnou prodekankou.
Úvodné poznámky
Štátne skúšky sa konajú z povinných predmetov bakalárskeho štúdia odboru Aplikovaná informatika a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):
- obhajoba bakalárskej práce
- skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.
Štátna skúška bude 27.6. až 28.6.2012 na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá 15 minút vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.
Študenti si musia zabezpečiť vlastný notebook, na ktorom budú prezentovať svoje bakalárske práce.
Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.
Obsah štátnej záverečnej skúšky
Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.
Matematika I (Analýza)
- Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
- Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
- Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
- Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
- Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.
Matematika II (Algebra a geometria)
- Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
- Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
- Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
- Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.
Diskrétna matematika
- Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. Matematická indukcia.
- Základné enumeračné pravidlá: pravidlo súčtu a súčinu. Variácie bez a s opakovaním. Odvodenie počtu.
- Permutácie bez a s opakovaním. Odvodenie počtu. Multinomická veta.
- Kombinácie bez a s opakovaním. Odvodenie počtu. Usporiadané partície čísel.
- Binomické koeficienty. Ich základné vlastnosti. Pascalova formula a Pascalov trojuholník. Binomická veta.
- Princíp zapojenia a vypojenia. Problém šatniarky: formulácia a riešenie.
- Prirodzené a celé čísla. Neúplný podiel a zvyšok po delení. Najväčší spoločný deliteľ. Euklidov algoritmus. Lineárne diofantické rovnice.
- Prvočísla a zložené čísla. Základné vlastnosti prvočísel. Rozklad čísla na prvočinitele. Základná veta aritmetiky.
- Vybrané číselné postupnosti: aritmetická a geometrická postupnosť, Fibonacciho čísla. Ich základné vlastnosti. Súčet prvých n členov postupnosti.
- Rekurentné vzťahy. Lineárne homogénne rekurentné vzťahy s konštantnými koeficientami. Prípady rôznych a rovnakých reálnych koreňov.
- Množiny. Paradoxy teórie množín. Základné vzťahy a operácie. Potenčná množina. Karteziánsky súčin.
- Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Opačná (inverzná) relácia. Obraz a vzor množiny v relácii. Jednoznačné a všade definované relácie.
- Relácie na množine. Základné vlastnosti relácií na množine. Reflexivita a ireflexivita. Symetria, antisymetria a asymetria. Tranzitivita.
- Relácia ekvivalencie a rozklad množiny. Ich vzájomný vzťah. Systém zvyškových tried podľa modulu.
- Čiastočné a lineárne usporiadania. Hasseho diagram usporiadania. Minimálny a maximálny prvok. Najmenší a najväčší prvok.
- Zobrazenia. Zúženie a rozšírenie zobrazenia. Zložené zobrazenie. Inverzné zobrazenie. Obraz a vzor množiny v zobrazení.
- Injektívne, surjektívne a bijektívne zobrazenia.
Algoritmy a dátové štruktúry
- Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií)
- bitový vektor, pole, spájaný zoznam
- binárny vyhľadávací strom
- vyvážené stromy.
- Vyhľadávanie informácií v tabuľkách
- sekvenčné a binárne vyhľadávanie
- hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií
- porovnanie zložitosti operácií.
- Porovnanie triediacich algoritmov
- popis niektorých triediacich algoritmov, napr. merge-sort, quick-sort, heap-sort
- zložitosť popísaných algoritmov
- odhady zložitosti optimálneho algoritmu triediaceho porovnávaním
- Dátové štruktúry pre množiny
- disjunktné množiny s operáciami UNION a FIND
- viacrozmerné množiny - dotaz na úplnú zhodu, dotaz na čiastočnú zhodu
- reprezentácia vzťahov typu mnoho-mnoho – multilist.
Programovanie
- Triedy, ukrývanie implementácie, dedenie, virtuálne dedenie, typy konštruktorov, deštruktory, príklady v Free Pascal, C++ alebo Java.
- Abstraktný dátový typ a jeho implementácia triedou, príklady v Free Pascal, C++ alebo Java.
- Parametrický polymorfizmus, preťažovanie, preťažovanie operátorov, príklady v Free Pascal, C++ alebo Java.
- Šablóny, typy šablón, kontajnery, kolekcie, príklady v Free Pascal, C++ alebo Java.
- Smerníky, smerníková aritmetika, dynamická alokácia pamäti, smerníky na smerníky a na funkcie. Príklady v Free Pascal alebo C++.
- Procesy a vlákna (thready), konkurentné programovanie, spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafory a príklad v konkrétnom jazyku.
- Ošetrovanie chýb, assert, výnimky, testy, a príklad v Free Pascal, C++ alebo Java.
- Lineárne dátové štruktúry (zoznam, front, prioritný front), príklad ich implementácie pomocou dynamických dátových štruktúr v jazyku Free Pascal, C++ alebo Java.
- Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, backtracking. Príklad v jazyku Free Pascal, C++ alebo Java.
Úvod do teoretickej informatiky
- Výpočtový model, základné charakteristiky. Konečný automat, Turingov stroj, porovnanie.
- Determinizmus vs. netereminizmus (ako sa definuje na konečných automatoch a TS). Praktické dôsledky na uvedených modeloch.
- Dôkazy neriešiteľnosti problému v danom výpočtovom modeli (konečný automat, TS.)
Grafické systémy, vizualizácia a multimédiá
- Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu.
- Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
- Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
- Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
- Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.
Doporučená literatúra z počítačovej grafiky:
- Ružický, E., Ferko, A. : Počítačová grafika a spracovanie obrazu
- Žára, J. a kolektív : Moderní počítačová grafika
- vlastné poznámky z prednášok