Tälle sivulle on koottu Helsingin yliopiston tietojenkäsittelytieteen laitoksen laskennan teorian opintopiirin kirjallisia töitä keväältä 2014.
Sebastian Björkqvist: Kolmogorov-kompleksiteetti
Sebastian Björkqvist: Rekursiolause
Anna Haataja: Rekursiiviset funktiot
Anna Haataja: Turingin kone
Tuomas Hakoniemi: Chomskyn hierarkia
Joonas Järvenpää ja Topi Talvitie: NP-täydellisyys
Mikko Kangasmäki: Äärellisten automaattien minimointi
Jarno Leppänen: Tilavaativuus ja Savitchin lause
Topi Paavilainen: Satunnaisalgoritmit
Annika Piiroinen ja Kalle Viiri: Lambda-kalkyyli