مرجع دانلود پاورپوینت های درسی

حجم فایل : 431.2 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 57
بنام خدا نظریه زبان ها و ماشین ها فصل صفر- مقدمه مراجع درس مرجع اصلی:
M. Sipser, ”Introduction to the Theory of Computation,” 2nd Ed., Thompson Learning Inc., 2006.
مراجع کمکی:
P. Linz, “An Introduction to Formal Languages and Automata,” 3rd Ed., Jones and Barlett Publishers, Inc., 2001.
J.E. Hopcroft, R. Motwani and J.D. Ullman, “Introduction to Automata Theory, Languages, and Computation,” 2nd Ed., Addison-Wesley, 2001.
P.J. Denning, J.B. Dennnis, and J.E. Qualitz, “Machines, Languages, and Computation,” Prentice-Hall, Inc., 1978. نیمسال دوّم 87-86 سیاست نمره دهی درس
تمرینات %10
کوییزهای کوتاه مربوط به تمرینات %15
کوییز های عمومی درس 45%
آزمون پایان نیمسال %30 نیمسال دوّم 87-86 نیمسال دوّم 87-86 نظریه پیچیدگی دانش رده بندی مسائل بر اساس سختی محاسباتی
برای غلبه بر پیچیدگی چه می توان کرد؟
تغییر مسئله پس از کشف که عامل دشواری آن
تقریب زدن راه حل مسئله
ارائه روش هایی که در حالت متوسط عملکرد خوبی دارند؛
استفاده از روش های تصادفی
کاربردها
به عنوان مثال در رمزنگاری، هدف این است که رمزگشایی با توان محاسباتی مهاجم غیرممکن باشد. نیمسال دوّم 87-86 عناوین مورد بحث نظریه پیچیدگی
نظریه محاسبه پذیری
نظریه ماشین ها
مبانی ریاضی
الفبا
رشته ها
زبان ها


نیمسال دوّم 87-86 نظریه محاسبه پذیری ماشین ها چه مسائلی را می توانند حل کنند؟
رده بندی مسائل در دو گروه قابل محاسبه و غیرقابل محاسبه

مدل های نظری برای ماشین ها
به علت قدرتمندی مدل هایی مانند RAM یا ماشین تورینگ اثبات این که چه مسائلی را می توانند حل کنند دشوار است. نیمسال دوّم 87-86 نظریه ماشین ها تعریف و ویژگی های مدل های ریاضی محاسبه
مدل ماشین حالت متناهی
در پردازش متن، کامپایلرها و طراحی سخت افزار کاربرد دارد.
مدل ماشین پشته ای
در زبان های برنامه سازی و هوش مصنوعی کاربرد دارد.
Logic انواع منطق Propositional logic منطق کامل


Predicate logic منطق مُسندی
نیمسال دوّم 87-86 تعريف منطق Syntax
مجموعه اي از متغيرها و انواع عملگرها
{p, q, r, …} متغيرها
و
} , ν, →, ↔^{┐, عملگرها

Semantic
معنايي که توسط جدول درستي براي دنباله اي از نمادها به تعداد محدود بار، به
همراه يک Syntax خاص، تعريف مي شود. نیمسال دوّم 87-86 تعاريف فرمول : دنباله اي محدود از نمادها به تعداد محدود بار به همراه يک Syntax خاص

Logical System: مجموعه اي از اصول و قواعد استنتاج

اصول (axioms): گزاره هايي از منطق مورد نظر که هميشه درست است، تعداد آنها مي ت...