Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church-Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir.