1.

M. Základné kombinatorické konfigurácie. Binomické koeficienty. Princíp zapojenia a vypojenia.

P. Prefixové stromy. Kompresia textov a Huffmanovo kódovanie. Porovnanie implementácií v rôznych jazykoch.

A. Správa pamäti: jednoduchá správa pamäti, virtuálna pamäť, stránkovanie, segmentovanie. Algoritmy výmeny stránok.

2.

M. Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. (Ilustrovat na zakladnej teorii cisel. Delitelnost, prvociselnost, atd. ) Matematická indukcia.

P. Rozdeľuj a panuj triediace algoritmy. Využitie rekurzie, možné problémy s rekurziou v rôznych jazykoch. Vlastnosti algoritmu merge-sort zdola nahor.

A. Bezpečnosť sietí – bezpečnostné problémy a mechanizmy na rôznych vrstvách – VLAN.

3.

M. Diskrétna pravdepodobnosť. Experiment a náhodný jav. Bernoulliho schéma. Podmienená pravdepodobnosť. Bayesova veta.

P. Efektívne realizácie dátových štruktúr Set a Multiset. Porovnanie implementácií v rôznych jazykoch.

A. Navrhovanie databáz: relačný model dát, entitno relačný model dát, kardinalita vzťahov, roly entít, n-árne vzťahy, transformovanie entitno relačneho modelu na relačný, reprezentovanie podmnožín, kontextualizácia dát, reifikovanie, meta modelovanie, typy a ich explicitné uchovávanie.

4.

M. Relácie na množine. Relácia ekvivalencie a rozklady množín. Čiastočne usporiadané množiny.

P. Ošetrovanie chýb, assert, výnimky, testy, rozdiely v rôznych jazykoch.

A. Modelovanie a návrh: entitno-relačný diagram, diagram dátových tokov, UML diagramy: use-case, stavový, activity, sekvenčný, komponentný, triedny, deployment. Študent vie nakresliť príklad každého diagramu a vysvetliť ho.

5.

M. Injektívne, surjektívne a bijektívne zobrazenia. Spočítateľné a nespočítateľné množiny. Cantorova diagonalizačná metóda.

P. Efektívne reprezentácie dátovej štruktúry graf. Využitie problému Union-find pri hľadaní kostry grafu.

A. Sieťová architektúra, vrstvové modely, služby – vrstva, rozhranie, protokol, fyzický a logický tok údajov. Kľúčové problémy pri návrhu sietí.

6.

M. Limita a spojitosť funkcii jednej reálnej premennej.

P. Efektívne realizácie dátovej štruktúry asociatívneho poľa. Riešenie kolízií. Implementácie asociatívneho poľa v rôznych jazykoch.

A. Správa zariadení a správa súborov: radič, spôsoby prenosu údajov medzi radičom a pamäťou. software správy zariadení. Pojem súbor a adresár, druhy súborov, spôsoby kódovania znakov v textových súboroch.

7.

M. Derivácia funkcii jednej reálnej premennej a jej využitie pri vyšetrovaní priebehu funkcii.

P. Efektívna realizácia operácií prioritného frontu PriorityQueue. Porovnanie implementácií v rôznych jazykoch.

A. Operačný systém pri pohľade zvonku (služby, ich význam z pohľadu vyšších vrstiev vrstvového modelu počítača) a zvnútra (správa procesov, správa pamäti, správa zariadení a správa súborov). Hlavné úlohy jednotlivých správ.

8.

M. Primitívna funkcia a metódy jej výpočtu.

P. Algoritmy prechádzania stromových dátových štruktúr. Možnosti realizácie pomocou lazy algoritmov v rôznych jazykoch.

A. Organizácia počítačových systémov - vrstvový model počítača, súvislosti medzi vrstvami. Procesor (mikroprocesor, ALU, realizácia inštrukcií), vnútorná a vonkajšia pamäť, prídavné zariadenia, zbernica z hľadiska hardvéru aj softvéru.

9.

M. Logika prvého rádu: Syntax (symboly, termy, formuly) a sémantika (štruktúra, hodnota termu, splnenie formuly a teórie). Vyplývanie, nezávislosť, nesplniteľnosť a ich vzťah.

P. Stromové dátové štruktúry. Rozdiely v implementácii pomocou dynamických dátových štruktúr v rôznych jazykoch.

A. Počítačové systémy: Základné logické funkcie a ich realizácia. Boolovské funkcie. Niektoré kombinačné obvody (sčítačka, multiplexor a demultiplexor).

10.

M. Deterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje).

P. Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, Dijkstrov algoritmus. Porovnanie implementácií v rôznych jazykoch.

A. Klientské vs. serverové webové aplikácie, princíp fungovania, vysvetlenie sieťovej komunikácie a jej spracovania.

11:

M. Nedeterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje).

P. Asymptotická výpočtová zložitosť, notácia veľké O, amortizovaná zložitosť.

A. Synchronizácia procesov a vlákien – zdieľanie údajov, časová závislosť, vzájomné vylúčenie, kritická sekcia, deadlock, busy waiting.

12.

M. Turingov stroj, porovnanie s konečným automatom. Existuje jazyk, ktorý sa nedá rozpoznať žiadnym TS?

P. Lineárne dátové štruktúry (zoznam, front, zásobník), efektívna implementácia pomocou dynamických dátových štruktúr. Rozdiely v implementácii v rôznych jazykoch.

A. Webové aplikácie na strane servera, primárne jazyk PHP (alt. Python, Ruby,...), prepojenie PHP (alt. Python, Ruby,...) s databázou, spracovanie a ošetrenie dát od používateľa, prenos dát medzi stránkami.

13.

M. Tablový alebo rezolvenčný kalkul: Pravidlá kalkulu pre logiku prvého rádu. Vyslovte vetu o korektnosti a úplnosti, vysvetlite jej vzťah k vyplývaniu.

P. Úloha abstraktného dátového typu, rozdiely v implementácii v rôznych jazykoch.

A. Web: základná štruktúra dokumentu, metadáta, sekcie a nadpisy, zgrupovanie a elementy s text-level sémantikou, formuláre. Vlastnosti CSS, ich hodnoty, selektory, box model, statické, relatívne, absolútne a fixné polohovanie, media queries.

Skúška: Štátna skúška

Orientačná stupnica hodnotenia: A 90%, B 80%, C 70%, D 60%, E 50%

slovenský, anglický

Skúška pozostáva z látky vyučovanej v rámci povinných predmetov z oblasti: diskrétnej matematiky, matematickej analýzy, algebry a logiky, programovania, databáz, webových aplikácií, princípov počítačov –(hardware, systémové programovanie, operačné systémy, počítačové siete) a tvorby informačných systémov.

Podrobnejší a aktualizovaný obsah okruhov otázok sa zverejní v predstihu v každom akademickom roku prostredníctvom akademického informačného systému. Konkrétne otázky na štátniciach budú v sebe spravidla integrovať viaceré oblasti týkajúce sa témy konkrétnej bakalárskej práce.

https://dai.fmph.uniba.sk/w/State_examinations_for_Bachelor_program_in_Applied_Informatics/sk

0/100

Štátna skúška na ukončenie bakalárskeho stupňa vzdelávania v študijnom programe aplikovaná informatika.

Ako písať vysokoškolské a kvalifikačné práce : Ako písať seminárne práce, ročníkové práce, práce študentskej vedeckej a odbornej činnosti, diplomové práce, záverečné a atestačné práce, dizertácie / Dušan Katuščák. Bratislava : Stimul, 1998

Priebežné hodnotenie: obhajoba diplomovej práce nemá priebežné hodnotenie

Skúška: obhajoba diplomovej práce

slovenský, anglický

Študent prezentuje a obhajuje svoju prácu pre štátnicovou komisiou.

https://dai.fmph.uniba.sk/w/State_examinations_for_Bachelor_program_in_Applied_Informatics/sk

0/100

Odovzdaním a úspešnou obhajobou bakalárskej práce študent preukáže schopnosť tvorivo pracovať v oblasti aplikovanej informatiky.