نام پژوهشگر: علی عامری مهر

بررسی حدس کوک از دیدگاه هندسه
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم ریاضی 1391
  علی عامری مهر   مجید میرزاوزیری

مهمترین مساله در علوم کامپیوتر و یکی از مسایل مهم قرن ریاضی اثبات یا رد حدس استیفن کوک است. این اهمیت از آنجا ناشی می شود که با اثبات یا رد این حدس دنیای علوم کامپیوتر و تمام شاخه هایی از ریاضیات که با این شاخه در ارتباطند، با تحولی عظیم روبرو می گردند. در این طرح رهیافتی هندسی به ایم مساله در پبش گرفته شده است.