فرمت فایل: پاورپوینت - ppt  

کتاب سبز - قابل ویرایش ) 

تعداد اسلاید : 84
نظریه زبان ها و ماشین ها مراجع درس مرجع اصلی: 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 نیمسال اوّل 88 نیمسال اوّل Logic A Brief History of Logic A Brief History of Logic A Brief History of Logic Modern Logic Modern Logic Logic Types of Interest Syntax of Propositional Logic Semantics of Propositional Logic Examples: (φ  ψ) Examples: (φ  ψ) Examples: (φ → ψ) Examples: (φ ↔ ψ) Example: (¬φ) Other Definitions Examples Formal System Proof Theorem A Formal System for Propositional Logic Example of a Theorem Example of a Proof Soundness and Completeness Predicate Quantifiers Quantifiers: Negation قواعد استنتاج Direct Proof Indirect Proof Proof by Contradiction Proof By Cases Constructive Existence Proof اثبات با استقراء Non-Constructive Existence Proof Intuitive (Naïve) Set Theory Membership Extension Abstraction Intuitive versus axiomatic set theory  Russell’s Paradox Gottlob Frege’s Comments Power Set Set Operation-Union Set Operation-Intersection Set Operation-Complement Ordered Pairs and n-tuples Ordered Sets and Set Products Relations Types of Relations on Sets Partial Order and Equivalence Relations Total Ordering Inverse Relation Equivalence Class Functions Functions (continued) Functions (continued) Cardinality Cardinality (continued) Finite and Infinite Sets Some Properties Some Properties Some Properties *1-1 correspondence Q↔N Countable Sets Diagonal Argument Uncountable Sets Transfinite Cardinal Numbers 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل 88 نیمسال اوّل

قسمتی از متن بالا پروژه میباشد که به صورت نمونه ، بعد از پرداخت آنلاین در جزوه باز آنی فایل را دانلود نمایید .

  

 « پرداخت آنلاین و دانلود در قسمت پایین »