Cookteoreması (yamasa Cook-Levinteoreması) teoriyalı qinformatika hámesaplaw teoriyasında ǵıáhmiyetli nátiyjelerden biri. Stephen Arthur Cook - kanadalı matematik hám kompyuter ilimleri alımı, esaplaw teoriyasınıń rawajlanıwına úlken úles qosqan