Hlavné menu
 
(39 intermediate revisions by 2 users not shown)
Riadok 1: Riadok 1:
−
= 9.2.9. Sylaby štátnych záverečných skúšok<br>magisterského študijného programu<br>Aplikovaná informatika<br>a<br>Aplikovaná informatika (konverzný program) =
+
=Sylaby štátnych záverečných skúšok<br>magisterského študijného programu<br>Aplikovaná informatika<br>a<br>Aplikovaná informatika (konverzný program) =
  
  
−
'''Garant:''' Doc. RNDr. Roman Ďurikovič, PhD.<br>
+
'''Garant:''' Prof. RNDr. Roman Ďurikovič, PhD.<br>
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;''durikovic [[Image:zavinac.gif|@]] fmph.uniba.sk''
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;''durikovic [[Image:zavinac.gif|@]] fmph.uniba.sk''
  
  
 
<small>
 
<small>
−
'''Štátnicový predmet 2-AIN-990 Obhajoba diplomovej práce'''
+
===Štátnicový predmet 2-AIN-991 Obhajoba diplomovej práce===
−
# Hodnotenie A môže získať iba práca prezentovaná autorom na fakultnom kole ŠVK.
+
Doneste si svoj '''vlastný notebook''' na ktorom budete prezentovať a ukazovať demo alebo animácie. Čas na prezentáciu je limitovaný na 13 minút potom Vám zaznie budík a ak ste neskončili prejdete na posledný slide prezentácie a poďakujete za pozornosť.
−
# Hodnotenie B môže získať vysoko kvalitná práca obsahujúca v sebe softverové dielo s výbornou prezentáciou.
+
 
−
# Hodnotenie C môže získať vysoko kvalitná práca obsahujúca vlastný prínos práce publikovateľný aspoň ako poster na konferencii s výbornou prezentáciou.
+
Odporúčania k prezentácii:
 +
Po názve práce a uvedení mien školiteľa/diplomanta sa zamerajte na to aby ste zhrnuli všetky Vaše výsledky, teda to čo ste dosiali. Ak máte animácie v skrátenej forme ich ukážte hneď na slide č.3. Toto je najdôležitejšia časť obhajoby ak si to dáte na koniec môžete ju nestihnúť odprezentovať.
 +
 
 +
Ďalej môže nasledovať spôsob AKO ste k výsledkom došli a nakoniec ukážete Váš výskum v skratke.
 +
 
 +
K otázkam oponenta/školiteľa z posudkov si pripravte slide na každú otázku, použijete ich po obhajobe po precitaní posudkov. Obhajobu si skúste doma povedať skoro naspamäť, robia to aj profesionáli.
 +
 
 +
 
 +
# Hodnotenie A
 +
# Hodnotenie B  
 +
# Hodnotenie C  
 
# Hodnotenie D  
 
# Hodnotenie D  
−
# Hodnotenie E môže získať kvalitná samostatná práca s pôvodnými správnymi výsledkami s neuplnými citáciami, neúplným ale funkčným softverovým dielom alebo slabšou prezentáciou.
+
# Hodnotenie E môže získať samostatná práca spĺňajúca viac ako 2/3 zadaných cieľov v prihláške s pôvodnými správnymi výsledkami.
−
# Hodnotenie Fx ostatné práce nezaradisteľné do lepšieho hodnotenia; plagiatorstvo (s návrhom na vylúčenie zo štúdia); zjavne odfláknutá niektorá casť práce, implementácie alebo prezentácie; práca nespĺňajúca viac ako 1/2 zadaných cieľov v prihláške.
+
# Hodnotenie Fx ostatné práce nezaraditeľné do lepšieho hodnotenia; plagiatorstvo (s návrhom na vylúčenie zo štúdia); zjavne odfláknutá niektorá casť práce, implementácie alebo prezentácie; práca nespĺňajúca viac ako 2/3 zadaných cieľov v prihláške.
 +
 
 +
Práca nebude akceptovaná na obhajobu ak nebude spĺňať nasledujúce základné požiadavky:
 +
a, zmluva nebude obsahovať všetky potrebné podpisy.
 +
b, nebude dodržaná štruktúra práce a obsah jednotlivých častí
 +
c, práca bude kompilátom sekundárnych zdrojov bez vlastného výskumu a analýz.
 +
d, v práci nebudú uvedené referencie na použité zdroje, čiže vyskytne sa v nej plagiátorstvo alebo zneužitie Internetu
 +
e, autor/ka nedodrží uvedené požiadavky na formu
 +
f, jazyková úroveň práce nebude zodpovedať úrovni absolventa magisterského štúdia.
 +
 
 +
===Štátnicový predmet 2-AIN-953 Metódy aplikovanej informatiky===
 +
Doneste si svoj '''vlastný notebook''' na ktorom budete bežať MS Teams aby sa mohla Vaša odpoveď vysielať online účastníkom.
 +
 
 +
Študent si ťahá jednu otázku náhodne zo zvoleného predmetu.
 +
 
 +
'''2-AIN-185/00 Formálne metódy tvorby softvéru'''  - D. Gruska
 +
 
 +
1. Vysvetlite princíp bisimulácie a jeho použitie na verifikáciu vlastností programov.
 +
 
 +
2. Modálne a temporálne logiky a ich použitie na verifikáciu vlastností programov.
 +
 
 +
3. Procesové algebry, syntax, sémantika, použitie.
 +
 
 +
4. Časové automaty, princípy, vlastnosti a použitie. 
 +
 
 +
5. Petriho siete, druhy, vlastnosti a použitie.
 +
 
 +
 
 +
'''2-AIN-206/15 Matematické modelovanie a počítačová animácia fyzikálnych procesov'''  - R. Ďurikovič
 +
 
 +
6. Animácie pohybu a orientácie, nearest neighbor, lineárna interpolácia, interpolačný spline na animáciu pohybu, Kubická Bézierova interpolačná krivka, C1 spojitosť kompozície kriviek.
 +
 
 +
7. Quaternion a orientácia, os rotácie a uhol, reprezentácia quaterniónom, rotácia v priestore pomocou quaterniónov, inverzný quaternión, kompozícia rotácie dvoch quaterniónov, interpolácia SLERP (Sférická lineárna interpolácia), interpolácie dvoch a viacerých quaternionov, Catmull-Rom interpolácia.
 +
 
 +
8. Detekcie kolízie, nutná a postačujúca podmienka kedy nie sú dve telesá v kolízii, deliaca rovina, broad phase (hierachycká mriežka), mid phase (hierarchie obálok, Voronoiove oblasti v kolízii, vysvetlujte na príklade kolízie gula x kapsula, dekompozícia telesa na konvexné časti), narrow phase (Minkowskeho priestor a blízkosť konvexných telies).
 +
 
 +
9. Numerické riešenie diferenciálnych rovníc, ODE prvého rádu separovateľné, Rovnice pohybu prvého rádu rýchlosť, zrýchlenie, Eulerova metóda, MidPoint metóda, Runge-Kuta metóda, podmienka stability na voľbu časového kroku.
 +
 
 +
10. Dynamika tuhých telies, definícia problému, Pozícia, ťažisko a orientácia telesa, rovnice pohybu (4 ODE), rýchlosť, zrýchlenie, uhľová rýchlosť a uhľové zrýchlenie, matica hybnosti (matica inercie) matica hybnosti pre guľu, pevný kváder, posunutý kváder.
 +
 
 +
 
 +
'''2-INF-150/15 Strojové učenie''' - V. Boža, M. Šuppa, T. Vinař
 +
 
 +
11. Regresia. Lineárna regresia, riešenie pomocou normálnych rovníc a gradientovej metódy, generalizovaná lineárna regresia, regularizácia.
 +
 
 +
12. Neurónové siete. Rozdiely medzi logistickou regresiou a jednoduchým perceptrónom. Skryté vrstvy v neurónových sieťach. Konvolučné neurónové siete. Metóda spätnej propagácie.
 +
 
 +
13. Support vector machines. Základná formulácia, duálna formulácia. Kernelová metóda.
 +
 
 +
14. Hlasovacie schémy. Bagging a boosting. Aplikácia na rozhodovacie stromy. Náhodné lesy.
 +
 
 +
15. Teória strojového učenia. Matematický model strojového učenia. Výchylka a rozptyl. Holdout testing. PAC (probably approximately correct) učenie, VC (Vapnik-Cervonenkis) dimenzia.
 +
 
 +
 
 +
'''2-AIN-113/22 Výpočtová fuzzy logika, modelovanie a systémy''' -  D. Guller
 +
 
 +
16. Reziduované zväzy - základné vlastnosti, triangulárne (ko-)normy, reziduácie, spojitosť, mnohohodnotové (manyvalued - MV), Goedelove (G), produktové (P) algebry/variety.
 +
 
 +
17. Mnohohodnotové (fuzzy) logiky a výpočtové formalizmy (Lukasiewiczova,  Goedelova, produktová), Davis–Putnam–Logemann–Loveland (DPLL) procedúra, binárna rezolúcia, hyper-rezolúcia.
 +
 
 +
18. Fuzzy množiny, fuzzy čísla a aritmetika, diskrétne fuzzy množiny, modifikátory fuzzy množín (hedges).
 +
 
 +
19. Fuzzy aproximačné modely, fuzzy (F) transform, fuzzy cluster analýza.
 +
 
 +
20. Fuzzy inferencia, kompozičné pravidlo inferencie (compositional rule of inference - CRI), fuzzy pravidlá - Mamdani-ho typu, Sugeno-Takagi-ho typu, lingvistická premenná, Zadehov prístup,  fuzzifikácia/defuzzifikácia, fuzzy inferenčné systémy, fuzzy riadiče (lineárne fuzzy proporčno-integračno-derivačné (proportional-integral-derivative - PID) a inkrementálne riadenie).
 +
 
 +
 
 +
'''2-AIN-138/16 Diskrétne štruktúry v informatike a počítačovej grafike''' - T. Jajcayová
  
−
'''Štátnicový predmet 2-AIN-950 Metódy aplikovanej informatiky'''
+
21. Grupy, cyklické grupy, modulárna aritmetika, primitívny koreň, aplikácia do generátora pseudonáhodných čísel, lineárny kongruentálny generátor.
  
−
# Reprezentácie objektov v počítačovej grafike, algoritmy pre určovanie viditeľného povrchu, hľadanie prienikov a orezávanie, rasterizácia a antialiasing, zobrazovací kanál, súradnicové sústavy v zobrazovacom kanáli.
+
22. Jednosmerné funkcie, diskrétny logaritmus, aplikácie do Diffie-Helman protokolu výmeny kľúča, využitie v krypto systémoch s verejným kľúčom.
−
# Agent, PEAS popis agenta, typy jednoduchých agentov, racionálny agent; informovane a neinformované prehľadávanie, heuristiky, hľadanie heuristík; logickí agenti, databáza znalosti, inferenčné algoritmy pre výrokovú databázu znalosti; predikátová databáza znalosti, modus ponens, resolvencia, forward a backward chaining; minimax, alfa beta orezávanie, pre dvoch aj viacerých hráčov.
+
−
# Problémy a algoritmy; základné výpočtové modely a miery zložitosti; zložitostné triedy, ich základné charakteristiky a hierarchie; redukcia a úplnosť v zložitostných triedach; NP-úplné problémy; metódy, používané na riešenie (výpočtovo) ťažkých problémov.
+
−
# Základné rozdelenie architektúr paralelných počítačov; progress a safety podmienky; úloha triedenia pre paralelné architektúry; problém večerajúcich filozofov; komunikácia cez chybný kanál.
+
−
# Časticové systémy, rovnice pohybu prvého rádu, integračné metódy,  stavový vektor systému, vonkajšie sily, obmedzujúce podmienky; animácie pohybu a orientácie, quaternion a orientácia; detekcie kolízie, nutná a postačujúca podmienka, sily odozvy (response forces); numerické riešenie diferenciálnych rovníc - Eulerova metóda, Runge-Kuta metóda; dynamika tuhých telies, rovnice pohybu.
+
  
−
'''Štátnicový predmet 2-AIN-951 Počítačová grafika a videnie'''
+
23. Maticová algebra, modulárne matice, aplikácie, determinanty, lineárne transformácie, quaterniony.
  
−
# Kuželosečky, ich klasifikácia; závislosť klasifikácie od typu roviny; vyšetrovanie tvaru rovinnej krivky; priesečníky priamky s krivkou, dotyčnica, singulárne body, inflexné body; kubické krivky; weierstrassov normálny tvar; eliptické krivky a ich využitie.
+
24. Matematický koncept symetrie, grupy automorfizmov, izomorfizmy, permutácie, výpočtová zložitosť problému izomorfizmu grafov, nájdenia grupy automorfizmov štruktúry a pod.
−
# Pokročilé techniky predspracovania obrazu; techniky rozpoznávania objektov; porozumenie 3D obrazu; počítačové videnie s jednou kamerou; stereovidenie.
+
−
# Referenčný model počítačovej grafiky, súradnicové systémy a ich transformacie, rozširenie modelu pre augmented reality; pracovna stanica a jej funkčnosť; kódovanie grafickej informacie, hierarchia obrazu a graf scény; fyzické a logické vstupné zariadenia, ISO model vstupu, vstupné režimy, programovanie interakcie; oknové systémy, ich struktúra a funkčnosť.
+
−
# Kanál metódy sledovania lúča; výpočet farieb renderovacou rovnicou; problém viditeľnosti a tieňa; globálny osvetľovací model; metódy zobrazenia scény množinou obrázkov.
+
−
# Akceleračné a urýchlovacie techniky, early Z test, culling techniky, úroven detailu, API podpora ; tieňovanie a textúrovanie, základné princípy a rozdiely medzi jednotlivými mapovaniami, tangenciálny priestor; metóda sledovania lúča (ray-tracing) na GPU; tiene; základy objemového zobrazovania na GPU.
+
−
# Bezstratové kódy v kompresii dát – posuvné, predikčné, kódovanie obrysov (kontúr, hraníc); rekonštrukcia obrazov – operácie opisujúce vznik poškodenia, metódy odstraňovania šumov.
+
−
# Hľadanie príznakov v obrazoch; klasifikátory (NN, SVM, HMM, ...); aplikácie počítačového videnia (výber obrazov z databázy, detekcia a sledovanie tváre, pokožky); mapovanie farebného rozsahu, HDR; kvalita obrazu (metriky, vyuzitie).
+
−
# Rozpoznávanie obrazcov (lineárne) separabilných a neseparabilných tried; štatistické rozpoznávanie separabilných tried; štatistické rozpoznávanie neseparabilných tried; syntaktické rozpoznávanie; porovnanie štatistických, syntaktických a ďalších metód rozpoznávania.
+
−
# Objemové metódy na vizualizáciu objemových dát; povrchové metódy na vizualizáciu objemových dát.
+
−
# Voronoiov diagram, Delaunayova triangulácia, vlastnosti a vzťahy medzi  nimi; definícia a základné vlastnosti VD a DT, ich duálny vzťah, vzťah s konvexným obalom, najbližším párom generátorov, vzťah medzi DT, VD a rotačným paraboloidom z=x*x+y*y, podgrafy DT.
+
−
# Casteljauov algoritmus vyčísľovania Bézierovej krivky, prerozdelenie, dotyčnica, polárna forma; schéma Casteljauovho algoritmu, zjemnenie krivky na dva segmenty, dotykový vektor krivky, polárna forma polynómu a jej vlastnosti, riadiace vrcholy krivky ako hodnoty polárnej formy, vzťah Casteljauovho algoritmu a polárnej formy, hladké spojenie Bézierovych segmentov.
+
−
# Grafika a zvuk – aplikačný software; základné grafické a zvukové formáty;  kompresné metódy; metódy vytvárania a zavádzania grafiky a zvuku do PC; animácia, video, TV HDTV; videoformáty a kompresia videa; nelineárny videostrih (NLE); mobilné, komunikačné a multimediálne technológie; multimédiá a internet; hypermédiá a videokonferencie; synchronizácia multimediálnych tokov.
+
  
−
'''Štátnicový predmet 2-AIN-950 Umelá inteligencia'''
+
25. Teória čísel, prvočíselné testy (aj pravdepodobnostné), rozšírený Euklidov algoritmus - aplikácie, rýchla modulárna exponenciácia (aj so zložitosťami), malá Fermatova veta, Eulerova veta, aplikácie do RSA krypto systému.
  
−
# Priama a spätná inferenciou v expertných systémoch; simulácia inferencie v systéme CLIPS; metóda rozkladu a skladu v CLIPS-e (Fibonacciho, kombinacne cisla, Hanojske veže, triedenia: quick | mergesort); produkčný systém v CLIPS-e na prehľadávanie stavového priestoru s nájdením  všetkých riešení (ofarbenie planárneho grafu, N-dám na šachovnici, problém misionárov a kanibalov); princíp stratifikácie na príklade hľadania optimálnych riešení (robot žeriav (bricks-world problem) alebo robot v gridovom bludisku).
 
−
# Inšpirácia vzniku konekcionizmu, základné časti biologických neurónov a ich vlastnosti, vlastnosti konekcionistických modelov; jednoduchý perceptrón: binárny a spojitý perceptrón; viacvrstvové dopredné neurónové siete; lineárne neurónové siete – princíp modelov General Inverse a Correlation Matrix Memory; samoorganizácia: základné princípy, metódy PCA (principal component analysis), učenie so súťažením. model samoorganizujúcej sa mapy (SOM), vektorová kvantizácia, topografické zobrazenie príznakov, redukcia dimenzie, magnifikačný faktor; rekurentné neurónové siete - spôsoby inkorporovania času do NS, architektúry RNS, time-delay-neural-network, back-propagation-through-time a real-time-recurrent-learning; hopfieldov model - deterministická verzia typy atraktorov v stavovom priestore, typy dynamiky; stochastická verzia.
 
−
# Bayesovske siete a bayesovske vyvodzovanie; klasická teória časových radov, trend, periodicita, náhodnosť; Box - Jenkinsove modely; časové rady s náhodnosťou: filtračná, predikčná a vyhladzovacia úloha; základy teorie dynamických sietí, vlastnosť malého sveta, Barabasi; Albertov model; základy teorie rozhodovania.
 
−
# Reprezentácia znalostí prostriedkami logického programovania. Definitné, normálne, rozšírené logické programy. Herbrandovská interpretácia, herbrandovský model, T_P-operátor, najmenší model. Negácia ako konečné zlyhanie (defaultová negácia), sémantické problémy defaultovej negácie. Stabilná sémantika. Answer set programming. Preferenčné, skeptické a dôverčivé usudzovanie s využitím stabilnej sémantiky. Stratifikované logické progamy.
 
−
# Defaultové teórie. Extenzie. Normálne defaultové teórie. Seminormálne defaultové teórie. Obmedzované extenzie.
 
−
# Hierarchické siete. Logický jazyk, v ktorom možno vyjadriť striktnú hierarchickú sieť. Logický jazyk, v ktorom možno vyjadriť hierarchickú sieť s viacnásobným dedením, konfliktami a výnimkami. Skeptické a dôverčivé usudzovanie. Preferovanie špecifickejšej informácie, zdržanlivý skepticizmus.
 
−
# Indukcia. Sémantická definícia. Základný algoritmus zovšeobecňovania v grafe špecializácií/zovšeobecnení. Induktívne logické programovanie. Pravidlá indukovania. Theta-subsumpcia.
 
−
# Abdukcia. Poňatia abdukcie - základná logická definícia, abdukcia ako pokrytie, abdukcia nad nemonotónnyi formalizmami (deafultovou teóriou, stabionou sémantikou logického programu).
 
−
# Revízie. AGM-postuláty racionálnosti revízie. Truth maintenance system - základné štruktúry, TM-procedúra, DDB-procedúra. Vyjadrenie TMS pomocou logického programu so stabilnou sémantikou, pomocou defaultovej teórie.
 
−
# Databáza s hypotézami (a neúplnou informáciou). Nie-korektné usudzovanie. Zachovávanie konzistentnosti. Nemonotóone usudzovanie. Všeobecná charakterizácia nemonotónneho usudzovania. Nemonotónne usudzovanie a revízie.
 
−
# Usudzovanie za prítomnosti nekonzistentosti. Štvorhodnotová Belnapova logika, jej sémantika. Nie-triviálny operátor odvodenia. Preferenčné vyplývanie (s minimalizáciou konfliktov).
 
−
# Princíp fuzzifikácie: fuzzy množiny, lingvistické premenné a termy, modifikátory (hedges); základné typy fuzzy pravidiel. (crisp | fuzzy predpoklady, závery, akcie, faktor určitosti pravidla CF); priebeh fuzzy inferencie. (kombinácia fuzzy faktov possibility, necessitity, similarity measures, CF (thresholds), agregácia fuzzy faktov); defuzzifikácia (centre of gravity, mean of maxima metods); návrh fuzzy produkčného systému.
 
−
# Agent (užšia definícia); autonómnosť a mobilita; receptory, efektory, radič, senzory, aktuátory; klasifikácia agentov na reaktívne, deliberatívne a hybridné; komunikácia medzi agentami: priama a nepriama.
 
−
# Reprezentačné jazyky: XML a KIF; multiagentový systém (užšia definícia); komunikačne jazyky: KQML.
 
−
# Implementácia multigentových systémov; multi-agentový systém implementovaný ako middleware; implementácia v rámci VM OOP; implementácia nad modelom SRR (IPC); pyramidálna architektúra Client – Server; architektúra Agent – Space; robustnosť, decentralizovanosť, normalizácia.
 
−
# Deliberatívna a nedeliberatívna robotika; nová umelá inteligencia; dekompozícia funkciou a aktivitou; subsumpčná architektúra; PKA model.
 
 
</small>
 
</small>

Aktuálna revízia z 16:42, 18. apríl 2023

Sylaby štátnych záverečných skúšok
magisterského študijného programu
Aplikovaná informatika
a
Aplikovaná informatika (konverzný program)

Garant: Prof. RNDr. Roman Ďurikovič, PhD.
             durikovic @ fmph.uniba.sk


Štátnicový predmet 2-AIN-991 Obhajoba diplomovej práce

Doneste si svoj vlastný notebook na ktorom budete prezentovať a ukazovať demo alebo animácie. Čas na prezentáciu je limitovaný na 13 minút potom Vám zaznie budík a ak ste neskončili prejdete na posledný slide prezentácie a poďakujete za pozornosť.

Odporúčania k prezentácii: Po názve práce a uvedení mien školiteľa/diplomanta sa zamerajte na to aby ste zhrnuli všetky Vaše výsledky, teda to čo ste dosiali. Ak máte animácie v skrátenej forme ich ukážte hneď na slide č.3. Toto je najdôležitejšia časť obhajoby ak si to dáte na koniec môžete ju nestihnúť odprezentovať.

Ďalej môže nasledovať spôsob AKO ste k výsledkom došli a nakoniec ukážete Váš výskum v skratke.

K otázkam oponenta/školiteľa z posudkov si pripravte slide na každú otázku, použijete ich po obhajobe po precitaní posudkov. Obhajobu si skúste doma povedať skoro naspamäť, robia to aj profesionáli.


  1. Hodnotenie A
  2. Hodnotenie B
  3. Hodnotenie C
  4. Hodnotenie D
  5. Hodnotenie E môže získať samostatná práca spĺňajúca viac ako 2/3 zadaných cieľov v prihláške s pôvodnými správnymi výsledkami.
  6. Hodnotenie Fx ostatné práce nezaraditeľné do lepšieho hodnotenia; plagiatorstvo (s návrhom na vylúčenie zo štúdia); zjavne odfláknutá niektorá casť práce, implementácie alebo prezentácie; práca nespĺňajúca viac ako 2/3 zadaných cieľov v prihláške.

Práca nebude akceptovaná na obhajobu ak nebude spĺňať nasledujúce základné požiadavky: a, zmluva nebude obsahovať všetky potrebné podpisy. b, nebude dodržaná štruktúra práce a obsah jednotlivých častí c, práca bude kompilátom sekundárnych zdrojov bez vlastného výskumu a analýz. d, v práci nebudú uvedené referencie na použité zdroje, čiže vyskytne sa v nej plagiátorstvo alebo zneužitie Internetu e, autor/ka nedodrží uvedené požiadavky na formu f, jazyková úroveň práce nebude zodpovedať úrovni absolventa magisterského štúdia.

Štátnicový predmet 2-AIN-953 Metódy aplikovanej informatiky

Doneste si svoj vlastný notebook na ktorom budete bežať MS Teams aby sa mohla Vaša odpoveď vysielať online účastníkom.

Študent si ťahá jednu otázku náhodne zo zvoleného predmetu.

2-AIN-185/00 Formálne metódy tvorby softvéru - D. Gruska

1. Vysvetlite princíp bisimulácie a jeho použitie na verifikáciu vlastností programov.

2. Modálne a temporálne logiky a ich použitie na verifikáciu vlastností programov.

3. Procesové algebry, syntax, sémantika, použitie.

4. Časové automaty, princípy, vlastnosti a použitie.

5. Petriho siete, druhy, vlastnosti a použitie.


2-AIN-206/15 Matematické modelovanie a počítačová animácia fyzikálnych procesov - R. Ďurikovič

6. Animácie pohybu a orientácie, nearest neighbor, lineárna interpolácia, interpolačný spline na animáciu pohybu, Kubická Bézierova interpolačná krivka, C1 spojitosť kompozície kriviek.

7. Quaternion a orientácia, os rotácie a uhol, reprezentácia quaterniónom, rotácia v priestore pomocou quaterniónov, inverzný quaternión, kompozícia rotácie dvoch quaterniónov, interpolácia SLERP (Sférická lineárna interpolácia), interpolácie dvoch a viacerých quaternionov, Catmull-Rom interpolácia.

8. Detekcie kolízie, nutná a postačujúca podmienka kedy nie sú dve telesá v kolízii, deliaca rovina, broad phase (hierachycká mriežka), mid phase (hierarchie obálok, Voronoiove oblasti v kolízii, vysvetlujte na príklade kolízie gula x kapsula, dekompozícia telesa na konvexné časti), narrow phase (Minkowskeho priestor a blízkosť konvexných telies).

9. Numerické riešenie diferenciálnych rovníc, ODE prvého rádu separovateľné, Rovnice pohybu prvého rádu rýchlosť, zrýchlenie, Eulerova metóda, MidPoint metóda, Runge-Kuta metóda, podmienka stability na voľbu časového kroku.

10. Dynamika tuhých telies, definícia problému, Pozícia, ťažisko a orientácia telesa, rovnice pohybu (4 ODE), rýchlosť, zrýchlenie, uhľová rýchlosť a uhľové zrýchlenie, matica hybnosti (matica inercie) matica hybnosti pre guľu, pevný kváder, posunutý kváder.


2-INF-150/15 Strojové učenie - V. Boža, M. Šuppa, T. Vinař

11. Regresia. Lineárna regresia, riešenie pomocou normálnych rovníc a gradientovej metódy, generalizovaná lineárna regresia, regularizácia.

12. Neurónové siete. Rozdiely medzi logistickou regresiou a jednoduchým perceptrónom. Skryté vrstvy v neurónových sieťach. Konvolučné neurónové siete. Metóda spätnej propagácie.

13. Support vector machines. Základná formulácia, duálna formulácia. Kernelová metóda.

14. Hlasovacie schémy. Bagging a boosting. Aplikácia na rozhodovacie stromy. Náhodné lesy.

15. Teória strojového učenia. Matematický model strojového učenia. Výchylka a rozptyl. Holdout testing. PAC (probably approximately correct) učenie, VC (Vapnik-Cervonenkis) dimenzia.


2-AIN-113/22 Výpočtová fuzzy logika, modelovanie a systémy - D. Guller

16. Reziduované zväzy - základné vlastnosti, triangulárne (ko-)normy, reziduácie, spojitosť, mnohohodnotové (manyvalued - MV), Goedelove (G), produktové (P) algebry/variety.

17. Mnohohodnotové (fuzzy) logiky a výpočtové formalizmy (Lukasiewiczova, Goedelova, produktová), Davis–Putnam–Logemann–Loveland (DPLL) procedúra, binárna rezolúcia, hyper-rezolúcia.

18. Fuzzy množiny, fuzzy čísla a aritmetika, diskrétne fuzzy množiny, modifikátory fuzzy množín (hedges).

19. Fuzzy aproximačné modely, fuzzy (F) transform, fuzzy cluster analýza.

20. Fuzzy inferencia, kompozičné pravidlo inferencie (compositional rule of inference - CRI), fuzzy pravidlá - Mamdani-ho typu, Sugeno-Takagi-ho typu, lingvistická premenná, Zadehov prístup, fuzzifikácia/defuzzifikácia, fuzzy inferenčné systémy, fuzzy riadiče (lineárne fuzzy proporčno-integračno-derivačné (proportional-integral-derivative - PID) a inkrementálne riadenie).


2-AIN-138/16 Diskrétne štruktúry v informatike a počítačovej grafike - T. Jajcayová

21. Grupy, cyklické grupy, modulárna aritmetika, primitívny koreň, aplikácia do generátora pseudonáhodných čísel, lineárny kongruentálny generátor.

22. Jednosmerné funkcie, diskrétny logaritmus, aplikácie do Diffie-Helman protokolu výmeny kľúča, využitie v krypto systémoch s verejným kľúčom.

23. Maticová algebra, modulárne matice, aplikácie, determinanty, lineárne transformácie, quaterniony.

24. Matematický koncept symetrie, grupy automorfizmov, izomorfizmy, permutácie, výpočtová zložitosť problému izomorfizmu grafov, nájdenia grupy automorfizmov štruktúry a pod.

25. Teória čísel, prvočíselné testy (aj pravdepodobnostné), rozšírený Euklidov algoritmus - aplikácie, rýchla modulárna exponenciácia (aj so zložitosťami), malá Fermatova veta, Eulerova veta, aplikácie do RSA krypto systému.

Zdroj: „http://dai.fmph.uniba.sk/w?title=State_examinations_for_Master_program_in_Applied_Informatics/sk&oldid=22080“