دانلود کتاب Logic Programming: Operational Semantics and Proof Theory
49,000 تومان
برنامه نویسی منطقی: معناشناسی عملیاتی و نظریه اثبات
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 116 |
| حجم فایل | 681 کیلوبایت |
| کد کتاب | 9780521432191,9780511526534,052160754X,0521432197,0511526539,9780521607544 |
| نوبت چاپ | ویرایش جدید |
| نویسنده | James H. Andrews |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1993 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه نویسی منطقی: معناشناسی عملیاتی و نظریه اثبات
دکتر اندروز در اینجا یک درمان همگن از معناشناسی (عملیاتی و منطقی) هر دو زبان برنامه نویسی منطق نظری و عملی ارائه می دهد. او نشان می دهد که چگونه می توان شکاف بین تئوری و عمل در برنامه نویسی منطقی را پل زد. این امر با توصیف دقیق روشی به دست می آید که در آن جستجوی «اول در عمق» برای راه حل های یک فرمول منطقی – استراتژی معمول در بیشتر زبان های عملی – ناقص است. زبانهایی که جستجوهای «اول وسعت» را انجام میدهند، تئوری زیربنای زبانهای برنامهنویسی منطقی را بیشتر منعکس میکنند. محققان علاقه مند به برنامه نویسی منطقی یا معناشناسی، و همچنین استراتژی های جستجوی هوش مصنوعی، می خواهند از این کتاب به عنوان تنها منبع برای برخی ایده های ضروری و جدید در این زمینه استفاده کنند.
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which ‘depth-first’ search for solutions to a logical formula – the usual strategy in most practical languages – is incomplete. Languages that perform ‘breadth-first’ searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Hands-On Blockchain for Python Developers: Gain blockchain programming skills to build decentralized applications using Python
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Packt Publishing |
| تعداد صفحه | 450 / 436 |
| حجم فایل | 14.16 مگابایت |
| کد کتاب | 1788627857 , 9781788627856 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.