کتاب Logic and Computation اثر Răzvan Diaconescu انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
تجدید چاپ حاضر شامل پنج مقاله پذیرفته شده و منتشر شده در شماره ویژه "منطق و محاسبات 2023" مجله MDPI "ریاضیات" است که چندین موضوع را در مورد علوم محاسباتی بر اساس نوعی منطق پوشش می دهد. این موضوعات شامل نظریه مدل برای مشخصات رسمی و برنامه نویسی رسمی مبتنی بر منطق، کاوی منطق و منطق برای بازی ها است. امید است که چاپ مجدد برای کسانی که در زمینه کاربرد منطق در محاسبات کار می کنند جالب و مفید باشد.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Răzvan Diaconescu
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
196
