Theory of Computing

يتناول هاذا المقرر المفاهيم الاساسية في نظرية الحوسبة, مثل الالات المحددة (Finite Automata), القواعد واللغات الشكلية , والات تورنغ(Turing Machines) . يهدف المقرر إالى فهم حدود ما يمكن حوسبته, وما إذا كانت المسائل قابلة للحل باستخدام الحاسوب, مما يشكل الاساس النظري لعلوم الحاسب