d |
d |
||
(4 intermediate revisions by 2 users not shown) | |||
Riadok 10: | Riadok 10: | ||
== Najlepšia bakalárska práca == | == Najlepšia bakalárska práca == | ||
− | Garant bakalárskeho štúdia udeľuje cenu za najlepšiu bakalársku prácu v danom akademickom roku. | + | Garant bakalárskeho štúdia udeľuje ''cenu za najlepšiu bakalársku prácu'' v danom akademickom roku. |
O ocenení rozhoduje porota, pozostávajúca z vedúcich bakalárskych seminárov a z predsedov štátnicových komisií. | O ocenení rozhoduje porota, pozostávajúca z vedúcich bakalárskych seminárov a z predsedov štátnicových komisií. | ||
Riadok 16: | Riadok 16: | ||
Okrem samotného titulu „Najlepšia bakalárska práca v Aplikovanej informatike za rok xxx“ získa autorka či autor i finančnú odmenu vo výške 100 Eur. | Okrem samotného titulu „Najlepšia bakalárska práca v Aplikovanej informatike za rok xxx“ získa autorka či autor i finančnú odmenu vo výške 100 Eur. | ||
− | Výsledné vyhodnotenie: [[Best Bachelor Thesis AIN 2018|Najlepšia bakalárska práca AIN 2018]] | + | Dekan FMFI UK môže za prácu výnimočnej kvality udeliť ''cenu dekana za vynikajúcu bakalársku prácu''. |
+ | |||
+ | Výsledné vyhodnotenie: | ||
+ | |||
+ | * [[Best Bachelor Thesis AIN 2020|Najlepšia bakalárska práca AIN 2020]] | ||
+ | * [[Best Bachelor Thesis AIN 2019|Najlepšia bakalárska práca AIN 2019]] | ||
+ | * [[Best Bachelor Thesis AIN 2018|Najlepšia bakalárska práca AIN 2018]] | ||
+ | |||
== Úvodné poznámky == | == Úvodné poznámky == | ||
Riadok 27: | Riadok 34: | ||
Termín štátnej skúšky [[Important_Dates_for_State_Examinations_and_Final_Theses/sk|je zverejnený]], koná sa na Katedre aplikovanej informatiky (miestnosť a čas budú upresnené 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. | Termín štátnej skúšky [[Important_Dates_for_State_Examinations_and_Final_Theses/sk|je zverejnený]], koná sa na Katedre aplikovanej informatiky (miestnosť a čas budú upresnené 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. | ||
− | + | Opravný termín štátnej skúšky sa spravidla koná [[Important_Dates_for_State_Examinations_and_Final_Theses/sk|koncom augusta]]. Aj bakalárske práce obhajované v tomto termíne je potrebné [[Important_Dates_for_State_Examinations_and_Final_Theses/sk|odovzdať načas]]. | |
Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce. V prípade záujmu môžeme požičať notebook Lenovo s OS Windows 7 a Linux - kontakt: P. Petrovič. | Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce. V prípade záujmu môžeme požičať notebook Lenovo s OS Windows 7 a Linux - kontakt: P. Petrovič. | ||
Riadok 39: | Riadok 46: | ||
Pozri tiež: [[State Examinations for Bachelor Program in Applied Informatics - students for students starting in the academic year 2013/2014 or earlier|Štátne záverečné skúšky bakalárskeho programu Aplikovaná informatika - pre šudentov, ktorí začali štúdium v akademickom roku 2013/2014 alebo skôr]] | Pozri tiež: [[State Examinations for Bachelor Program in Applied Informatics - students for students starting in the academic year 2013/2014 or earlier|Štátne záverečné skúšky bakalárskeho programu Aplikovaná informatika - pre šudentov, ktorí začali štúdium v akademickom roku 2013/2014 alebo skôr]] | ||
− | # M. Základné kombinatorické konfigurácie. Binomické koeficienty. Princíp zapojenia a vypojenia. <br>P. | + | # M. Základné kombinatorické konfigurácie. Binomické koeficienty. Princíp zapojenia a vypojenia. <br>P. Prefixové stromy. Kompresia textov a Huffmanovo kódovanie. Porovnanie implementácií v rôznych jazykoch. <br>A. Správa pamäti: jednoduchá správa pamäti, virtuálna pamäť, stránkovanie, segmentovanie. Algoritmy výmeny stránok. |
# M. Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. (Ilustrovat na zakladnej teorii cisel. Delitelnost, prvociselnost, atd. ) Matematická indukcia. <br>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. <br>A. Bezpečnosť sietí – bezpečnostné problémy a mechanizmy na rôznych vrstvách – VLAN. | # M. Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. (Ilustrovat na zakladnej teorii cisel. Delitelnost, prvociselnost, atd. ) Matematická indukcia. <br>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. <br>A. Bezpečnosť sietí – bezpečnostné problémy a mechanizmy na rôznych vrstvách – VLAN. | ||
# M. Diskrétna pravdepodobnosť. Experiment a náhodný jav. Bernoulliho schéma. Podmienená pravdepodobnosť. Bayesova veta. <br>P. Efektívne realizácie dátových štruktúr Set a Multiset. Porovnanie implementácií v rôznych jazykoch. <br>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. | # M. Diskrétna pravdepodobnosť. Experiment a náhodný jav. Bernoulliho schéma. Podmienená pravdepodobnosť. Bayesova veta. <br>P. Efektívne realizácie dátových štruktúr Set a Multiset. Porovnanie implementácií v rôznych jazykoch. <br>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. | ||
Riadok 46: | Riadok 53: | ||
# M. Limita a spojitosť funkcii jednej reálnej premennej. <br>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. <br>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. | # M. Limita a spojitosť funkcii jednej reálnej premennej. <br>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. <br>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. | ||
# M. Derivácia funkcii jednej reálnej premennej a jej využitie pri vyšetrovaní priebehu funkcii. <br>P. Efektívna realizácia operácií prioritného frontu PriorityQueue. Porovnanie implementácií v rôznych jazykoch. <br>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. | # M. Derivácia funkcii jednej reálnej premennej a jej využitie pri vyšetrovaní priebehu funkcii. <br>P. Efektívna realizácia operácií prioritného frontu PriorityQueue. Porovnanie implementácií v rôznych jazykoch. <br>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. | ||
− | # M. Primitívna funkcia | + | # M. Primitívna funkcia a metódy jej výpočtu. <br>P. Algoritmy prechádzania stromových dátových štruktúr. Možnosti realizácie pomocou lazy algoritmov v rôznych jazykoch. <br>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. |
# 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. <br>P. Stromové dátové štruktúry. Rozdiely v implementácii pomocou dynamických dátových štruktúr v rôznych jazykoch. <br>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). | # 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. <br>P. Stromové dátové štruktúry. Rozdiely v implementácii pomocou dynamických dátových štruktúr v rôznych jazykoch. <br>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). | ||
− | # M. Deterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje). <br>P. Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, | + | # M. Deterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje). <br>P. Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, Dijkstrov algoritmus. Porovnanie implementácií v rôznych jazykoch. <br>A. Klientské vs. serverové webové aplikácie, princíp fungovania, vysvetlenie sieťovej komunikácie a jej spracovania. |
# M. Nedeterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje). <br>P. Asymptotická výpočtová zložitosť, notácia veľké O, amortizovaná zložitosť. <br>A. Synchronizácia procesov a vlákien – zdieľanie údajov, časová závislosť, vzájomné vylúčenie, kritická sekcia, deadlock, busy waiting. | # M. Nedeterministický konečný automat (definícia, konfigurácia, krok výpočtu, výpočet, jazyk, ktorý akceptuje). <br>P. Asymptotická výpočtová zložitosť, notácia veľké O, amortizovaná zložitosť. <br>A. Synchronizácia procesov a vlákien – zdieľanie údajov, časová závislosť, vzájomné vylúčenie, kritická sekcia, deadlock, busy waiting. | ||
# M. Turingov stroj, porovnanie s konečným automatom. Existuje jazyk, ktorý sa nedá rozpoznať žiadnym TS? <br>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. <br>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. | # M. Turingov stroj, porovnanie s konečným automatom. Existuje jazyk, ktorý sa nedá rozpoznať žiadnym TS? <br>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. <br>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. | ||
# 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. <br>P. Úloha abstraktného dátového typu, rozdiely v implementácii v rôznych jazykoch. <br>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. | # 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. <br>P. Úloha abstraktného dátového typu, rozdiely v implementácii v rôznych jazykoch. <br>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. | ||
[[Category:Bakalársky program Aplikovaná informatika]] | [[Category:Bakalársky program Aplikovaná informatika]] |
Verzia zo dňa a času 19:45, 10. júl 2020
Štátne záverečné skúšky,
študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium
Obsah
Garant: Doc. RNDr. Damas Gruska, PhD.
gruska 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.
Najlepšia bakalárska práca
Garant bakalárskeho štúdia udeľuje cenu za najlepšiu bakalársku prácu v danom akademickom roku.
O ocenení rozhoduje porota, pozostávajúca z vedúcich bakalárskych seminárov a z predsedov štátnicových komisií.
Okrem samotného titulu „Najlepšia bakalárska práca v Aplikovanej informatike za rok xxx“ získa autorka či autor i finančnú odmenu vo výške 100 Eur.
Dekan FMFI UK môže za prácu výnimočnej kvality udeliť cenu dekana za vynikajúcu bakalársku prácu.
Výsledné vyhodnotenie:
- Najlepšia bakalárska práca AIN 2020
- Najlepšia bakalárska práca AIN 2019
- Najlepšia bakalárska práca AIN 2018
Ú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 – odporúčania
- skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika – obsah.
Termín štátnej skúšky je zverejnený, koná sa na Katedre aplikovanej informatiky (miestnosť a čas budú upresnené 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.
Opravný termín štátnej skúšky sa spravidla koná koncom augusta. Aj bakalárske práce obhajované v tomto termíne je potrebné odovzdať načas.
Študenti si musia zabezpečiť vlastný notebook, na ktorom budú prezentovať svoje bakalárske práce. V prípade záujmu môžeme požičať notebook Lenovo s OS Windows 7 a Linux - kontakt: P. Petrovič.
Tí, čo si dávajú 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 z predmetu Aplikovaná informatika
Študent dostane jednu otázku, ktorá bude spravidla pozostávať z troch častí, každá z jedného z doleuvedených okruhov.
- 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. - 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. - 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. - 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. - 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í. - 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. - 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. - 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. - 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). - 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. - 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. - 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. - 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.