کتاب Logic And Language Models For Computer Science

کتاب Logic And Language Models For Computer Science (مدل‌های منطق و زبان برای علوم کامپیوتر، ویرایش چهارم) از جدیدترین منابع آموزشی در حوزه‌ی علوم رایانه است که در دو بخش مختلف به شرح مدل‌های منطقی و زبان برای علوم کامپیوتر خواهد پرداخت.

در ادامه مقدمه‌ای از کتاب Logic And Language Models For Computer Science را از زبان نویسنده شرح خواهیم داد.

مقدمه‌ای بر کتاب Logic And Language Models For Computer Science:

این خلاصه منحصر به فرد تئوری محاسبات، به ویژه منطق و نظریه خودکار را برجسته می‌کند. تاکید ویژه بر کاربردهای علوم کامپیوتر از جمله ثابت‌های حلقه، صحت برنامه، برنامه‌نویسی منطقی و تکنیک‌های اثبات الگوریتمی است.

این حجم مبتکرانه با کتاب‌های درسی استاندارد، با ایجاد مفاهیم به ترتیبی متفاوت، با استفاده از قضایای کمتر با اثبات‌های ساده‌تر، متفاوت است. بسیاری از مثال‌ها، مشکلات و پاسخ‌های جدید را اضافه کرده است. می‌توان از آن به عنوان متن مقطع کارشناسی در اکثر دانشگاه‌ها استفاده کرد.

پیشگفتار چاپ چهارم کتاب Logic And Language Models For Computer Science

تغییرات زیادی در آن گنجانده شده است. مثال‌ها، مشکلات و پاسخ‌های جدید اضافه شده است. تغییرات در ویرایش سوم به طور کامل محقق نشد و اکنون در جهت رضایت‌بخش‌تری اتخاذ شده است. در فصل 3، بحث قواعد استنتاج به گونه ای تنظیم شده است که انگیزه و سودمندی را در ارائه ای روان تر ترکیب کند. در فصل 7، ما غیر جبرگرایی را در ارائه‌ای با محوریت آموزشی بیشتر معرفی کرده‌ایم.

در فصل 8، با معرفی یک مدل پل زدن جدید بین عبارات منظم و گرامرهای منظم، بحث در مورد تکنیک‌های تولیدی را ساده تر کرده ایم. این امر معادل سازی دو رویکرد کلاسیک را ساده می‌کند. در فصل 11، مدل PDA معمولی را به عنوان یک مدل یک حالته تغییر داده ایم. این امکان یک هم ارزی بی اهمیت را بین مدل‌های دستوری و ماشینی فراهم می‌کند (که مستقیماً با تکنیک مورد استفاده برای زبان‌های معمولی مشابه است). به طور خلاصه، ما دوباره تعداد قضایا را کاهش دادیم و برهان‌ها را ساده کردیم.

سرفصل‌های کتاب Logic And Language Models For Computer Science:

• Contents
• Preface
• About the Author
• 1 Mathematical Preliminaries
• Part I Logic for Computer Science
  • Introduction to Part I: Logic for Computer Science
  • 2 Propositional Logic
  • 3 Proofs by Deduction
  • 4 Predicate Logic
  • 5 Proofs with Predicates
  • 6 Program Verification
• Part II Language Models for Computer Science
  • Introduction to Part II: Language Models for Computer Science
  • 7 Language and Models
  • 8 Generating Regular Languages
  • 9 Finite Automata
  • 10 Context-Free Grammars
  • 11 Pushdown Automata and Parsing
  • 12 Turing Machines
• Appendix A: Logic Programming
• Appendix B: The AWK Language
• Answers to Selected Problems
• Bibliography
• Index

جهت دانلود کتاب Logic And Language Models For Computer Science می‌توانید پس از پرداخت، دریافت کنید.