Kursuse eesmärgiks on tutvustada kuulajatele arvutatavuse mõistet ning ülesannete algoritmilise lahendatavuse piire. Tuua näiteid mittelahenduvatest ülesannetest. Esitada sissejuhatus formaalsete keelte ja automaatide teooriasse.
Kursuse läbinu peaks omandama
* Mõned praktilised ,,oskused'' nagu
- kasutada praktiliselt lahenduvate ülesannete korral efektiivseid algoritme
- hoiduda raskesti lahenduvatest või mittelahenduvatest ülesannetest
- uurida algoritmide efektiivsust ja ülesannete lahenduvust
* Matemaatilised teadmised
- ülevaade automaatide teooriast
- ülesannete keerukusklassidest
- rekursiooniteooriast
* Eelteadmised arutlemaks filosoofilistel teemadel
- Mis on arvutamine? (Mis on algoritm?)
- Mida tähendab: ,,Väide on tõestatav''?
- Õpetaja/Teacher: Jaan Penjam