المقرر الدراسي للفصل الاول لمادة الاحتسابية

خطة تقديم المقرر لمادة النظرية الاحتسابية المرحلة الثانية 2017-2018
قسم علوم الحاسوب كلية العلوم للبنات جامعة بابل
اسم الاستاذ: مدرس محمد عبيد مهدي
اسم المقرر: النظرية الاحتسابية Computation Theory
عدد الساعات: 4 ساعة
تاريخ تقديم الخطة: 1-9-2017
مفردات المقرر
الكتاب الرئيسي: introduction to computation theory 2017
متوفر في الموقع
thttp://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf
الكتاب المساعد:
Introduction to the Theory of Computation 2006

متوفر في الموقع
http://fuuu.be/polytech/INFOF408/Introduction-To-The-Theory-Of-Computation-Michael-Sipser.pdf
ملاحظات عامة لتحقيق افضل اداء من دراسة المقرر
1- تغلق جميع الهواتف قبل دخول القاعة
2- لا يسمح بدخول القاعة بعد دخول الاستاذ وبعد المحاضرة
3- لا يوجد املاء خلال المحاضرات ويمكن للطالبة تسجيل الملاحظات التي ترغب في تدوينها
4- اضافة درجتين للسعي للطالبة التي لم تغب( التي حضرت جميع المحاضرات)
5- سيكون هناك امتحانين بنظام المودل وامتحانين ورقي
6- تقسيم درجة السعي 10 درجة لكل امتحان مودل و10 درجة لكل امتحان ورقي و10 درجة لنشاط الطالبة فبكون المجموع 50 درجة للسعي النهائي



خطة توزيع مفردات المقرر الفصل الاول
1- STE THEORY
2- ALPHABET AND STRINGAND BASIC CONCEPTS
3- GRAMMARS
4- TYPES OF GRAMMARS
5- SYNTAX CHART
6- BNF
7- EXAM1
8- DERIVATION AND PARSE TREE
9- AMBIGUOUS GRAMMAR
10- SIMPLIFICATION OF CFG
11- CHOMOSKY NORMAL FORM
12- EXAM2
13- GREIBACH NORMAL FORM
14- REGULAR GRAMMAR
15- REGULAR EXPRESIONS