Äärellisten mallien teoria on matemaattisen logiikan osa-alue, jossa tutkitaan erilaisten loogisten kielten ilmaisuvoimaa äärellisten matemaattisten struktuurien (eli mallien) luokassa. Äärelliset mallit ovat puolestaan keskeisessä asemassa tietojenkäsittelyopin teoriassa: esimerkiksi relaatiotietokanta voidaan tulkita äärelliseksi malliksi, ja vastaavasti tietokantakyselykieli voidaan tulkita loogisena kielenä, jolla määritellään tietokannassa uusia relaatioita.
Kurssilla esitellään äärellisten mallien teorian tärkeimpiä loogisia kieliä (eli logiikoita), sekä perehdytään malliteoreettisiin työkaluihin, joiden avulla logiikoiden ilmaisuvoimaa voidaan tutkia. Erityisesti käydään läpi ns. Ehrenfeucht-Fraisse -pelin erilaisia versioita.