کتاب 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 می‌توانید پس از پرداخت، دریافت کنید.

توضیحات تکمیلی

فرمت کتاب

PDF

ویرایش

Fourth

ISBN

9789811260681

تعداد صفحات

497

انتشارات

سال انتشار

حجم

11.18 مگابایت

نویسنده

,

هیچ دیدگاهی برای این محصول نوشته نشده است.

اشتراک‌گذاری:

جزئیات بیشتر و خرید محصول:

۲۸,۰۰۰ تومان

دسته بندی کتاب‌ها:

دیگر محصولات:

نماد اعتبار ما:

آدرس: اصفهان، فلکه ارتش

 

پشتیبانی از ساعت 18 تا 22: 09392868101

© کليه حقوق محصولات و محتوای اين سایت متعلق به مدیر سایت می‌باشد و هر گونه کپی‌برداری از محتوا و محصولات سایت پیگرد قانونی دارد.