حاسب424

الرمز

اسم المقرر

حاسب 424

نظريات حوسبة

الوحدات الدراسية المعتمدة

المتطلبات السابقة

معتمد

تدريب

عملي

نظري

حاسب 212
حاسب 222

3

0

0

3

توصيف المقرر

يهدف هذا المقرر إلى تعريف الطالب بفكرة نظرية الحاسبات وكذلك تعريفه بفكرة الآلية واللغة والقواعد وأنواعها كلها.

محتويات المقرر

- توضيح مفهوم نظرية الحاسبات وأهميتها.
- القواعد المختلفة.
- الآليات المختلفة.
- اللغات المختلفة.
- التعبيرات المنظمة.

مخرجات المقرر

عند إنهاء المقرر يكون لدى الطالب و الطالبة:

§ معرفة أنواع اللغات.

§ كتابة قواعد بأنواع مختلفة.

§ استنتاج جملة من قاعدة واستنتاج لغة.

§ تصميم آلية متناهية.

§ تحليل آلية متناهية.

§ تصميم آلية الدفع السفلي.

§ تحليل آلية الدفع السفلي.

§ تصميم التيورينج.

§ تحليل آلية التيورينج.

§ معرفة تقسيم تشومسكي للقواعد.

§ معرفة مفهوم التحاسبية.

§ معرفة المسائل غير المحلولة.

المراجع

- Dexter C. Kozen," Theory of Computation", 1st edition, 2006, Springer, ISBN 1846282977.

- Michael Sipser ," Introduction to the Theory of Computation", 2nd Edition, 2005, Course Technology, ISBN0534950973.