Turing Makinaları; ö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.