پاورپوینت پاورپوینت نظریه زبان ها و ماشین ها (pptx) 84 اسلاید

دسته بندی : پاورپوینت

نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )

تعداد اسلاید: 84 اسلاید

قسمتی از متن PowerPoint (.pptx) :

نظریه زبان ها و ماشین ها مراجع درس مرجع اصلی: 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. P.J. Cameron, “Sets, Logic and Categories,” Springer-Verlag, London limited, 1998. 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف سیاست نمره دهی درس تمرینات %15 ارائه تحقيقاتي %10 کوییز 1 عمومی درس %20 کوییز 2عمومی درس %25 آزمون پایان نیمسال %30 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف نظریه پیچیدگی دانش رده بندی مسائل بر اساس سختی محاسباتی برای غلبه بر پیچیدگی چه می توان کرد؟ تغییر مسئله پس از کشف که عامل دشواری آن تقریب زدن راه حل مسئله ارائه روش هایی که در حالت متوسط عملکرد خوبی دارند؛ استفاده از روش های تصادفی کاربردها به عنوان مثال در رمزنگاری، هدف این است که رمزگشایی با توان محاسباتی مهاجم غیرممکن باشد. 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف عناوین مورد بحث نظریه پیچیدگی نظریه محاسبه پذیری نظریه ماشین ها مبانی ریاضی الفبا رشته ها زبان ها 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف نظریه محاسبه پذیری ماشین ها چه مسائلی را می توانند حل کنند؟ رده بندی مسائل در دو گروه قابل محاسبه و غیرقابل محاسبه مدل های نظری برای ماشین ها به علت قدرتمندی مدل هایی مانند RAM یا ماشین تورینگ اثبات این که چه مسائلی را می توانند حل کنند دشوار است. 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف نظریه ماشین ها تعریف و ویژگی های مدل های ریاضی محاسبه مدل ماشین حالت متناهی در پردازش متن، کامپایلرها و طراحی سخت افزار کاربرد دارد. مدل ماشین پشته ای در زبان های برنامه سازی و هوش مصنوعی کاربرد دارد. Logic A Brief History of Logic Definition: Logic is the science of the formal principles of reasoning. Logic was known as 'dialectic' or 'analytic' in Ancient Greece. The word 'logic' (from the Greek logos, meaning discourse or sentence) does not appear in the modern sense until the commentaries of Alexander of Aphrodisias, writing in the third century A.D. 88 نیمسال اوّل نظریه زبان ها و ماشین ها دانشگاه صنعتی شریف