Príklady základných pojmov
- dôkazové techniky:
pojem dôkazu, dôkazy: priamy, nepriamy, sporom, indukciou
chápať syntax a sémantiku pojmu "korektný dôkaz" a rozumieť štruktúre
jednotlivých typov dôkazu
- matematické základy:
operácie s výrazmi a maticami, pojem limity a asymptotická notácia,
základné kombinatorické vzťahy, sumy a rekurencie, zkladné definície a
vzťahy teórie pravdepodobnosti
rozumieť základným technikám používaným v dôkazoch a byť schopný ich aktívne
používať
- základy teórie algoritmov:
modely výpočtov a vzťahy medzi nimi (RAM, Turigove stroje), základy
formálnych jazykov
ovládať základné pojmy, definície modelov a mier zložitosti, byť schopný
formálne zapísať algoritmy
- programátorské schopnosti:
programovacie jazyky (C/C++/Java), implementácia základných algoritmov a
dátových štruktúr, programovanie vlákien, OOP, event-driven architektúra
byť schopný programovať v niektorom z jazykov, implementovať aj náročnejšie
algoritmy a dátové štruktúry a poznať základné programátorské techniky
- základy operačných systémov, sietí a databáz:
základné pojmy OS a sietí, znalosť SQL
byť schopný napísať aj zložitejšie SQL dotazy a mať základný prehľad o
súčasných OS a ich architektúre a o komunikačných protokoloch