Informatika
Formális nyelvek
Mi a formális nyelv, az ábécé és a szó. A formális nyelvek elméletének alapfogalmai a hétköznapi nyelvvel való összehasonlításon és példákon keresztül.
Véges automata
A véges automata mint állapotokból és átmenetekből álló számítási modell. Definíció, állapotdiagram, a számítás formalizálása és példák az elfogadott szavakra.
Az automata minimalizálása
A véges automata elérhetetlen állapotai, amelyekbe a kezdőállapotból nem juthatunk el. A definíció és az eljárás, amellyel biztonságosan eltávolíthatók az automatából.
Reguláris nyelvek
A reguláris nyelvek zártak az egyesítésre, a metszetre, az összefűzésre és a lezárásra. Mit jelent a műveletre való zártság, és miért igaz ez a reguláris nyelvekre.
Reguláris kifejezések
Mi az a reguláris kifejezés, és hogyan ír le szavak halmazát. Definíció, összehasonlítás az aritmetikai kifejezésekkel és a kapcsolat a véges automatákkal.
Az egyedi értékek száma
Linear Counting: hogyan becsüljük meg az egyedi értékek számát nagy adathalmazokban. Hash-függvények, bittérképek, és miért nem elég a naiv megoldás.
Bloom-szűrő
A Bloom-szűrő valószínűségi adatszerkezet, amely gyorsan megmondja, hogy egy elem benne van-e a halmazban. Működési elv, hash-függvények és gyakorlati használat.
Caesar-rejtjel
Hogyan működik a Caesar-rejtjel, a szöveg titkosításának egyik legrégebbi módja. A betűeltolás elve, a rejtjel általánosítása és online titkosító eszköz.
Vigenère-rejtjel
A Vigenère-rejtjel több ábécét használ, ezért ellenáll a gyakoriságelemzésnek. A titkosítás elve, a Vigenère-négyzet, a kulcs megválasztása és online eszköz.
