Cieľom skúšky je, aby absolvent preukázal prehľad v širšej tematike a dokázal vidieť súvislosti medzi jednotlivými čiastkovými výsledkami. Zároveň má ukázať, že jeho vedomosti nie sú povrchné a v princípe rozumie technickým detailom jednotlivých výsledkov (nie je cieľom namemorovať zoznam tvrdení s dôkazmi, ale porozumieť im a vedieť domyslieť štandardné technické kroky).
Od uchádzača sa očakáva znalosť základných pojmov z matematiky a informatiky na úrovni, ktorá je nevyhnutná pri uvažovaní o jednotlivých otázkach. To vyžaduje porozumenie a schopnosť používať pojmy ako dôkaz, riešiteľnosť, zložitosť, axiomatický systém, ... (napríklad)
Predpokladá sa, že uchádzač je schopný demonštrovať porozumenie pojmom, metódam a tvrdeniam uvedením a riešením jednoduchých príkladov.
Pri odpovedi na jednotlivé otázky sa očakáva základná matematická kultúra pri formulovaní a argumentovaní a schopnosť uchádzača prezentovať svoje odpovede na rôznych úrovniach podrobnosti vo vhodnom formalizme alebo pseudokóde.
Štátnu skúšku je možné absolvovať v jednom zo štyroch variantov (A, B, C, D), ktorých charakteristika a pokrytie vyučovanými predmetmi je uvedené nižšie. Predmety uvedené tučným písmom sú považované za ťažiskové, čo znamená, že budú skúšané do väčšej hĺbky ako predmety uvedené normálnym písmom.
Variant A
je určený
pre študentov, ktorí si chcú prehĺbiť vedomosti
z matematiky a teoretickej informatiky a chcú ich
využívať pre formuláciu a riešenie problémov
informatiky, najmä na ochranu informácie. Prakticky
zamerané predmety variantu A poskytujú znalosti, ktoré
umožňujú aplikovať získané teoretické
poznatky na riešenie úloh, ktoré prináša
prax.
Variant B
je určený
pre študentov so záujmom o praktické aplikácie
informatiky a získanie schopnosti formálne modelovať
ich algoritmické aspekty a analyzovať ich zložitosť.
Variant C
je určený
pre študentov so záujmom o tvorbu algoritmov,
analyzovanie ich zložitosti a teoretické a praktické
aspekty riešenia ťažkých problémov pomocou
aproximácie, paralelizmu a randomizácie.
Variant D
je určený
pre študentov so záujmom o praktické aplikácie
informatiky a získanie schopnosti formálne ich
špecifikovať a zdôvodňovať ich správnosť.