Μηχανές Turing, υπολογισιμότητα, πολυπλοκότητα χρόνου, πολυπλοκότητα χώρου, κλάσεις πολυπλοκότητας, αναγωγές, NP-completeness, coNP, πιθανοκρατικές κλάσεις πολυπλοκότητας, η πολυωνυμική ιεραρχία, προβλήματα μέτρησης, #P, συστήματα αποδείξεων, ψευδοτυχαιότητα, συναρτήσεις μονής κατεύθυνσης.