کتاب Logic and Language Models for Computer Science اثر Dana Richards AND Henry Hamburger انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این خلاصه منحصر به فرد تئوری محاسبات، به ویژه منطق و نظریه خودکار را برجسته می کند. تاکید ویژه بر کاربردهای علوم کامپیوتر از جمله ثابت‌های حلقه، صحت برنامه، برنامه‌نویسی منطقی و تکنیک‌های اثبات الگوریتمی است. این جلد ابتکاری با کتاب‌های درسی استاندارد، با ایجاد مفاهیم به ترتیبی متفاوت، با استفاده از قضایای کمتر با اثبات‌های ساده‌تر، متفاوت است. بسیاری از مثال ها، مشکلات و پاسخ های جدید را اضافه کرده است. می توان از آن به عنوان متن مقطع کارشناسی در اکثر دانشگاه ها استفاده کرد.
نویسنده
Dana Richards AND Henry Hamburger
ناشر
مؤلفین طلایی
موضوع
کامپیوتر
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
497
