Tietojenkäsittelytiede
Formaalit kielet
Mikä on formaali kieli, aakkosto ja sana. Formaalien kielten teorian peruskäsitteet selitettyinä arkikieleen vertaamalla ja esimerkkien avulla.
Äärelliset automaatit
Äärellinen automaatti laskentamallina, jossa on tiloja ja siirtymiä. Määritelmä, tilakaavio, laskennan formalisointi ja esimerkkejä hyväksytyistä sanoista.
Automaattien minimointi
Äärellisen automaatin saavuttamattomat tilat, joihin ei pääse alkutilasta. Määritelmä ja ohje siihen, miten ne poistetaan automaatista turvallisesti.
Säännöllisten kielten sulkeumaominaisuudet
Säännölliset kielet ovat suljettuja yhdisteen, leikkauksen, konkatenaation ja Kleenen tähden suhteen. Mitä sulkeutuminen operaation suhteen tarkoittaa ja miksi se pätee säännöllisille kielille.
Säännölliset lausekkeet
Mikä on säännöllinen lauseke ja miten se kuvaa sanojen joukon. Määritelmä, vertailu aritmeettisiin lausekkeisiin ja yhteys äärellisiin automaatteihin.
Erilaisten arvojen määrän arviointi
Linear counting: miten suuresta datasta arvioidaan uniikkien arvojen lukumäärä. Tiivistefunktiot, bittikartat ja miksi naiivi menetelmä ei riitä.
Bloomin suodatin: onko alkio joukossa?
Bloomin suodatin on todennäköisyyspohjainen tietorakenne, joka vastaa nopeasti, onko alkio joukossa. Periaate, tiivistefunktiot ja käytännön käyttö.
Caesarin salakirjoitus
Miten Caesarin salakirjoitus toimii, yksi vanhimmista tavoista salata tekstiä. Kirjainten siirron periaate, salakirjoituksen yleistys ja verkkotyökalu salaamiseen.
Vigenèren salakirjoitus
Vigenèren salakirjoitus käyttää useita aakkostoja, joten se kestää frekvenssianalyysin. Salauksen periaate, Vigenèren neliö, avaimen valinta ja työkalu.
