انت هنا الان : شبكة جامعة بابل > موقع الكلية > نظام التعليم الالكتروني > مشاهدة المحاضرة
الكلية كلية تكنولوجيا المعلومات
القسم قسم البرامجيات
المرحلة 2
أستاذ المادة هبة محمد جعفر الخفاجي
01/10/2012 08:07:03
جمهورية العراق
وزارة التعليم العالي والبحث العلمي
جامعة بابل
كلية تكنولوجيا المعلومات
قسم البرامجيات
الدراسات الأولية وثق ما تفعل
وافعل ما توثق
إدارة الجودة الشاملة
رقم المقرر الدولي:
COTH201
Curriculum and Process Design Evidence
CAPDE(7-3-1.2.3.-02-01) العدد:
Course NO.: COTH201
استمارة خاصة لاطلاع الطلبة على المقرر التاريخ:
1 اسم المقرر Computation theory النوع فصلي X سنوي
اجباري: X اختياري:
2 عدد الوحدات 3 عدد الساعات الاجمالي 3 النظري 3 العملي
3 المرحلة الدراسية الثانية
4 اسم التدريسي هبه محمد جعفر
الشهادة واللقب العلمي ماجستير علوم حاسبات / مدرس
5 لغة تدريس المقرر انكليزي
برنامج المقرر
اولا المقدمة
On completion of this course, students will be able to explain the basic methods and conclusions of the Theory of Computation. They will be able to apply these methods to problems from different fields and be guided by the results in searching for computational solutions to the problems. In particular, students will be able understand these concepts carefully.
ثانيا اهداف المقرر
1. Memorize the Introductory to the Computational theory and Automata Languages.
2. Describe the basics of Set Notation.
3. Convert and system model to the BNF- Notation and to the Syntax Chart
4. develop the Equivalent Grammar, Type of Grammars, Context Sensitive Grammar
5. Determine the Context Free Grammar, Useless Symbols
6. Design models in Chomsky Normal Form CNF
7. Design models in Greibach Normal Form GNF
8. Remember Regular Grammars LEFT, RIGHT linear
9. Synthesize Finite State Automata with specific properties.
10. Discuss Nondeterminism NFA
11. Perform the Equivalent NFA with DFA
12. Perform the Equivalent DFA with Regular Grammar
13. Perform Equivalence Regular Grammar with NFA
14. Convert FA with and without Empty moves
15. Convert Equivalence NFA with and without Empty moves
16. Discuss Regular Expressions.
17. Analyze Equivalence of FA and Regular Expression
18. Convert between Tow Way FA s.
19. Use Turing Machines
20. Design Turing Machines
21. Analyze Turing Machines
ثالثا مفردات المقرر او المحتوى
INTRODUCTION TO COMPUTATION THEORY & SET THEORY Week 1
LANGUAGES Week 2
Finite state Automata Week 3
D. Finite state Automata Week 4
Nondeterministic FSA Week 5
Regular Expressions Week 6
Converting Regular expression into FSA Week 7
Formal languages Week 8
Syntax charts
BNF notation Week 9
grammars Week 10
Chomsky Normal form Week 11
Greibach Normal form Week 12
Kleene Theorem Week 13
Two-Way FA Week 14
TURING MACHINE Week 15
رابعا طرائق التدريس المعتمدة لتنفيذ المقرر
1- Lectures.
2- Discussion.
3- Interaction between the lecturer and the students by questions.
خامسا توزع درجات المقرر وفق لواحد أو أكثر مما يأتي
• homework assignments, quizzes
• Exams
1. Final exam
سادسا المصادر والمراجع - التسلسل حسب الأهمية - :
1. Daniel I. A. Cohen. Introduction to Computer Theory. 2nd ed .Wiley. 1996. ISBN-10: 0471137723 .
2. Sipser, Michael. Introduction to the Theory of Computation. 2nd ed. Boston, MA: Course Technology, 2006. ISBN: 0534950973.
3. Martin, John. Introduction to Languages and the Theory of Computation. New York, NY: McGraw Hill, 2002. ISBN: 0072322004.
4. Kozen, Dexter Automata and Computability .New York ,NY:Springer Verlag,1999.ISBN:0387949070.
اسم التدريسي: هبه محمد جعفر
التوقيع: رئيس القسم: د. صفاء عبيس
التوقيع:
المادة المعروضة اعلاه هي مدخل الى المحاضرة المرفوعة بواسطة استاذ(ة) المادة . وقد تبدو لك غير متكاملة . حيث يضع استاذ المادة في بعض الاحيان فقط الجزء الاول من المحاضرة من اجل الاطلاع على ما ستقوم بتحميله لاحقا . في نظام التعليم الالكتروني نوفر هذه الخدمة لكي نبقيك على اطلاع حول محتوى الملف الذي ستقوم بتحميله .
|