Turing Makineleri; özyineli kümeler and Turing hesaplanabilirliği; çözülebilen ve çözülemeyen problemler; hesapsal karmaşıklığın temel kavramları ve NP kümesini tanımlayan temel problemler.