Bu hesaplamaların karmaşıklığı kuramı üzerine ileri seviyede bir derstir. Ders, temel hesaplama modellerini ve bunların karmaşıklık ölçütlerini, bunların arasındaki ilişkileri, karmaşıklık sınıfları ve bunların arasındaki ilişkileri, problem dönüşümleri ve tam problemler gibi konuları içerecektir. Ayrıca, algoritmaların etkinlikleri hakkındaki alt sınırların bulunması için yöntemler, karar ağaçları, düz programlar, karşılıklı iletişim oyunları, Olasılıksal Rastgele Erişimli Makineler (PRAMs), ikili devreler gibi modeller ve yaklaşık algoritmalar ve yaklaştırmanın karmaşıklığı, kriptografi gibi konular da incelenecektir.