Sylabus sa skladá zo spoločnej časti vzťahujúcej sa na všetky okruhy otázok v tejto štátnici a z vymedzenia rozsahu otázok pre jednotlivé tématické celky.

Formálne prerekvizity: ÚINF/AFJ1a/03, ÚINF/PAZ1b/03, ÚINF/OSY1/03, ÚINF/PSE1/03, ÚINF/SLO1a/06

Priebeh skúšky: Ústný pohovor pozostávajúci z dvoch otázok (doplňujúca otázka môže byť z ľubovoľnej časti sylabu).

Spoločná časť sylabu.

Pre úspešné vykonanie tejto štátnej skúšky je treba vedieť definície, vety a dôkazy v rozsahu jednotlivých tém. Naviac musí uchádzač preukázať schopnosť integrovať poznatky z jednotlivých oblastí, napr. vysvetliť jednoduché súvislosti medzi niektorými oblasťami informatiky a matematiky, ako napr. formálne jazyky, databázy a dotazovacie jazyky, rekurzívne predikáty, logika, matematická analýza a algebra. Očakáva sa, že uchádzač ovláda informatickú motiváciu matematických modelov a ich aplikácie.

Automaty a formálne jazyky:

Chomského hierachia jazykov a gramatík. Konečnostavový automat, regulárne zobrazenia, konštrukcia redukovaného automatu. Konečnostavové akceptory, nedeterministické akceptory. Regulárne výrazy. Uzáverové vlastnosti triedy regulárnych jazykov.

Programovanie, algoritmy a zložitosť:

Trieda a objekt ako prostriedok na zgrupenie viacerých premenných (paralela recordu), grafická trieda trojuholník, štvorec, (metódy ukaz, skry, presun, zmenFarbu, ...., konštruktor, preťažovanie metód), kompozícia objektov (objekt dom ako kompozícia štvorcov a trojuholníka). Interface ako intuitívny prostriedok abstrakcie, interface ako parameter a referencia, pole objektov implementujúcich daný interface. Dedenie, prekrývanie metód polymorfizmus – možno využit prekrývanie a dopĺňovanie metód triedy kresliaceho pera, (dedenie ako prostriedok prispôsobenia a rozšírenia existujúcich objektov), pole polymorfných objektov, abstraktná trieda „grafický objekt“. Rekurzia (rekurzia vo fraktáloch, prepis známych funkcií do rekurzívnej formy). Triedenie (O a Omega-notácie, MinSort - triedenie čísel , MinSort - triedenie objektov, QuickSort, strom v poli, HeapSort, MergeSort). Údajové štruktúry (zásobník a rad, a ich využitie pri riešení niektorých úloh). Stromy (prehľadávanie stromov, binárne vyhľadávacie stromy). Backtrack (generovanie variácií a problém delenia lupu, backtrack všeobecne a v úlohách, orezávanie backtracku). Rozdeľuj a panuj, dynamické programovanie, princíp a príklady. Prehľadávanie textov (KMP algoritmus). Grafy a základné grafové algoritmy (grafy a ich reprezentácie, testovanie súvislosti grafu, prehľadávanie do hĺbky a prehľadávanie do šírky, kostra grafu, najkratšie cesty v grafe, Dijkstrov algoritmus, FW algoritmus). Greedy algoritmy (Najlacnejšia kostra, TopSort).

Operačné systémy:

Štruktúra a funkcie operačného systému. Vytváranie obrazu úlohy a jej vykonanie. Charakteristiky druhov OS a ich historický vývoj. Multiprogramové prostredie, prepínanie kontextu, prerušenia, zdieľanie času, interaktivita. Proces, správa procesov, stratégie prideľovania, komunikácia medzi procesmi, klasické problémy konkurencie a ich riešenia (vzájomné vylúčenie, uviaznutie, vyhladovanie). Správa pamäte, relokácia, segmentácia, stránkovanie, virtualizácia pamäte. Riadenie vstupno-výstupných zariadení, systémové ovládače, prideľovanie zdrojov. Organizácia externých pamätí - so sekvenčným i s priamym prístupom. Súbor, súborový systém, základné funkcie systému pre prácu so súbormi, adresáre, bezpečnosť a ochrana prístupovými právami.

Počítačové siete:

1. Spôsoby pripojenia k internetu, straty a zdržania paketov, referenčný model TCP/IP a rodina protokolov TCP/IP 2. Aplikačná vrstva: aplikačné protokoly, Web a HTTP, protokol FTP, e-maily a SMTP, POP3, IMAP 3. Aplikačná vrstva: doménové mená a DNS, Peer-to-peer aplikácie, úvod do bezpečnosti počítačových sietí 4. Transportná vrstva: UDP, úvod do potvrdzovaného prenosu dát 5. Transportná vrstva: TCP, nadviazanie a ukončenie spojenia, potvrdzovaný prenos dát, kontrola toku dát, kontrola zahltenia, spravodlivosť rozdelenia pásma 6. Sieťová vrstva - Virtuálne okruhy vs. sieť riadená datagramami, internetový protokol IPv4, fragmentácia IP datagramov, smerovacia tabuľka, aplikačný protokol DHCP 7. Sieťová vrstva - preklad adries NAT, protokol ICMP, sieťový protokol IP verzie 6 (IPv6) 8. Sieťová vrstva - princípy smerovacích algoritmov, smerovacie protokoly, broadcast, multicast 9. Spojová vrstva - odhaľovanie chýb, viacnásobný prístup k zdieľanému spoju CSMA/CD and CSMA/CA, MAC adresy, ethernetový rámec 802.3, ARP, RARP 10. Spojová vrstva a bezdrôtový prenos a mobilita - opakovače, prepínače, virtuálne siete VLAN, WiFi 802.11, Bluetooth 802.15, WiMAX 802.16, Mobile IP, mobilita v GSM 11. Fyzická vrstva - digitálny prenos, modulovaný prenos

Symbolická logika:

Základné pojmy predikátorovej logiky - výrazy, voľné a viazané premenné, ohodnotenie premenných, logické axiómy, odvodzovacie pravidlá, dôkazy, vety o substitúcii, o nahradzovaní per partes, o korektnosti odvodzovania, o výbere kvantifikátorov.